Re: formal system specification surveys

Article View: comp.specification

Article #298

Back to comp.specification Previous Next

#298

From: Martin Weigele
Date: Thu, 20 Dec 1990 10:24

14 lines
1500 bytes

In article <1990Dec17.190909.10829@news.nd.edu> rohrs@handel.helios.nd.edu (533) writes:
>I am in the early stages of a literature survey on the topic of formal 
>specification of (software) systems. I'm looking for any suggestions, leads
>or pointers to survey papers or taxonomies published in the area.

A good starting point for exploration might be Springer's LNCS 428.
D. Bjoerner, C.A.R. Hoare and H. Langmaack (eds.): VDM'90: VDM and Z
- Formal Methods in Software Development. Three invited talks give
some overview (by Dahl, Goguen, Kato et. al) of the field as well
as C.A.R. Hoare's preface. Also, lots of lots of references.
I am afraid an overview of the kind you request (including all the
languages/methods mentioned) has not yet been produced.

Martin Weigele, FB Informatik, Uni Hamburg, Germany

Technical Details

Message-ID: <weigele.661688656@bosun1>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!unido!rzsun2.informatik.uni-hamburg.de!bosun1.informatik.uni-hamburg.de!weigele

References: <1990Dec17.190909.10829@news.nd.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!unido!rzsun2.informatik.uni-hamburg.de!bosun1.informatik.uni-hamburg.de!weigele
From: weigele@bosun1.informatik.uni-hamburg.de (Martin Weigele)
Newsgroups: comp.specification
Subject: Re: formal system specification surveys
Keywords: formal specification language, survey, taxonomy
Message-ID: <weigele.661688656@bosun1>
Date: 20 Dec 90 10:24:16 GMT
References: <1990Dec17.190909.10829@news.nd.edu>
Sender: news@informatik.uni-hamburg.de (News)
Distribution: world,comp
Organization: University of Hamburg, FRG
Lines: 14

Reply to Parent Message