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

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