Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Component retrieval"”.
-
Deduction-Based Software Component Retrieval
Deduction-based software component retrieval is a software reuse technique that uses formal specifications as component descriptors and as search keys; matching components are identified using an automated theorem prover. This dissertation contains a detailed theoretical investigation of the …
-
Component-based software engineering
… the current software development methodologies, component-based software engineering has caught many researchers' attention recently. In component-based software engineering, a software system is considered as a set of software components assembled together instead of as a set of functions from …