Abstract
This paper describes a formal methods case study in which one module of an existing security system was re-developed using the light-weight Vienna Development Method, supported by the IFAD Toolbox. Eight respect to the original version, formal methods - even in its light-weight form - has increased software quality while the development efforts were comparable. The team that has used conventional methods for the development of the original version discusses the relevance of the findings.
| Original language | English |
|---|---|
| Title of host publication | 19th International Conference, SAFECOMP 2000 |
| Pages | 187-197 |
| Number of pages | 11 |
| Publication status | Published - 2000 |
| Event | 19th International Conference, SAFECOMP 2000 - Duration: 1 Jan 2000 → … |
Conference
| Conference | 19th International Conference, SAFECOMP 2000 |
|---|---|
| Period | 1/01/00 → … |
Research Field
- Not defined
Keywords
- Computersicherheit
- Computeranwendung
- Zuverlässigkeit
- Sicherheit
- Konferenz
- Rotterdam
- computer safety
- computer applications
- reliability
- security
- Vienna development method
- Conference
Fingerprint
Dive into the research topics of 'A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver