OO Specification ?

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Peter Willems Thu, 10 Jan 1991 10:02

#312

Author: Peter Willems
Date: Thu, 10 Jan 1991 10:02

23 lines
1274 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads