Consistency by Construction: The Case of MERODE

This publication has 11 references indexed in Scilit:

• The Single Model Principle.
  The Journal of Object Technology, 2002
• Defining Precise Semantics for UML
  Lecture Notes in Computer Science, 2000
• The UML as a Formal Modeling Notation
  1999
• Existence dependency: The key to semantic integrity between structural and behavioral aspects of object types
  IEEE Transactions on Software Engineering, 1998
• A Characterization of Aggregation
  1998
• Improving the Quality of Entity Relationship Models—Experience in Research and Practice
  Lecture Notes in Computer Science, 1998
• The Guidelines of Modeling – An Approach to Enhance the Quality in Information Models
  1998
• Generalization/specialization and role in object oriented conceptual modeling
  Data & Knowledge Engineering, 1996
• A formal semantics for object model diagrams
  IEEE Transactions on Software Engineering, 1995
• Understanding quality in conceptual modeling
  IEEE Software, 1994