Affiliation:
1. Computer Sciences Corporation
Abstract
The Software Engineering procedures usually lack formal mathematical foundations. This paper presents a formal approach for the development of Specifications, Data Flow Diagrams and Object Oriented Diagrams using algebraic theory. The use of algebraic theory allows the check for completeness and consistency and the generation of automatic procedures for translating specifications into Data Flow Diagrams or Object Oriented Diagrams.
Publisher
Association for Computing Machinery (ACM)
Reference17 articles.
1. Notes on algebraic specifications
2. {Coa90} Coad P. E. Yourdon Object-Oriented Analysis Englewood Cliffs NJ Yourdon Press 1990. {Coa90} Coad P. E. Yourdon Object-Oriented Analysis Englewood Cliffs NJ Yourdon Press 1990.
3. Modelling of visualised data-flow diagrams using petri net model
4. {Pre89} Pressman R. S. Software Engineering A Practitioner's Approach Singapore McGraw-Hill 1987. {Pre89} Pressman R. S. Software Engineering A Practitioner's Approach Singapore McGraw-Hill 1987.