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

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}