Skip to main content

Formal coupling of software components

J. May, G. Hughes, N. Shaban, Formal coupling of software components. Fifteenth Annual UK Performance Engineering Workshop. ISSN 0952402785, pp. 35–44. July 1999. No electronic version available.

Abstract

Previous work on structural software reliability modelling should be extended to account for data flow in software. A way forward is explained by contrasting two extremely simple examples of software structure. In addition to improving software reliability estimates, development of such an approach is important because it has the potential to provide guidelines for testable software and it would provide a formal meaning for the notion of coupling between software components.

Bibtex entry.

Contact details

Publication Admin