Cheon, Yoonsik and Leavens, Gary T. (1994) A Gentle Introduction to Larch / Smalltalk Specification Browsers. Technical Report TR94-01, Department of Computer Science, Iowa State University.
A Gentle Introduction to Larch/Smalltalk Specification Browser
Yoonsik Cheon and Gary T. Leavens
Department of Computer Science, 226 Atanasoff Hall
Iowa State University, Ames, Iowa 50011-1040 USA
firstname.lastname@example.org and email@example.com
This paper provides a tutorial introduction to the Larch/Smalltalk
specification browsers. The browsers are specification support tools
providing a powerful and sophisticated environment for writing and
managing Larch/Smalltalk specifications. They are integrated in the
Smalltalk-80 programming system. The reader is assumed to have some
familiarity with the Smalltalk system and Larch-style specification.
Contact site administrator at: firstname.lastname@example.org