Specification Club

Spec Club Logo


The Specification Club ("Spec Club" for short) is a loose collection of people from the LFCS and wider afield, who are interested in formal specification.

We meet to discuss the problems of creating elegant, abstract specifications and refining these to efficiently executable code. Of particular interest are the problems of refining structured specifications to modular software systems. Although the scope of the club is deliberately broad, with all relevant contributions welcome, the emphasis here is on the specification and development of sequential software systems. (Other clubs discuss the specific problems of concurrent systems and hardware).

The Specification Club is an open club and anyone is welcome to subscribe to the mailing list and to attend the meetings of the club. The meetings aim to be positive and to respond to errors in ongoing work with polite respect and understanding rather than with derision; coming to the club meetings advertises an agreement with this policy!

Probably almost valid HTML 4.0.
Web pages by David Aspinall.
Please send any comments or suggestions to the Specification Club Organiser <specclub@dcs.ed.ac.uk>