Specification Club
Charter
Club Meetings
Members and Projects
Specification Resources
Conferences
Specification Resources
An Opinionated Guide
to the algebraic specification literature, by Don Sannella.
(Local access only)
Who's Who on the Web in Formal Methods
Formal methods entry in the WWW Virtual Library
AMAST newsletter
Markus Wolf's ADT bibliography
Formal Methods Europe
Some projects in the specification area:
CoFI: The Common Framework Initiative
FIREworks (Feature Integration in Requirements Engineering)
COMPASS (A Comprehensive Algebraic Approach to System Specification and Development)
(now defunct)
Web pages by
David Aspinall
.
Please send any comments or suggestions to the
Specification Club Organiser
<
specclub@dcs.ed.ac.uk
>