147 search results - page 2 / 30 » Storing and Retrieving Software Components: A Refinement Bas... |
CBSE
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. A component-based system consists of components linked by connectors. Data can reside in components and/or in external data stores. Operations on data, such as access, up...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
This work proposes a new methodology for intelligent classification and retrieval of software components based on user–defined requirements. The classification scheme utilizes a...
KBSE
1995
IEEE
13 years 9 months ago
1995
IEEE
cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal re...
OMER
2001
13 years 6 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...