I. M. Bradley
Newcastle upon Tyne Polytechnic, UK
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