A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Hi-index | 0.00 |