J. May, G. Hughes, and N. Shaban. Fifteenth Annual UK Performance Engineering Workshop, page 35--44. Research Press, (July 1999)
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.
%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
}