Software mythbusters explore formal methods

IEEE Software

Volumn 26, Issue 6, 2009, Pages 60-63

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

^a Carnegie Mellon University   (United States)

Author 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

Indexed keywords

DEVELOPMENT PROCESS; FORMAL SPECIFICATION; MATHEMATICS; SOFTWARE MEASUREMENT; SPECIFICATION TOOL;

COMPUTER SOFTWARE; DSL; ENGINEERING EDUCATION; LINGUISTICS; MEASUREMENTS; MODEMS; SPECIFICATIONS; TELECOMMUNICATION LINES; UNIFIED MODELING LANGUAGE;

FORMAL METHODS;

EID: 70350612922     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/MS.2009.188     Document Type: Article

References (1)

1. A. Hall, "Seven Myths of Formal Methods," IEEE Software, vol. 7, no. 5, 1990, pp. 11-19.