%0 Conference Paper %1 may1999a %A May, J. %A Hughes, G. %A Shaban, N. %B Fifteenth Annual UK Performance Engineering Workshop %D 1999 %I Research Press %K Safety Critical Systems %P 35--44 %T Formal coupling of software components %X 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. %@ 0952402785

@inproceedings{may1999a, 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.}, added-at = {2006-03-09T08:15:35.000+0100}, author = {May, J. and Hughes, G. and Shaban, N.}, biburl = {https://www.bibsonomy.org/bibtex/2126ba9fa5f0c76f8f3850967537ead1f/snowball}, booktitle = {Fifteenth Annual UK Performance Engineering Workshop}, interhash = {51eecf2394159ad0e74ffcd0c9fc593f}, intrahash = {126ba9fa5f0c76f8f3850967537ead1f}, isbn = {0952402785}, keywords = {Safety Critical Systems}, month = {July}, pages = {35--44}, publisher = {Research Press}, pubtype = {4}, timestamp = {2006-03-09T08:15:35.000+0100}, title = {Formal coupling of software components}, year = 1999 }