Title :
Formal specification languages
Author :
Parker, John ; Titterington, Graham
Author_Institution :
Software Sciences Ltd., Farnborough, UK
fDate :
6/1/1986 12:00:00 AM
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?
Journal_Title :
Electronics and Power
DOI :
10.1049/ep.1986.0268
