Step-by-step instructions to formal specification of a class needed!!
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
Thanks a million in advance!
PS I know should specify before implementing but......
Andreas Walsh BUNGLE
Alfred-Messel Weg 6a 84 IS
64287 Darmstadt BUDDHA