On systematic design of globally consistent executable assertions in embedded software
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Aspects in Distributed Environments
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Aspect Composition Applying the Design by Contract Principle
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Hi-index | 0.00 |