VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions. 1st ed. 1991

種類:

電子ブック

責任表示:

edited by Soren Prehn, Hans Toetenel

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991

著者名:

• Prehn, Soren.
• Toetenel, Hans.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 551

ISBN:

9783540464495 [3540464492]    

注記:

Description is our business -- Concurrent processes as objects -- The Larch approach to specification -- Formal specification in metamorphic programming -- Formalizing design spaces: Implicit invocation mechanisms -- On type checking in VDM and related consistency issues -- Combining transformation and posit-and-prove in a VDM development -- A case for structured analysis/formal design -- A model-oriented method for algebraic specifications using COLD-1 as notation -- A mechanical formalization of several fairness notions -- Specification and stepwise development of communicating systems -- Writing operational semantics in Z: A structural approach -- EZ: A system for automatic prototyping of Z specifications -- Z and high level Petri nets -- An approach to the static semantics of VDM-SL -- Behavioural extension for CSP -- Cpo's do not form a cpo, and yet recursion works -- LPF and MPL? — A logical comparison of VDM SL and COLD-K -- Tactical tools for distributing VDM specifications -- An attempt to reason abo
The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of researchers, software engineers, and programmers, allinterested in promoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory

ローカル注記:

学内専用E-BOOKS (local access only)