Loading…
Formal software development tools: an investigation into usability
Formal methods are techniques that are firmly based in mathematics, they can be used to specify and verify computer systems. Formal techniques offer many advantages, including correctness and productivity over less formal ones. Wide acceptance of these methods is hindered by their relatively difficu...
Saved in:
| Main Author: | |
|---|---|
| Format: | Default Thesis |
| Published: |
1997
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/31907 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|