论文信息 - Programming with VDM Domains

Programming with VDM Domains

A system is presented which supports the programming with VDM domains in ordinary programming languages. The domain constructors of the formal software development method VDM can be seen as generic abstract data types. For these ADTs different implementations are collected in a database. With this database, programming language modules for the implementation and interface are automatically derived from the VDM domain equations. The data types of the specifications can then be used directly during program development. The system strongly supports reuse of software. The transformation of specifications into programs becomes easier, testing and debugging time is significantly shortened.

Uwe Schmidt | Hans-Martin Hörcher

[1] Hans Albrecht Schmid,et al. Wiederverwendbare abstrakte Datentypen und deren Auswahl durch ein Expertensystem , 1988, Inform. Forsch. Entwickl..

[2] Dines Bjørner,et al. Formal specification and software development , 1982 .

[3] Alfred V. Aho,et al. Data Structures and Algorithms , 1983 .

[4] Donald E. Knuth,et al. The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition , 1997 .

[5] Uwe Schmidt,et al. Experience with VDM in Norsk Data , 1987, VDM Europe.

[6] Uwe Schmidt,et al. A multi-language compiler system with automatically generated codegenerators , 1984, SIGPLAN '84.

[7] Gaston H. Gonnet,et al. Handbook Of Algorithms And Data Structures , 1984 .

[8] Dines Bjørner,et al. VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987 , 1987 .

[9] Friedrich L. Bauer,et al. Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen , 1982, Inform. Spektrum.

[10] John V. Guttag,et al. Abstract data types and the development of data structures , 1977, CACM.