Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability
Proceedings of the 16th IEEE international conference on Automated software engineering
Presenting crosscutting structure with active models
Proceedings of the 5th international conference on Aspect-oriented software development
Maintaining life perspectives during the refinement of UML class structures
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Reusable abstractions for modeling languages
Information Systems
Hi-index | 0.00 |
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers ...