Sciweavers

COMPSAC
1997
IEEE
14 years 3 months ago
A formal approach to software components classification and retrieval
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
Chao-Tsun Chang, William C. Chu, Chung-Shyan Liu, ...