An algebra approach to the deduction of data flow diagrams and object oriented diagrams from a set of specifications
Federico Vazquez · ACM SIGPLAN OOPS Messenger · 1995
The Software Engineering processes 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.