DocumentCode
3056983
Title
“What is a formal method (and what is an informal method)?”
Author
Hatton, Les
Author_Institution
Oakwood Comput., UK
fYear
1997
fDate
16-19 Jun 1997
Firstpage
125
Lastpage
126
Abstract
This position paper traces a very personal view of formal methods in the period 1982-1997. The author describes his own experiences in formal methods all the way from outright belief in the power of mathematics in the early 1980s, to a measurement-tempered and rather cautious optimism in the late 1990s
Keywords
software engineering; formal method; informal method; mathematics; measurement; personal viewpoint; software engineering; Cameras; Differential equations; Geophysical measurements; Geophysical signal processing; Mathematics; Optimization methods; Partial differential equations; Position measurement; Power measurement; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1997. COMPASS '97. Are We Making Progress Towards Computer Assurance? Proceedings of the 12th Annual Conference on
Conference_Location
Gaithersburg, MD
Print_ISBN
0-7803-3979-7
Type
conf
DOI
10.1109/CMPASS.1997.613286
Filename
613286
Link To Document