Integrating formal notations and systems analysis: using entity relationship diagrams
- 1 January 1992
- journal article
- Published by Institution of Engineering and Technology (IET) in Software Engineering Journal
- Vol. 7 (5) , 363-371
- https://doi.org/10.1049/sej.1992.0037
Abstract
The paper looks at recent work using the information conveyed in entity relationship diagrams to produce state schemas in the formal notation Z. It proposes a draft technique for formalising an entity relationship diagram. The notations used are those of the structured analysis method, SSADM version 4, but the technique is more widely applicable. The benefits of integrating formal and structured specifications are discussed. The paper draws on similar work by Stepney [1] Semmens [2] and Redmond-Pyle [3].Keywords
This publication has 1 reference indexed in Scilit:
- Software Engineering MathematicsPublished by Taylor & Francis ,1988