论文信息 - Specification aspects of VDM

Specification aspects of VDM

Abstract The Vienna development method is a mathematically based set of techniques for the specification, development, and proof of correctness of computer systems. One aspect of the method is the concept of mathematically based abstract data types which can be used for specifications. This paper introduces the data types and their use in the specification of computer systems.

Derek Andrews | D. Andrews

[1] Dines Bjørner. Programming Languages: Formal Development of Interpreters and Compilers , 1977, International Computing Symposium.

[2] Derek Andrews. Overview of software engineering , 1986 .

[3] Cliff B. Jones,et al. Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[4] David A. Duce,et al. Better Understanding through Formal Specification , 1985, Comput. Graph. Forum.

[5] M. I. Jackson,et al. Experience of Introducing the Vienna Development Method into an Industrial Organization , 1985, TAPSOFT, Vol.2.

[6] R. J. Crispin. Experience Using VDM in STC , 1987, VDM Europe.

[7] Dines Bjørner,et al. A formal definition of a PL/I subset , 1984 .

[8] M. I. Jackson,et al. Developing ada programs using the vienna development method (VDM) , 1985, Softw. Pract. Exp..

[9] Ian D. Cottam,et al. The Rigorous Development of a System Version Control Program , 1984, IEEE Transactions on Software Engineering.

[10] Darrel C. Ince,et al. Software prototyping, formal methods, and VDM , 1988 .

[11] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[12] Cliff B. Jones. Specification, verification and testing in software development , 1985 .