Verifying the reusability of software component specifications: Framework and algorithms

Yih-Feng Hwang، نويسنده , , David C. Rine، نويسنده ,

روزنامه با شماره پیاپی سال 1998

29

169

197

Object-oriented development , Reusability , Software verification , Corrective maintenance , Perfective maintenance , Software component integration , Invariants , Regression inspections , software reuse

Information Sciences

1998

Information Sciences

175904