Scientific decisions which characterize VDM (1999)

Cached

Download Links

by Cliff B Jones
Venue:In FM’99 – Formal Methods
Citations:9 - 2 self

Documents Related by Co-Citation

35 Modelling Systems: Practical Tools and Techniques for Software Development – J Fitzgerald, P G Larsen - 1998
724 The B-Book: Assigning Programs to Meanings – J R Abrial - 1996
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
6 A formal definition of algol 60 – C D Allen, D N Chapman, C B Jones - 1972
71 The Vienna Development Method: The Meta-Language, ser – D Bjørner, C B Jones, Eds - 1978
48 The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications – René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen - 1994
25 An Executable Subset of Meta-IV with Loose Specification – Peter Gorm Larsen, Poul Bøgh Lassen - 1991
39 The PROSPER Toolkit – Louise A. Dennis, Graham Collins, Michael Norrish, Richard Boulton, Konrad Slind, Graham Robinson, Mike Gordon, Tom Melham - 2000
15 Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification – P Chalin, C Hurlin, J Kiniry - 2005
12 and others: Information technology – Programming languages, their environments and system software interfaces – Vienna Development Method – Specification Language – Part 1: Base language – P G Larsen, B S Hansen, H Brunn N Plat, H Toetenel, D J Andrews, J Dawes, G Parkin - 1996
10 Combining VDM-SL Specifications with C++ Code – Brigitte Fröhlich, Peter Gorm Larsen - 1996
6 Exploring Timing Properties Using VDM++ on an Industrial Application – Paul Mukherjee, Fabien Bousquet, Jérôme Delabre, Stephen Paynter, Peter Gorm Larsen - 2000
22 Computer-aided validation of formal specifications – P Mukherjee - 1995
32 Applying formal specification in industry – P G Larsen, J Fitzgerald, T Brookes - 1996
32 Modeling and Validating Distributed Embedded Real-Time Control Systems – Marcel Verhoef - 2008
27 Validated Designs for Object-oriented Systems – J S Fitzgerald, P G Larsen, P Mukherjee, N Plat, M Verhoef - 2005
56 Lightweight formal method – Jeannette M. Wing - 1996
2 Formal Justification of a Proof System for Communicating – Krzysztof R Apt - 1983
4 Random access stored program machines – C C Elgot, A Robinson - 1964