A Lightweight Approach to Formal Methods

This publication has 8 references indexed in Scilit:

• Experiences in applying formal methods to the analysis of software and system requirements
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Formal specification and validation at work
  Published by Association for Computing Machinery (ACM) ,1998
• Experiences using lightweight formal methods for requirements modeling
  IEEE Transactions on Software Engineering, 1998
• The B-Book
  Published by Cambridge University Press (CUP) ,1996
• Applying formal specification in industry
  IEEE Software, 1996
• Software defect-removal efficiency
  Computer, 1996
• Computer-aided validation of formal specifications
  Software Engineering Journal, 1995
• The IFAD VDM-SL toolbox
  ACM SIGPLAN Notices, 1994