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.

Saved in:
Bibliographic Details
Published in:Computer (Long Beach, Calif.) Calif.), 2010-01, Vol.43 (1), p.28-34
Main Author: Parnas, D.L.
Format: Article
Language:English
Subjects:
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
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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