Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1007/b75206 | ICSR |
Keywords | Field | DocType |
software component | Programming language,Computer science,Source code,Correctness,Software system,Soundness,Component-based software engineering,Reasoning system,Software development,Formal verification | Conference |
Volume | ISSN | ISBN |
1844 | 0302-9743 | 3-540-67696-1 |
Citations | PageRank | References |
16 | 1.90 | 5 |
Authors | ||
9 |
Name | Order | Citations | PageRank |
---|---|---|---|
Murali Sitaraman | 1 | 270 | 40.99 |
Steven Atkinson | 2 | 16 | 2.24 |
Gregory Kulczycki | 3 | 90 | 10.56 |
Bruce W. Weide | 4 | 575 | 182.57 |
Timothy J. Long | 5 | 371 | 47.83 |
Paolo Bucci | 6 | 124 | 16.58 |
Wayne D. Heym | 7 | 111 | 11.70 |
Scott M. Pike | 8 | 98 | 10.84 |
Joseph E. Hollingsworth | 9 | 97 | 12.91 |