Formal software inspection as an option for software quality improvement

2005-01-3977

11/22/2005

Event
SAE Brasil 2005 Congress and Exhibit
Authors Abstract
Content
Software has been an area of great focus in the industry lately. Quality in software products is the main goal of the relatively new Software Engineering discipline. In order to achieve a good level of quality, the software engineers must follow rigid and well-documented procedures. This paper assesses a software quality assurance technique called formal inspection. This technique is very effective in finding software defects early in the software development process1, contributing to improve software quality and decrease development cost. This paper also presents a study case where formal inspection was experienced to improve the quality of software for engine management system.
Meta TagsDetails
DOI
https://doi.org/10.4271/2005-01-3977
Pages
9
Citation
Albiero, A., "Formal software inspection as an option for software quality improvement," SAE Technical Paper 2005-01-3977, 2005, https://doi.org/10.4271/2005-01-3977.
Additional Details
Publisher
Published
Nov 22, 2005
Product Code
2005-01-3977
Content Type
Technical Paper
Language
English