Conference ProceedingsOPEN ACCESS

Reliable software systems design: Defect prevention, detection, and containment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2008) 4171 LNCS 237-244
DOI: 10.1007/978-3-540-69149-5_25
4Citations
Citations of this article
13Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: A methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failures in the use of software products. Or in other words: The objective is the development of a methodology for "reliable software systems design. © IFIP International Federation for Information Processing 2008.

Cite

CITATION STYLE

APA

Holzmann, G. J., & Joshi, R. (2008). Reliable software systems design: Defect prevention, detection, and containment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4171 LNCS, pp. 237–244). https://doi.org/10.1007/978-3-540-69149-5_25

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free