Software Mythbusters Explore Formal Methods

Jaspan, Ciera and Keeling, Michael and Maccherone, Larry and Zenarosa, Gabriel L and Shaw, Mary (2009) Software Mythbusters Explore Formal Methods. IEEE SOFTWARE, 26 (6). 60 - 63. ISSN 0740-7459

Plain Text (licence) Available under License : See the attached license file. Download (1kB)

---

Share

Citation/Export:	Select format... Citation - Text Citation - HTML Endnote BibTex Dublin Core OpenURL MARC (ISO 2709) METS MODS EP3 XML Reference Manager Refer
Social Networking:	Share |

---

Details

Item Type:	Article
Status:	Published
Creators/Authors:	Creators Email Pitt Username ORCID Jaspan, Ciera Keeling, Michael Maccherone, Larry Zenarosa, Gabriel L glz5@pitt.edu GLZ5 Shaw, Mary
Date:	2009
Date Type:	Publication
Journal or Publication Title:	IEEE SOFTWARE
Volume:	26
Number:	6
Page Range:	60 - 63
DOI or Unique Handle:	10.1109/ms.2009.188
Schools and Programs:	Swanson School of Engineering > Industrial Engineering
Refereed:	Yes
Uncontrolled Keywords:	Software engineering, Unified modeling language, DSL, Data mining, Software measurement, specification tool, formal methods, formal specification, specifications, education, software engineering education, development process, mathematics
ISSN:	0740-7459
Date Deposited:	09 Jun 2014 15:23
Last Modified:	30 Oct 2017 23:58
URI:	http://d-scholarship.pitt.edu/id/eprint/21755

---

Metrics

Monthly Views for the past 3 years

Plum Analytics

Altmetric.com

---

Actions (login required)

View Item