Link to the University of Pittsburgh Homepage
Link to the University Library System Homepage Link to the Contact Us Form

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

[img] Plain Text (licence)
Available under License : See the attached license file.

Download (1kB)


Social Networking:
Share |


Item Type: Article
Status: Published
CreatorsEmailPitt UsernameORCID
Jaspan, Ciera
Keeling, Michael
Maccherone, Larry
Zenarosa, Gabriel Lglz5@pitt.eduGLZ5
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


Monthly Views for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item