Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Transformations and Software Modeling Languages: Automating Transformations in UML
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Metamodeling UML in rewriting logic
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
| Hi-index | 0.00 |