A Lightweight Approach to Formal Methods

1. J.-R. Abrial. The B Book — Assigning Programs to Meanings. Cambridge University Press, 1996.

   Google Scholar 

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.

   Google Scholar 

4. S. Agerholm and O.S. Pedersen. Enhanced UML Analysis with Formal Modeling and Validation. Draft, Marts 1998.

   Google Scholar 

5. S. Agerholm and W. Schafer. Analyzing SAFER using UML and VDM₊₊. Draft, Marts 1998.

   Google Scholar 

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.

   Article  Google Scholar 

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.

   Article  Google Scholar 

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. http://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.

    Google Scholar 

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.

    Google Scholar 

12. IFAD World Wide Web. http://www.ifad.dk.

13. International Standard, ISO/IEC 13817-1. Information technology — Program ming languages, their environments and system software interfaces — Vienna De velopment Method — Specification Language — Part 1: Base language, December 1996.

    Google Scholar 

14. D. Jackson and J. Wing. Lightweight Formal Methods. IEEE Computer, 29(4):22–23, April 1996.

    Google Scholar 

15. C.B. Jones. A Rigorous Approach to Formal Methods. IEEE Computer, 29(4):20–21, April 1996.

    Google Scholar 

16. P.G. Larsen, J.S. Fitzgerald, and T. Brookes. Applying Formal Specification in Industry. IEEE Software, 13(3):48–56, May 1996.

    Article  Google Scholar 

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.

    Google Scholar 

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.uk/prosper.

21. PVS World Wide Web. http://www.csl.sri.com/pvs.html.

Download references