A Survey and a Categorization Scheme of Automatic Programming Systems
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |