DocumentCode
1280736
Title
Formal specification languages
Author
Parker, John ; Titterington, Graham
Author_Institution
Software Sciences Ltd., Farnborough, UK
Volume
32
Issue
6
fYear
1986
fDate
6/1/1986 12:00:00 AM
Firstpage
441
Lastpage
444
Abstract
Bugs in computer software are still commonplace. The problem is often due to inadequate specification of the requirements. Formal specification is proposed as a solution, but is it practical?
fLanguage
English
Journal_Title
Electronics and Power
Publisher
iet
ISSN
0013-5127
Type
jour
DOI
10.1049/ep.1986.0268
Filename
5187591
Link To Document