VCt—a formal language for the specification of diagrammatic modelling techniques

This publication has 14 references indexed in Scilit:

• Formal specification of graphical notations and graphical software tools
  Published by Springer Nature ,2005
• The use of semantic constraints on diagram editors
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modeling Requirements for Future CASE
  Information Resources Management Journal, 1995
• A metamodel approach for the management of multiple models and the translation of schemes
  Information Systems, 1993
• Integrating diagrams in CASE tools through modelling transparency
  Information and Software Technology, 1993
• The importance of pointer variables in constraint models
  Published by Association for Computing Machinery (ACM) ,1991
• Meta-case technology
  Lecture Notes in Computer Science, 1991
• Software Engineering Mathematics
  Published by Taylor & Francis ,1988
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976