Really Rethinking 'Formal Methods'

Really Rethinking 'Formal Methods'

We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer (Long Beach, Calif.) Calif.), 2010-01, Vol.43 (1), p.28-34
1. Verfasser: Parnas, D.L.
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Formal method
Formal methods
Programming
Software
Software development
Software documentation
Software engineering
Systems development
Technology adoption
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We must question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed.
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2010.22