A lightweight approach to formal methods

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

Volumn 1641, Issue , 1999, Pages 168-183

  Agerholm, Sten ^a   Larsen, Peter Gorm ^a  

^a IFAD A/S   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; TECHNOLOGY TRANSFER;

DEVELOPMENT METHODOLOGY; DEVELOPMENT PRACTICES; LIGHTWEIGHT FORMAL METHODS; REVOLUTIONARY CHANGES;

FORMAL METHODS;

EID: 84957632513     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48257-1_10     Document Type: Conference Paper

References (21)

1. J.-R. Abrial. The B Book - Assigning Programs to Meanings. Cambridge University Press, 1996.
2. S. Agerholm and P.G. Larsen. Modeling and Validating SAFER in VDM-SL. In Fourth NASA Langley Formal Methods Workshop. NASA, September 1997. NASA Conference Publication 3356. Available at http://atb-www.larc.nasa.gov/Lfm97/.
3. S. Agerholm, P.-J. Lecoeur, and E. Reichert. Formal Specification and Validation at Work: A Case Study using VDM-SL. In Proceedings of Second Workshop on Formal Methods in Software Practice. ACM, Marts 1998.
4. S. Agerholm and O.S. Pedersen. Enhanced UML Analysis with Formal Modeling and Validation. Draft, Marts 1998.
5. S. Agerholm and W. Schafer. Analyzing SAFER using UML and VDM++. Draft, Marts 1998.
6. S. Easterbrook, R.R. Lutz, R. Covington, J.C. Kelly, Y. Ampo, and D. Hamilton. Experiences Using Lightweight Formal Methods for Requirements Modeling. IEEE Transactions on Software Engineering, 24(1): 1-11, January 1998.
7. R. Elmstrøm, P.G. Larsen, and P.B. Lassen. The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications. ACM Sigplan Notices, 29(9):77-80, September 1994.
8. J.S. Fitzgerald. ESSI Project ConForm: Home Page. WWW at URL http://www.csr.ncl.ac.uk/projects/ConForm.html, 1994.
9. J.S. Fitzgerald and P.G. Larsen. Formal Specification Techniques in the Commercial Development Process. In M. Wirsing, editor, Position Papers from the Workshop on Formal Methods Application in Software Engineering Practice, International Conference on Software Engineering (ICSE-17), Seattle, April 1995. ftp://ftp.ifad.dk/pub/papers/icse.ps.gz.
10. J.S. Fitzgerald and P.G. Larsen. Modelling Systems - Practical Tools and Techniques in Software Development. Cambridge University Press, 1998.
11. D. Hamilton, R. Covington, and J.C. Kelly. Experience in Applying Formal Methods to the Analysis of Software and System Requirements. In Workshop on Industrial-Strength Formal Specification Techniques, pages 30-43. IEEE Computer Society Press, April 1995.
12. IFAD World Wide Web. http://www.ifad.dk.
13. International Standard, ISO/IEC 13817-1. Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language, December 1996.
14. D. Jackson and J. Wing. Lightweight Formal Methods. IEEE Computer, 29(4):22-23, April 1996.
15. C.B. Jones. A Rigorous Approach to Formal Methods. IEEE Computer, 29(4):20-21, April 1996.
16. P.G. Larsen, J.S. Fitzgerald, and T. Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48-56, May 1996.
17. R.R. Lutz. Reuse of a Formal Model for Requirements Validation. In Fourth NASA Langley Formal Methods Workshop. NASA, September 1997. NASA Conference Publication 3356. Available at http://atb-www.larc.nasa.gov/Lfm97/.
18. P. Mukherjee. Computer-aided Validation of Formal Specifications. Software Engineering Journal, pages 133-140, July 1995.
19. NASA. Formal Methods, Specification and Verification Guidebook for Verification of Software and Computer Systems. Vol 2: A Practitioner's Companion. Technical Report NASA-GB-001-97, Washington, DC 20546, USA, May 1997. Available from http://eis.jpl.nasa.gov/quality/Formal_Methods/.
20. PROSPER World Wide Web. http://www.dcs.gla.ac.iik/prosper.
21. PVS World Wide Web. http://www.csl.sri.com/pvs.html.