Reasoning about Software-Component Behavior

The correctness of a component-based software system depends on the component client’s ability to reason about the behavior of the components that comprise the system, both in isolation and as composed. The soundness of such reasoning is dubious given the current state of the practice. Soundness is especially troublesome for component technologies where source code for some components is inherently unavailable to the client. Fortunately, there is a simple, understandable, teachable, practical, and provably sound and relatively complete reasoning system for component-based software systems that addresses the reasoning problem.

[1]  Bruce W. Weide,et al.  Reverse Engineering of Legacy Code Exposed , 1995, 1995 17th International Conference on Software Engineering.

[2]  Iain D. Craig.  Software Components With Ada by Grady Booch Benjamin/Cummings, Menlo Park, CA, 1987, 635 pages (incl. index) (£19.95) , 1989, Robotica.

[3]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[4]  Natarajan Shankar,et al.  Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS , 1995, IEEE Trans. Software Eng..

[5]  Gregory Kulczycki,et al.  A system for predictable component-based software construction , 2001 .

[6]  Dan Harkey,et al.  The Essential Distributed Objects Survival Guide , 1995 .

[7]  Wayne D. Heym.  Computer program verification: improvements for human reasoning , 1996 .

[8]  Gerald M. Weinberg,et al.  Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products , 1990 .

[9]  정갑주.  [서평]「The Essential Distributed Objects Survival Guide」 , 1998 .

[10]  Dennis de Champeaux,et al.  Object-oriented system development , 1993 .

[11]  Bruce W. Weide,et al.  Copying and Swapping: Influences on the Design of Reusable Software Components , 1991, IEEE Trans. Software Eng..

[12]  Bruce Weide,et al.  Component-based software using RESOLVE , 1994, SOEN.

[13]  Murali Sitaraman,et al.  Foundations of object-based specification design , 1997 .

[14]  Stephen H. Edwards,et al.  Characterizing observability and controllability of software components , 1996, Proceedings of Fourth IEEE International Conference on Software Reuse.

[15]  Victor L. Winter,et al.  High Integrity Software , 2001 .