A view-oriented approach to system modelling based on graph transformation

This publication has 14 references indexed in Scilit:

• A Formal Object Specification Technique Integrating Object and Functional Model
  International Journal of Software Engineering and Knowledge Engineering, 1997
• Integrating the specification techniques of graph transformation and temporal logic
  Published by Springer Nature ,1997
• A Hybrid Query Language for an Extended Entity-Relationship Model
  Journal of Visual Languages & Computing, 1996
• The category of typed graph grammars and its adjunctions with categories of derivations
  Published by Springer Nature ,1996
• Structuring Z specifications with views
  ACM Transactions on Software Engineering and Methodology, 1995
• Graph grammar engineering with PROGRES
  Published by Springer Nature ,1995
• Agg — An implementation of algebraic graph rewriting
  Published by Springer Nature ,1993
• VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT
  International Journal of Software Engineering and Knowledge Engineering, 1992
• Structure-oriented merging of revisions of software documents
  Published by Association for Computing Machinery (ACM) ,1991
• A comparative analysis of methodologies for database schema integration
  ACM Computing Surveys, 1986