A unified language processing methodology
Theoretical Computer Science
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
Specification languages in algebraic compilers
Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Semantically Configurable Code Generation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |