Observations on industrial practice using formal methods
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Formal methods reality check: Industrial usagePublished by Springer Nature ,2005
- A case study in cleanroom software engineering: the IBM COBOL Structuring FacilityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Error-free software development for critical systems using the B-MethodologyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Experiences using statecharts for a system requirements specificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal specification and verification of control software for cryptographic equipmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- SACEM software validationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- CICS project report experiences and results from the use of Z in IBMLecture Notes in Computer Science, 1991
- An overview of HP-SLLecture Notes in Computer Science, 1991
- Formal specifications as reusable frameworksLecture Notes in Computer Science, 1990
- Formal methods applied to a floating-point number systemIEEE Transactions on Software Engineering, 1989