pw@tnoibbc.UUCP (Peter Willems) (01/10/91)
We are in the preliminary design stage of a medium sized software
construction project (about 15 man years). At the moment we are
considering the pro's and con's of using formal specification
techniques. Being not very familiar with formal specification
languages like Z, LOTOS, Estelle, VDM, Anna, et cetera, I hope
someone could direct me, which method/language/environment
- conforms best with an object-oriented implementation language,
- can (also) be expressed in a graphical form,
- is supported by various tools for editing, syntax checking,
consistency checking, ...
- is not "too mathematical".
--
Peter Willems : TNO - IBBC INTERNET : pw@tnoibbc
: PO-box 49 DOMAIN : pw@ibbc.tno.nl
: 2600 AA Delft FAX : +31 15 843990
: the Netherlands VOICE : +31 15 842032