Strategies for incorporating formal specifications in software development
- 1 October 1994
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 37 (10) , 74-86
- https://doi.org/10.1145/194313.194399
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Semantically extended dataflow diagrams: a formal specification toolIEEE Transactions on Software Engineering, 1992
- A VDM case study in muralIEEE Transactions on Software Engineering, 1992
- Editorial: what is software quality?Communications of the ACM, 1992
- Informal and formal requirements specification languages: bridging the gapIEEE Transactions on Software Engineering, 1991
- Specification and design of transactions in information systems: a formal approachIEEE Transactions on Software Engineering, 1991
- Automatic derivation of formal software specifications from informal descriptionsIEEE Transactions on Software Engineering, 1991
- Integrating formal methods into the development processIEEE Software, 1990
- Seven myths of formal methodsIEEE Software, 1990
- A specifier's introduction to formal methodsComputer, 1990
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983