JML- Based formal development of a Java card application for managing medical appointments
Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-e...
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | eng |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10400.13/76 |
| Country: | Portugal |
| Oai: | oai:digituma.uma.pt:10400.13/76 |