Compositional specification of software architecture
ISAW '98 Proceedings of the third international workshop on Software architecture
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Using automatable proof obligations for component-based design checking
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hi-index | 0.00 |