Re: OO methodology for larch

To: zevans@cs.uofs.edu
Subject: Re: OO methodology for larch
From: leavens@cs.iastate.edu (Gary Leavens)
Date: Fri, 28 Oct 94 12:41:29 CDT
Cc: larch-interest@src.dec.com
Delivery-Date: Fri, 28 Oct 94 10:50:52 -0700
In-Reply-To: <9410270131.AA14915@ beech.cs.uofs.edu> (zevans@cs.uofs.edu)

Steve,
	I haven't worked at all on OO methodology with Larch,
but I'm interested in keeping informed.  You might want to keep
up with our work on Larch/C++ or Larch/Smalltalk here at Iowa State,
which may be helpful at the point of recording detailed interface specs.
	Gary
	229 Atanasoff Hall, Department of Computer Science
	Iowa State Univ., Ames, Iowa 50011-1040 USA / leavens@cs.iastate.edu
	phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
	URL: http://www.cs.iastate.edu/~leavens/larchc++.html

Reference(s):

OO methodology for larch

From: zevans@cs.uofs.edu (Stephen Zevans)

Prev: FWD: Call for White Papers on HIGH INTEGRITY SOFTWARE SYSTEMS ASSURANCE
Next: OO methodology for larch
Index: Larch archive index