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!
Web pages by
David Aspinall.