Hollingsworth, J.E., Blankenship, L., and Weide, B.W. Experience report: using RESOLVE/C++ for commercial software. In Proceedings ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (San Diego, CA, November 2000), ACM, 11-19. Home/Search Document Details and Download
Summary ACM TOC Related Articles |
This paper is cited in the following contexts:
"Modular Regression Testing": Connections to Component-Based.. - Weide (Correct)
....testing of systems having features that no one should doubt are just like real software, we make another stab at giving a convincing argument on this point. Keywords Component based software, compositional reasoning, modular reasoning, regression testing, testing. BACKGROUND In other papers [3, 4, 8, 9, 10] we have argued that: Software must be, and can be, designed to support the modular reasoning property (a.k.a. compositional reasoning about its behavior, or local certifiability of correctness) in order to be economically maintainable. There are plenty of easily avoidable design flaws ....
....on the system implementation actually satisfying the modular reasoning property. Unfortunately, the modular reasoning property does not hold unless you are careful and disciplined when designing components for, and coding their implementations in, modern imperative and object oriented languages [1, 4, 8, 9]. Our call therefore has been to pay close attention to microarchitectural issues [3] when designing, specifying, and implementing software components and systems built from them. If software is poorly designed at this fundamental level, then no amount of tool support or managerial savvy can ....
[Article contains additional citation context not shown here]
Hollingsworth, J.E., Blankenship, L., and Weide, B.W. Experience report: using RESOLVE/C++ for commercial software. In Proceedings ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (San Diego, CA, November 2000), ACM, 11-19.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC