OO Specification ?

Article View: comp.specification

Article #312

Back to comp.specification Previous Next

#312

From: 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

Technical Details

Message-ID: <2202@tnoibbc.UUCP>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!ucsd!sdd.hp.com!spool2.mu.edu!uunet!mcsun!hp4nl!tnoibbc!pw

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!ucsd!sdd.hp.com!spool2.mu.edu!uunet!mcsun!hp4nl!tnoibbc!pw
From: pw@tnoibbc.UUCP (Peter Willems)
Newsgroups: comp.specification,comp.object
Subject: OO Specification ?
Keywords: Object Oriented Specification
Message-ID: <2202@tnoibbc.UUCP>
Date: 10 Jan 91 10:02:42 GMT
Lines: 23