Navigation ...
|
|
|
Scientific Writing ...
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Other Writing ...
|
|
|
|
|
|
Reference details
Author(s)
| Year
| Title
| Reference
| View/Download
|
Les Hatton | 1997e | What is a formal method, (and what is an informal method) ? | Proceedings of 12th annual conference on Computer Assurance, Gai | formal_COMPASS97.pdf |
Synopsis and invited feedback
This work was or is being reviewed by domain-specific experts appointed independently.
If you would like to provide feedback just e-mail me here.
Synopsis
| Invited Feedback
| Importance (/10, author rated :-) )
|
Describes personal experiences in the use of formal methods over a 15 year period. Summarises by making the statement that there are probably worse problems to tackle first before formal methods could have a significant impact on system quality. | None yet | 8 |
Related links
Related papers and links
|
Sorry, no links registered in database yet. |
Auto-generated: $Revision: 1.63 $, $Date: 2020/01/25 16:18:09 $, Copyright Les Hatton 2001-
|