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