An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications
Federico Vazquez · ACM SIGSOFT Software Engineering Notes · 1996
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.