Formal methods: promises and problems

Formal methods: promises and problems

Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE software 1997-01, Vol.14 (1), p.73-85
Hauptverfasser: Luqi, Goguen, J.A.
Format: Artikel
Sprache:eng
Schlagworte:
Automation
Computer engineering
Computer industry
Computer programming
Computer science
Context modeling
Dictionaries
Engineering
Engineers
Genetic programming
Logic
Mathematics
Methods
Product development
Reliability engineering
Requirements analysis
Robustness
Software
Software development
Software engineering
Software systems
Systems development
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.
ISSN:0740-7459
1937-4194
DOI:10.1109/52.566430