Systematic aid for developing middleware architectures
Communications of the ACM - Adaptive middleware
Developing Ambient Intelligence Systems: A Solution based on Web Services
Automated Software Engineering
A description language for composable components
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Architecting dynamic reconfiguration in dependable systems
Architecting dependable systems IV
Structuring agents for adaptation
Adaptive agents and multi-agent 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 ...