A toolkit for weaving aspect oriented UML designs
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Formalizing UML Models with Object-Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formalization of the Whole-Part Relationship in the Unified Modeling Language
IEEE Transactions on Software Engineering
Transforming UML class diagrams into relational data models
UML and the unified process
Algebraic reasoning for object-oriented programming
Science of Computer Programming - Special issue on program transformation
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
Transformation Language Integration Based on Profiles and Higher Order Transformations
Software Language Engineering
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Evolution of XML schemas and documents from stereotyped UML class models: A traceable approach
Information and Software Technology
Specification and validation of authorisation constraints using UML and OCL
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Embedding domain-specific modelling languages in Maude specifications
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |