Verifying the reusability of software component specifications: Framework and algorithms

Information Sciences

Volumn 112, Issue 1-4, 1998, Pages 169-197

  Hwang, Yih Feng ^a   Rine, David C ^b  

^a George Mason University   (United States)

^b SONEX Enterprises Inc   (United States)

Author keywords

Corrective maintenance; Invariants; Object oriented development; Perfective maintenance; Regression inspections; Reusability; Software component integration; Software reuse; Software verification

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING; THEOREM PROVING;

PERFECTIVE MAINTENANCE; REGRESSION INSPECTIONS; SOFTWARE COMPONENT INTEGRATIONS; SOFTWARE VERIFICATION METHOD;

COMPUTER SOFTWARE REUSABILITY;

EID: 0032296279     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(98)10030-0     Document Type: Article

References (25)

1. A. Avizienis, The N-version approach to fault-tolerant software, IEEE Transactions on Software Engineering 11 (12) (1985).
2. V.R. Basili, J.D. Musa, The future engineering of software: A management perspective, Computer 24 (9) (1991).
3. G. Booch, Object-Oriented Design with Applications, Benjamin/Cummings, New York, 1991.
4. G. Brassard, P. Bratley, Fundamentals of Algorithmics, Prentice-Hall, Englewood Cliffs, NJ, 1996.
5. F. Coenen, T. Bench-Capon, Maintenance of Knowledge-Based Systems, Academic Press. New York, 1993.
6. B.J. Cragun, H.J. Steudel, A decision-table-base processor for checking completeness and consistency in rule-based expert systems, Int. J. Man-Machine Studies 26 (5) (1987) 633-648.
7. L.P. Deutsch, Object-oriented software technology, Computer (24) (9) (1991) Viewpoints section.
8. P. Fonash, Metrics for reusable software code components, Doctoral Dissertation, George Mason University, UMI No. 9404930, 1993.
9. D. Gries, The Science of Programming, Springer, Berlin, 1981.
10. J. Guttag, Abstract data types and the development of data structures, Communications of the ACM 20 (6) (1977).
11. D.E. Harms, D.W. Weide, Copying and swapping: Influences on the design of reusable software components, IEEE Transactions on Software Engineering 17 (5) (1991).
12. Y. Hwang, D. Rine, D. Richards, Detecting chained-inference rule faults in information distribution systems, submitted to ACM Transactions on Software Engineering and Methodology, 1997.
13. Y. Hwang, Detecting faults in chained-inference rules in information distribution systems, Ph.D. Dissertation, Department of Computer Science, George Mason University, Fairfax, VA, 1997.
14. B. Meyer, Object-Oriented Software Construction, Prentice-Hall, New York, 1988.
15. A. Nerode, R. Shore, Logic for Applications, Springer, New York, 1993.
16. K. Pederson, Well-structured knowledge bases, in: AI Expert. Part I, vol. 4, pp. 44-55; Part II, vol. 7, pp. 45-48; Part III, vol. 11, pp. 36-41, 1989.
17. K. Pederson, Well-structured knowledge bases, in: AI Expert. Part I, vol. 4, pp. 44-55; Part II, vol. 7, pp. 45-48; Part III, vol. 11, pp. 36-41, 1989.
18. K. Pederson, Well-structured knowledge bases, in: AI Expert. Part I, vol. 4, pp. 44-55; Part II, vol. 7, pp. 45-48; Part III, vol. 11, pp. 36-41, 1989.
19. W. Perry, Effective Methods for Software Testing, Wiley, New York, 1995.
20. B. Randell, System structure for software fault tolerance, IEEE Transactions on Software Engineering 1 (2) 1975.
21. D. Rine, A common error in the object structuring of object-oriented design methods. Software Engineering Notes 12 (4) (1987).
22. D. Rine, Developing an expert database approach for improving software productivity, IEEE Expert, May (1988).
23. D. Rine, Readings in Object-Oriented Systems and Applications, IEEE Computer Soc. Press, Silver Spring, MD, 1994.
24. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, NJ, 1991.
25. I. Sommerville, Software Engineering, 4th ed., Addison-Wesley, Reading, MA, 1992.