 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Seven Myths of Formal Methods |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
Anthony Hall beschreibt in seinem 1990 erschienenen Artikel "Seven Myths of Formal Methods", dass formale Methoden praxistauglich sind. Er widerlegt die nachfolgenden Mythen:
| |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Hall, Anthony | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Zeitschriftenartikel | |||||||||
| |||||||||
| Verlag | |||||||||
| |||||||||
| IEEE Software | |||||||||
| |||||||||
| BibTeX-Eintrag | |||||||||
| |||||||||
| @article{ hall90seven, author = "Anthony Hall", title = "Seven Myths of Formal Methods", journal = "IEEE Software", volume = "7", number = "5", pages = "11--19", year = "1990"} | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Seven Myths of Formal... | ||||
| ||||
| ||||
| ||||
| ||||
 | Erläutert Technologien | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| | | ||
| ||||||||||||||
|
