KBSE
1998
IEEE
14 years 4 months ago
1998
IEEE
KBSE
1998
IEEE
14 years 4 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
KBSE
1998
IEEE
14 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...
KBSE
1998
IEEE
14 years 4 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
KBSE
1998
IEEE
14 years 4 months ago
1998
IEEE
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
KBSE
1998
IEEE
14 years 4 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
KBSE
1998
IEEE
14 years 4 months ago
1998
IEEE