oz@yetti.UUCP (Ozan Yigit) (02/24/87)
York University
Department of Computer Science
Faculty of Arts
Distinguished Lecture Series
Professor John Guttag
MIT Laboratory for Computer Science
The Larch Style of Specification
and the
Larch Family of Specification Languages
3:00 p.m.
March 16, 1987
Curtis Lecture Hall B
ABSTRACT
The Larch Project is developing tools and techniques
intended to aid in the productive use of formal
specifications in program development. A major part
of the project is the development of a family of
specification languages. Each Larch specification
has one component written in a language derived from
a programming language and another component written
in a language that is programming language
independent. This talk will present the rationale
behind the Larch style of specification and an
introduction to the Larch family of specification
languages.
--
The best way to have a Usenet: [decvax|ihnp4]!utzoo!yetti!oz
good idea is to have a Bitnet: oz@[yusol|yuyetti].BITNET
lot of ideas. Phonet: [416] 736-5053 x 3976