As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
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, ...