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 reviewed and accepted 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.43 $, $Date: 2008/03/03 23:38:56 $, Copyright Les Hatton 2001-
|
