Title :
“What is a formal method (and what is an informal method)?”
Author_Institution :
Oakwood Comput., UK
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;
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
DOI :
10.1109/CMPASS.1997.613286
