leavens@cs.iastate.edu (Gary Leavens) (05/29/91)
A student of mine, Yoonsik Cheon, has completed a Master's thesis
that describes the design of a model-oriented interface specification
langauge for Smalltalk:
@MastersThesis{Cheon91,
Key = "Cheon",
Author = "Yoonsik Cheon",
Title = "Larch/Smalltalk: A Specification Language for Smalltalk",
School = "Iowa State University",
Year = 1991,
Address = "Ames, Iowa",
Annote = "40 references."
}
We will soon be making this into a technical report. If you would
like a copy, drop me (or Yoonsik) a line at leavens@cs.iastate.edu
(or cheon@cs.iastate.edu).
The design of Larch/Smalltalk does not include a formal
sementics for the specifications yet. However, there is a nice
type browser and trait browser written in smalltalk that has been
implemented to help test the ideas.
Gary Leavens
--
229 Atanasoff Hall, Department of Computer Science
Iowa State University, Ames, Iowa 50011-1040, USA
phone: (515) 294-1580