Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!hobbes.physics.uiowa.edu!news.iastate.edu!leavens From: leavens@cs.iastate.edu (Gary Leavens) Newsgroups: comp.specification Subject: A Larch style interface language for Smalltalk-80 Summary: Larch/Smalltalk interface langauge informal definition will be availabl Keywords: Larch, interface specification, smalltalk, object-oriented Message-ID: Date: 28 May 91 20:40:08 GMT Sender: news@news.iastate.edu (USENET News System) Organization: Iowa State University, Ames IA Lines: 28 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