Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
Modern structured analysis
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Towards a formal foundation for DeMarco data flow diagrams
The Computer Journal
Notes on algebraic specifications
Information and Software Technology
First steps towards fully abstract semantics of object-oriented languages
The Computer Journal - Special issue on object-oriented programming
Object-oriented analysis
Software engineering: methods, management, and CASE tools
Software engineering: methods, management, and CASE tools
A unifying framework for structured analysis and design models: an approach using initial algebra semantics and category theory
Object-oriented systems development: survey of structured methods
Information and Software Technology
Formal definition and verification of data flow diagrams
Journal of Systems and Software
Simple yet complete heuristics for transforming data flow diagrams into Booch style diagrams
ACM SIGAda Ada Letters
An ada object-based analysis and design approach
ACM SIGAda Ada Letters
Modelling of visualized data-flow diagrams using Petri net model
Software Engineering Journal
| Hi-index | 0.00 |
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.