Reasoning about software-component behavior

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1844, Issue , 2000, Pages 266-283

  Sitaraman, Murali ^a   Atkinson, Steven ^a   Kulczycki, Gregory ^a   Weide, Bruce W ^b   Long, Timothy J ^b   Bucci, Paolo ^b   Heym, Wayne ^b   Pike, Scott ^b   Hollingsworth, Joseph E ^c  

^a West Virginia University   (United States)

^b OHIO STATE UNIVERSITY   (United States)

^c INDIANA UNIVERSITY SOUTHEAST   (United States)

Author keywords

Component based software; Reasoning; Software component; Software reuse; Specification; Verification

Indexed keywords

REUSABILITY; SPECIFICATIONS; VERIFICATION;

COMPONENT BASED SOFTWARE; COMPONENT TECHNOLOGIES; COMPONENT-BASED SOFTWARE SYSTEMS; REASONING; REASONING PROBLEMS; REASONING SYSTEM; SOFTWARE COMPONENT; STATE OF THE PRACTICE;

COMPUTER SOFTWARE REUSABILITY;

EID: 84945296024     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44995-9_16     Document Type: Conference Paper

References (17)

1. M. Aronszajn, M. Sitaraman, S. Atkinson, and G. Kulczyski, “A System for Predictable Component-Based Software Construction,” in High, Integrity Software, V. Winter and S. Bhattacharya, eds., Kluwer Academic Publishers, 2000.
2. G. Booch, Software Components With Ada, Benjamin/Cummings, Menlo Park, CA, 1987.
3. D. de Champeaux, D. Lea, and P. Faure, Object-Oriented System, Development, Addison-Wesley, Reading, MA, 1993.
4. D. Fleming, Foundations of Object-Based Specification Design. Ph.D. diss., West Virginia University, Dept. Comp. Sci. and Elec. Eng., 1997.
5. D.P. Freedman and CM. Weinberg, Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products, 3rd ed., Dorset House, New York, 1990.
6. D.E. Harms and B.W. Weide, “Copying and Swapping: Influences on the Design of Reusable Software Components,” IEEE Trans, on Soft. Eng., Vol. 17, No. 5, May 1991, pp. 424-435.
7. W.D. Heym, Computer Program, Verification: Improvements for Human Reasoning. Ph.D. diss., The Ohio State Univ., Dept. of Comp. and Inf. Sci., 1995.
8. D. Knuth, “Knuth Comments on Code: An Interview with D. Andrews,” Byte, Sep. 1996, http://www.byte.com/art/9609/sec3/artl9.htm (current Oct. 11, 1999).
9. G.T. Leavens and Y. Cheon, “Extending CORBA IDL to specify behavior with Larch,” OOPSLA ‘93 Workshop Proc: Specification of Behavioral Semantics in OO Info. Modeling, ACM, New York, 1993, pp. 77-80; also TR #93-20, Dept. of Comp. Sci., Iowa State Univ., 1993.
10. R. Orfali, D. Harkey, and J. Edwards, The Essential Distributed Objects Survival Guide, J. Wiley, New York, 1996.
11. S. Owre, J. Rushby, N. Shankar, and F. von Henke, “Formal Verification of Fault-Tolerant Architectures: Prolegomena to the Design of PVS,” IEEE Trans, on, Soft. Eng., Vol. 21, No. 2, Feb. 1995, pp. 107-125.
12. M. Sitaraman, An Introduction to Software Engineering Using Properly Conceptualized Objects. WVU Publications, Morgantown, WV, 1997.
13. M. Sitaraman and B.W. Weide, eds., “Component-Based Software Using RESOLVE,” ACM Software Eng. Notes, Vol. 19, No. 4, 1994, pp. 21-67.
14. J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, Elsevier Science Publishers, Amsterdam, 1990.
15. B.W. Weide, J.E. Hollingsworth, and W.D. Heym, “Reverse Engineering of Legacy Code Exposed,” Proc. 17th Intl. Conf. on Software Eng., ACM, Apr. 1995, pp. 327-331.
16. B.W. Weide, S.H. Edwards, W.D. Heym, T.J. Long, and W.F. Ogden, “Characterizing Observability and Controllability of Software Components,” Proc. ltth Intl. Conf. on Software Reuse, IEEE CS Press, Los Alamitos, CA, 1996, pp. 62-71.
17. B.W. Weide, Software Component Engineering, OSU Reprographics, Columbus, OH, 1999.