Formalization of techniques: chopping down the methodology jungle

This publication has 6 references indexed in Scilit:

• Semantics and verification of object-role models
  Information Systems, 1991
• Understanding process structure diagrams
  Information Systems, 1991
• Towards a Formal Foundation for DeMarco Data Flow Diagrams
  The Computer Journal, 1989
• On visual formalisms
  Communications of the ACM, 1988
• A logical design methodology for relational databases using the extended entity-relationship model
  ACM Computing Surveys, 1986
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976