Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability

Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon. Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability. In Alejandra Cechich, Mario Piattini, Antonio Vallecillo, editors, Component-Based Software Quality - Methods and Techniques. Volume 2693 of Lecture Notes in Computer Science, pages 259-286, Springer, 2003. [doi]

@inproceedings{KimJS03,
  title = {Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability},
  author = {Hye Yeon Kim and Kshamta Jerath and Frederick T. Sheldon},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2693&spage=259},
  tags = {completeness, software components, software component, consistency, reliability},
  researchr = {https://researchr.org/publication/KimJS03},
  cites = {0},
  citedby = {0},
  pages = {259-286},
  booktitle = {Component-Based Software Quality - Methods and Techniques},
  editor = {Alejandra Cechich and Mario Piattini and Antonio Vallecillo},
  volume = {2693},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40503-8},
}