Formal definition and verification of data flow diagrams

Identification of complete data flow diagrams

ACM SIGSOFT Software Engineering Notes

An algebra approach to the deduction of data flow diagrams and object oriented diagrams from a set of specifications

ACM SIGPLAN OOPS Messenger

An algebra approach to the deduction of data flow diagrams and object oriented diagrams from algebraic specifications

ACM SIGSOFT Software Engineering Notes

Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language

IEEE Transactions on Software Engineering

Modeling station duty officer operations assistant at Johnson space center

Advances in Engineering Software