Automated component retrieval and adaptation using formal specifications

Compositional specification of software architecture

ISAW '98 Proceedings of the third international workshop on Software architecture

Efficient Specification-Based Component Retrieval

Automated Software Engineering

Value-Added Web Services Composition Using Automatic Program Synthesis

CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web

References

Embedded Systems Design