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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal software inspection as an option for software quality improvement


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE Brasil 2005 Congress and Exhibit ; 2005



    Publication date :

    2005-11-22




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    JPL software quality improvement project

    Kuykendall, F. | NTRS | 2002


    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990


    Formal Validation of Aerospace Software

    Lesens, D. / Moy, Y. / Kanig, J. et al. | British Library Conference Proceedings | 2013


    C Code Inspection Tool for Software Quality Assurance

    Fernandez, E. / Gonzalez, P. | British Library Online Contents | 1998


    C Code Inspection Tool for Software Quality Assurance

    Fernandez, E. / Gonzalez, P. / Eurospace | British Library Conference Proceedings | 1998