Against executable specifications (Re: specifying OBJ in itself)

Article View: comp.specification

Article #197

Back to comp.specification Previous Next

#197

From: Oliver Schoett
Date: Wed, 17 Oct 1990 16:00

23 lines
1638 bytes

In article <1990Oct12.172820.4771@cbnewsm.att.com> lfd@cbnewsm.att.com
(leland.f.derbenwick) writes:

 > I don't know any easy answers to these problems; I now tend to see
 > executable specifications as more likely part of the problem than of the
 > solution.

The following paper makes a number of points against executability of
specification languages:

   @Article(      HJ_89,
    Author=      "I. J. Hayes and C. B. Jones",
    Title=       "Specifications are not (necessarily) executable",
    Journal=     "Software Engineering Journal",
    Year=        "1989",
    Month=       nov,
    Pages=       "330--338")


Oliver Schoett	     Institut f. Informatik, Technische Univ. M"unchen
		     Postfach 20 24 20,	   8000 M"unchen 2,    Germany
schoett@informatik.tu-muenchen.dbp.de		      +49 89 2105 2390
schoett%informatik.....de@  {relay.cs.net, unido.uucp, dfngate.bitnet}

Technical Details

Message-ID: <4955@tuminfo1.lan.informatik.tu-muenchen.dbp.de>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker!ira.uka.de!fauern!tumuc!lan!schoett

References:

<6470@vanuata.cs.glasgow.ac.uk> <1990Oct11.115952@julien.informatik.uni-dortmund.de> <1990Oct12.172820.4771@cbnewsm.att.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!snorkelwacker!ira.uka.de!fauern!tumuc!lan!schoett
From: schoett@informatik.tu-muenchen.dbp.de (Oliver Schoett)
Newsgroups: comp.specification
Subject: Against executable specifications (Re: specifying OBJ in itself)
Message-ID: <4955@tuminfo1.lan.informatik.tu-muenchen.dbp.de>
Date: 17 Oct 90 16:00:15 GMT
References: <6470@vanuata.cs.glasgow.ac.uk>
 <1990Oct11.115952@julien.informatik.uni-dortmund.de>
 <1990Oct12.172820.4771@cbnewsm.att.com>
Sender: news@lan.informatik.tu-muenchen.dbp.de
Organization: Inst. fuer Informatik, Technische Univ. Muenchen, West Germany
Lines: 23
In-reply-to: lfd@cbnewsm.att.com's message of 12 Oct 90 17:28:20 GMT

Reply to Parent Message