Efficient recovery of algebraic specifications for stateful components
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Behavioral validation of JFSL specifications through model synthesis
Proceedings of the 34th International Conference on Software Engineering
Engineering virtualized services
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies
Using model types to support contract-aware model substitutability
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |