5457 search results - page 97 / 1092 » Software Component Independence |
131
click to vote
CBSE
2004
Springer
15 years 6 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
103
click to vote
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
93
Voted
KBSE
1997
IEEE
15 years 4 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...
105
Voted
WCRE
1996
IEEE
15 years 4 months ago
1996
IEEE
The extraction of reusable software components from existing systems is an attractive idea. The goal of the work in this paper is not to extract a component automatically, but to ...