Towards Testing the Implementation of Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying the correctness properties of model transformations
Proceedings of the third international workshop on Graph and model transformations
Towards Inconsistency Handling of Object-Oriented Behavioral Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination of High-Level Replacement Units with Application to Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties
Journal of Visual Languages and Computing
Refactoring object-oriented specifications with data and processes
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Extending OCL to ensure model transformations
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
Model transformations incorporating multiple views
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
A general model description for discrete processes
Proceedings of the Winter Simulation Conference
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |