Combining VDM-SL specifications with C++ code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 179-194

  Fröhlich, Brigitte ^a   Larsen, Peter Gorm ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b IFAD   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

C++ (PROGRAMMING LANGUAGE); CODES (SYMBOLS);

C++ CODES; ENTIRE SYSTEM; HETEROGENEOUS MODELS;

FORMAL SPECIFICATION;

EID: 84955570314     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_87     Document Type: Conference Paper

References (28)

1. Silberschatz A., Peterson J., and Galvin P. Operating System Concepts. Addison Wesley, 1991.
2. D.J. Andrews, H. Bruun, B.S. Hansen, P.G. Larsen, N. Plat, et al. Information Technology -- Programming Languages, their Environments and System Software Interfaces -- Vienna Development Method-Specification Language Part 1: Base language. ISO, 1995.
3. E. Astesiano and M. Cerioli. Multiparadigm Specification Languages: A First Attempt at Foundations. In J.F. Ğroote D.J. Ãndrews and C.A. Middelburg, editors, Semantics of Specification Languages, pages 168-185, 25-27 October 1993, Utrecht Springer-Verlag 1994.
4. D. Bjcner and C.B. Jones, editors. Formal Specification and Software Development. Prentice-Hall International, 1982.
5. S. Kapplan C. Choopy. Mixing abstract and concret Modules: Specification, Development and Prototyping. In 12th IEEE-ACM International Conference on Software Engineering, Nice 1990, pages 173-184, 1990.
6. Christine Choppy. Formal Specifications, Prototyping and Integrations Tests. In D. Simpson H.K. Nichols, editor, ESEC'87 1.st European Software Engineering Conference, Strasbourg, 1987, Lecture Notes in Computer Science 289, pages 172- 179. Springer Verlag, September 1987.
7. John Dawes. The VDM-SL Reference Guide. Pitman, 1991.
8. Kees de Bruin. Towards an Interpreter for Full VDM-SL. Master's thesis, Delft University, June 1993.
9. Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley Publishing Company, 1990.
10. Ren6 ElmstrCm, Peter Gorm Larsen, and Poul BCgh Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. A CM Sigplan Notices, 29(9):77-80, September 1994.
11. B. Fischer, M. Kievernagel, and W. Struckmann. VCR: A VDM-based Software Component Retrieval Tool. Technical Report 94-08, Technische Universitgt Braunsweig, November 1994.
12. The VDM-SL Tool Group. The IFAD VDM-SL Language. Technical report, IFAD, December 1994.
13. The VDM-SL Tool Group. The VDM C++ Library. Technical report, IFAD, October 1995.
14. Michael G. Hinchey and Jonathan P. Bowen, editors. Applications of Formal Methods. Prentice Hall, 1995.
15. Iain Houston and Steve King. CICS Project Report: Experiences and Results from the Use of Z in IBM. In S. Prehn and W.J. Toetenel, editors, VDM'91 - Formal Software Development Methods, pages 588-696. Springer-Verlag, October 1991.
16. Cliff B. Jones. Systematic Software Development Using VDM. Prentice-Hall International, Englewood Cliffs, New Jersey, second edition, 1990.
17. J.J. Homing J.V. Guttag and J.M. Wing. Larch in Five Easy Pieces. Technical report, Digital Systems Research Center, July 1985.
18. Peter Gorm Larsen, John Fitzgerald, and Tom Brookes. Lessons Learned from Applying Formal Specification in Industry. Submitted to IEEE Software, August 1995.
19. Peter Gorm Larsen and Poul Begh Lassen. An Executable Subset of Meta-IV with Loose Specification. In VDM '91: Formal Software Development Methods. VDM Europe, Springer-Verlag, March 1991.
20. Yves Ledru. Proof-Based Development of Specifications with KIDS/VDM. In M. Bertran M. Naftalin, T. Denvir, editor, FME'94: Industrial Benefit of Formal Methods, pages 214-232. Springer-Verlag, October 1994.
21. Paul Mukherjee. Computer-aided Validation of Formal Specifications. Software Engineering Journal, pages 133-140, July 1995.
22. B. Stroustrup. The C++ Programming Language, 2ndd edition. Addison Wesley Publishing Company, 1991.
23. SUN-OS. Programmer's Overview Utilities & Libraries. Technical report, Sun Microsystems, Inc., 27 March 1990.
24. Larry Wall and Randal L. Schwartz. Programming Perl. O'Reilly and Associates, Inc, 1992.
25. M.-H. Liégeois Y. Ledru. Integrating REFINE prototypes in a VDM development framework. In Constructing Programs from Specifications, pages 236-258, 1991.
26. Nabil Zakhama. Run-Time Adaptation System - Target Code Procedures Activato (RTAS - TCPACT) - User's Guide. Technical report, Télésystèmes, March 1993. IPTES Doc.id.: IPTES-TS-53-V2.1.
27. Pamela Zave. A Compositional Approach to Multiparadigm Programming. IEEE Software, pages 15-25, September 1989.
28. Pamela Zave and Michael Jackson. Conjunction as Composition. ACM Transactions on Software Engineering and Methology, 2(4):379-411, October 1993.