archives

Larch/Smalltalk: A Specification Language for Smalltalk


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Cheon, Yoonsik (1991) Larch/Smalltalk: A Specification Language for Smalltalk. Technical Report TR91-15, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

Larch/Smalltalk: A Specification Language for Smalltalk
by
Yoonsik Cheon
ABSTRACT
Larch/Smalltalk is a Larch interface specification language for
Smalltalk with subtype relations. As a Larch-style language it benefits from
two-tiered approach to specifications; separation of concerns, division
of effort, and reusability. Subtype relationships helps to reuse and
modularize specifications.
A unit of specification in Larch/Smalltalk is called a type,
which describes an  abstraction of a set of Smalltalk classes. Complex
specifications can be constructed by defining a type to be a subtype
of other types, called its supertypes, thereby, inheriting their
specifications. Specifications can also be parameterized to specify
a family of related types. To encourage specifications to be used in the
programming process, specification development tools have been implemented
in Smalltalk. They are integrated in the Smalltalk-80 system. Using these
tools, a portion of Smalltalk system classes and a part of the tools
themselves have been specified.

Subjects:All uncategorized technical reports
ID code:00000008
Deposited by:Staff Account on 01 June 1991



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