archives

A Gentle Introduction to Larch / Smalltalk Specification Browsers

Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

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.

Full text available as:Postscript
Adobe PDF

Abstract

A Gentle Introduction to Larch/Smalltalk Specification Browser
by
Yoonsik Cheon and Gary T. Leavens
Department of Computer Science, 226 Atanasoff Hall
Iowa State University, Ames, Iowa 50011-1040 USA
cheon@cs.iastate.edu and leavens@cs.iastate.edu
Abstract
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.




Subjects:All uncategorized technical reports



ID code:00000067


Deposited by:Staff Account on 24 January 1994









Contact site administrator at: ssg@cs.iastate.edu