Combining VDM-SL specifications with C++ code-Reference-Cited by-同舟云学术

Combining VDM-SL specifications with C++ code

Published:1996 Issue: Volume: Page:179-194
ISSN:0302-9743
Container-title:FME'96: Industrial Benefit and Advances in Formal Methods
language:
Short-container-title:

Author:

Fröhlich Brigitte,Larsen Peter Gorm

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60973-3_87.pdf

Reference28 articles.

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.Groote 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. Bjøner 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.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enabling continuous integration in a formal methods setting;International Journal on Software Tools for Technology Transfer;2019-10-26

2. A Non-unified View of Modelling, Specification and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

3. Towards Verifying VDM Using SPIN;Communications in Computer and Information Science;2016

4. Combining VDM with Executable Code;Abstract State Machines, Alloy, B, VDM, and Z;2012

5. Automated Black-Box Testing with Abstract VDM Oracle;Computer Safety, Reliability and Security;1999