Towards a formal foundation for DeMarco data flow diagrams

Detection of cycle in real-time system specification

ACM SIGPLAN Notices

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

A user-friendly formal requirements specification method

ACM-SE 30 Proceedings of the 30th annual Southeast regional conference

Formal semantics of some functional constructs of the software requirements definition language NDRDL

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference