Event Details
Formal Methods, The Very Idea, Some Thoughts
Presenter: Dr. Daniel M. Berry - Computer Science, University of Waterloo, Waterloo, ON, Canada
Supervisor:
Date: Fri, March 15, 2002
Time: 11:30:00 - 12:30:00
Place: Elliot Building (ELL), Room # 061
ABSTRACT
ABSTRACT:
The talk defines formal methods (FMs) and describes economic issues involved in their application. From these considerations and the concepts implicit in ``No Silver Bullet'', it becomes clear that FMs are best applied during requirements engineering. A theory of why formal methods work and when they work is offered. It is suggested that FMs are most helpful when the user is least knowledgeable about the problem.