 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Correctness by Construction |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Hall und Chapman beschreiben den Einsatz der formalen Methoden Z, CSP und SPARK zur Spezifikation und Implementierung einer Certification Authority für Smart Cards. Die Autoren zeigen, wie formale Spezifikation und statische Analyse in einem realen kommerziellen Projekt eingesetzt werden können. | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Hall, Anthony Chapmann, Roderick | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Zeitschrift | |||||||||
| |||||||||
| Verlag | |||||||||
| |||||||||
| IEEE Software | |||||||||
| |||||||||
| BibTeX-Eintrag | |||||||||
| |||||||||
| @article{ hall02correctness, author = "Anthony Hall and Roderick Chapman", title = "Correctness by Construction: Developing a Commercial Secure System", journal = "IEEE Software", volume = "19", number = "1", pages = "18--25", year = "2002"} | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Correctness by Construction | ||||
| ||||
| ||||
| ||||
| ||||
| Dokumentiert Erfahrungen | | ||
| ||||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
