Really rethinking ‘formal methods’
The work
| Authors | David Lorge Parnas |
|---|---|
| Editors | |
| Type | article |
| Year | 2010 |
| Citekey | parnas2010really |
Where it appeared
| Published in | Computer |
|---|---|
| Volume | 43 |
| Issue | 1 |
| Pages | 28--34 |
Identifiers
| DOI | 10.1109/mc.2010.22 |
|---|
Empty on purpose
| abstract |
Related
| Distinct from | clarke1996formal |
|---|---|
| Distinct from | colburn1993program |
| Distinct from | craigen1995formal |
| Distinct from | dobrovic2013application |
| Distinct from | floyd1967assigning |
| Distinct from | floyd1993assigning |
| Distinct from | garavel2020expert |
| Distinct from | gleirscher2020formal |
| Distinct from | hoare1996how |
| Distinct from | huet2014years |
| Distinct from | huisman2020formal |
| Distinct from | luqi1997formal |
| Distinct from | meyer2000design |
| Distinct from | ohearn2019separation |
| Distinct from | pfleeger1997investigating |
| Distinct from | reid2016endtoend |
| Distinct from | rosenblum1996formal |
| Distinct from | wadler2015propositions |
Abstract
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.
A copy is held
pdf, 1.7 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-10-02 09:59 UTC |
Filed under
Cite it as
@article{parnas2010really,
title = {Really rethinking ‘formal methods’},
author = {David Lorge Parnas},
year = {2010},
journal = {Computer},
volume = {43},
number = {1},
pages = {28--34},
doi = {10.1109/mc.2010.22},
}
This record lives at https://refs.drheap.org/parnas2010really/ and will keep doing so.