Step-by-step instructions to formal specification of a class needed!!

• Subject: Step-by-step instructions to formal specification of a class needed!!
• From: alwalsh@rbg.informatik.th-darmstadt.de (Andreas Walsh)
• Date: 20 Jul 1995 10:06:20 GMT
• Newsgroups: comp.software-eng, comp.specification, comp.specification.misc
• Organization: Technische Hochschule Darmstadt
• Xref: src.dec.com comp.software-eng:34588 comp.specification:3260 comp.specification.misc:44

Hi!

I'm part of a group that has about a week to formally specify a class that uses
Borland C++ container arrays. Our problem is that we haven't decided on which
specification system to use, mainly because we haven't found any suitable
descriptions of these systems.

We have looked in a fair couple of books, but they have been much too long-winded for our purposes.

What we would like is a quick step-by-step approach to formally specifying a class. (the class has already been implemented in code!)

If anybody could tell me where on the net such a thing might be found, or give
me a reference to a book, or even send my a guide themselves!! Iwould really
appreciate

Thanks a million in advance!

Andreas

PS I know should specify before implementing but...... 

--

Andreas Walsh						BUNGLE
Alfred-Messel Weg 6a 84					  IS
64287 Darmstadt						BUDDHA

http://www.darmstadt.gmd.de/~hausding/walsh
alwalsh@rbg.informatik.th-darmstadt.de

• Re: Step-by-step instructions to formal specification of a class needed!!
• From: leavens@cs.iastate.edu (Gary Leavens)

• Prev: Re: LSL boolean combinations involving undefined terms
• Next: Re: LSL boolean combinations involving undefined terms
• Index: Larch archive index