81 search results - page 4 / 17 » AGORA: A Search Engine for Software Components |
MSR
2009
ACM
14 years 11 days ago
2009
ACM
As more and more open-source software components become available on the internet we need automatic ways to label and compare them. For example, a developer who searches for reusa...
KBSE
1997
IEEE
13 years 12 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...
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...
EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
WER
2001
Springer
14 years 4 days ago
2001
Springer
In CBSD, the possible benefits of COTS software development, such as low cost, low risk, and high quality, cannot be satisfactorily achieved due to inadequate and/or incomplete pro...