Reasoning About Software-Component Behavior
Please observe the copyright notices posted here governing the use of material from this page.
Reasoning About Software-Component Behavior
2000
- Citation:
M. Sitaraman, S. Atkinson, G. Kulczycki, B.W. Weide, T.J. Long, P. Bucci, W.D. Heym, S.M. Pike, J.E. Hollingsworth, "Reasoning About Software-Component Behavior" in Proceedings of ICSR6 Software Reuse: Advances in Software Reusability. LNCS 1844, 266-283. © Springer-Verlag 2000. Citations: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23]
- Abstract:
Mathematical modeling is essential for reasoning about component-based software. Without precise descriptions based on mathematical models, the potential benefits of component-based software development are unlikely to be fully realized because clients who use existing components will be unable to understand those components well enough to reason soundly about non-trivial programs which use them. - Publisher: Springer
- Link to copy of this pubilcation on file with the publisher:
http://springerlink.metapress.com/(2o4yo455mjahlx55xv5uqo45)/app/home/issue.asp?referrer=parent&back
Download this publication:
