| Abstract |
|
As we have got better at programming, we have
come to recognize that the real problems of software
development cannot be solved by thinking about
program code. We need to address the problems of
complex and shifting user requirements in a world of
rapid application development, commercial off-theshelf
components and concurrent engineering. Formal
methods must help us do this if they are to play a
significant role in real projects.
|
 Additional Information
|
Citation:
Anthony Hall,
"Making Formal Methods Work,"
sefm,
pp. 261-262,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05),
2005
|
