Abstract
In this paper we present an environment for the development of special-purpose heterogeneous analysis and verification tools, which is unique in 1) constituting a framework for the development of application-specific, heterogeneous tools and 2) providing facilities for the automation of the synthesis process. Based on a specification language that uniformly combines taxonomic component specifications, interface conditions and ordering constraints, our method adds a global view to conventional single-component retrieval. Following a user session, we illustrate the interactive synthesis process, which supports the inclusion of a satisfactory new software component into the repository by proposing an appropriately precomputed default taxonomic classification. This guarantees convenient retrieval for later reuse.
Original language | English |
---|---|
Pages (from-to) | 13-25 |
Number of pages | 13 |
Journal | Software-Concepts and Tools |
Volume | 17 |
Issue number | 1 |
Publication status | Published - 1996 |
Externally published | Yes |
Keywords
- Analysis tools
- Automation analysis
- Component repository
- Distributed system design
- Framework
- Interactive synthesis
- Retrieval
- Software reuse
- Software tools
- Verification
- Verification tools