Journal of Systems Architecture: the EUROMICRO Journal
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
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |