Colloquium 11/8/01


Subject: Colloquium 11/8/01
From: Carol Harlow (harlow@deas.harvard.edu)
Date: Fri Oct 26 2001 - 14:36:45 EDT


http://www.deas.harvard.edu/colloquia/systems/jackson01.pdf
--------

Harvard University
Computer Science Colloquium Series
33 Oxford St., rm. 347, Cambridge, MA 02138
tel: (617) 496-1440 fax: (617) 495-9837

Colloquium

Micromodels of Software

Daniel Jackson
Lab. for Computer Science
M.I.T.

Thursday, November 8 2001
                   4:00PM
 Maxwell Dworkin G125
 (Ice Cream at 3:30PM - Maxwell Dworkin 2nd Floor Lounge Area)

Abstract
What kind of design representation is practical for software
development?
I'll argue that what we need are "micromodels": tiny models that capture

tricky aspects of a system. We have developed a language called Alloy
that
allows micromodels to be built easily and incrementally. Like the
languages
of model checkers, Alloy can be analyzed fully automatically. But unlike

them, Alloy is declarative, so you can express abstract and partial
properties very succinctly, and is based on relational logic, so you can

easily describe complex state structures.

Host: Professor Norman Ramsey



This archive was generated by hypermail 2b28 : Sat Oct 27 2001 - 09:21:21 EDT