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

>> Google Books

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions / edited by Soren Prehn, Hans Toetenel

版:

1st ed. 1991

資料種別:

電子ブック

形態:

XV, 705 p.

シリーズ名:

Lecture Notes in Computer Science ; 551

著者名:

ISBN:

9783540464495 [3540464492]
9783662210338 [3662210339]
9783540548348 [3540548343]

書誌ID:

EB00003106

子書誌情報

フルテキスト

所蔵情報

書誌詳細

注記:

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

主題:

Computer Science Logic and Foundations of Programming; Software Engineering; Theory of Computation

目次情報:

ブックレビュー

類似資料:

1 電子ブック VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : … Prehn, Soren., Toetenel, Hans., SpringerLink (Online service)	7 電子ブック Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on … Thomas, Wolfgang., SpringerLink (Online service)
2 図書 VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings (v. 1 : gw - v. 2 : us) VDM-Europe. International Symposium, Prehn, S. (Søren), 1955-, Toetenel, H. (Hans), 1953- Springer-Verlag	8 電子ブック Theoretical Aspects of Computer Software : International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings Ito, Takayasu., Meyer, Albert R., SpringerLink (Online service)
3 電子ブック VDM '90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings Bjørner, Dines., Hoare, C.A.R., Langmaack, Hans., SpringerLink (Online service)	9 電子ブック Computer Aided Verification : 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings Larsen, Kim G., Skou, Arne., SpringerLink (Online service)
4 電子ブック TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: … Abramsky, S., Maibaum, T.S.E., SpringerLink (Online service)	10 電子ブック Foundations of Software Science and Computation Structures : First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on … Nivat, Maurice., SpringerLink (Online service)
5 電子ブック Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, … George, Chris., Miao, Huaikou., SpringerLink (Online service)	11 電子ブック FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume … Wing, Jeannette M., Woodcook, Jim., Davies, Jim., SpringerLink (Online service)
6 電子ブック Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), … Ehrig, Hartmut., Floyd, Christiane., Nivat, Maurice., Thatcher, James., SpringerLink (Online service)	12 電子ブック Tools and Algorithms for the Construction of Analysis of Systems : 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on … Cleaveland, W. Rance., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12