DocumentCode
281356
Title
Is the need for measurement an admission that formal methods are not perfect?
Author
Stockman, S.G. ; Kaposi, A.A.
Author_Institution
British Telecom Res. Lab., Ipswich, UK
fYear
1988
fDate
11-15 Jul 1988
Firstpage
73
Lastpage
74
Abstract
The strategic significance of system and software quality to industry, commerce and the community at large is now widely recognised by all, including government. Two main philosophies are currently pursued to quality assurance: the accreditation procedure of the software development process itself through schemes such as BS5750 and the proof of software correctness through the use of formal methods. The authors explore the extent to which these philosophies singly or collectively, satisfy industry´s obligation to produce high quality software
Keywords
program verification; quality control; software engineering; software reliability; BS5750; formal methods; quality assurance; software correctness; software development; software measurement; software quality;
fLanguage
English
Publisher
iet
Conference_Titel
Software Engineering, 1988 Software Engineering 88., Second IEE/BCS Conference:
Conference_Location
Liverpool
Type
conf
Filename
196363
Link To Document