Software mythbusters explore formal methods

Ciera Jaspan; Michael Keeling; Larry Maccherone; Gabriel L. Zenarosa; Mary Shaw

doi:10.1109/MS.2009.188

Software mythbusters explore formal methods

Ciera Jaspan
, Michael Keeling
, Larry Maccherone
, Gabriel L. Zenarosa
, Mary Shaw

Dean's Office, College of Business

Carnegie Mellon University

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

Abstract

In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths of Formal Methods." This update re-examines those myths, reflecting both on the authors' experience with formal methods in practice and on their persistent mythic status

Original language	English
Pages (from-to)	60-63
Number of pages	4
Journal	IEEE Software
Volume	26
Issue number	6
DOIs	https://doi.org/10.1109/MS.2009.188
State	Published - 2009

Keywords

Data mining
Development process
DSL
Education
Formal methods
Formal specification
Mathematics
Software engineering
Software engineering education
Software measurement
Specification tool
Specifications
Unified modeling language

Access to Document

10.1109/MS.2009.188

Cite this

@article{99783efc539542fc8eea1e2399ef6bf3,

title = "Software mythbusters explore formal methods",

abstract = "In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article {"}Seven Myths of Formal Methods.{"} This update re-examines those myths, reflecting both on the authors' experience with formal methods in practice and on their persistent mythic status",

keywords = "Data mining, Development process, DSL, Education, Formal methods, Formal specification, Mathematics, Software engineering, Software engineering education, Software measurement, Specification tool, Specifications, Unified modeling language",

author = "Ciera Jaspan and Michael Keeling and Larry Maccherone and Zenarosa, \{Gabriel L.\} and Mary Shaw",

year = "2009",

doi = "10.1109/MS.2009.188",

language = "English",

volume = "26",

pages = "60--63",

journal = "IEEE Software",

issn = "0740-7459",

number = "6",

}

TY - JOUR

T1 - Software mythbusters explore formal methods

AU - Jaspan, Ciera

AU - Keeling, Michael

AU - Maccherone, Larry

AU - Zenarosa, Gabriel L.

AU - Shaw, Mary

PY - 2009

Y1 - 2009

N2 - In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths of Formal Methods." This update re-examines those myths, reflecting both on the authors' experience with formal methods in practice and on their persistent mythic status

AB - In 1990, Anthony Hall identified and challenged seven common myths about formal methods in the IEEE Software article "Seven Myths of Formal Methods." This update re-examines those myths, reflecting both on the authors' experience with formal methods in practice and on their persistent mythic status

KW - Data mining

KW - Development process

KW - DSL

KW - Education

KW - Formal methods

KW - Formal specification

KW - Mathematics

KW - Software engineering

KW - Software engineering education

KW - Software measurement

KW - Specification tool

KW - Specifications

KW - Unified modeling language

UR - https://www.scopus.com/pages/publications/70350612922

U2 - 10.1109/MS.2009.188

DO - 10.1109/MS.2009.188

M3 - Article

AN - SCOPUS:70350612922

SN - 0740-7459

VL - 26

SP - 60

EP - 63

JO - IEEE Software

JF - IEEE Software

IS - 6

ER -

Software mythbusters explore formal methods

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this