logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

Software Mythbusters Explore Formal Methods

delete2009-11-01
delete3
PRE
AI
C
Ciera Jaspan *
M
Michael Keeling
L
Larry Maccherone
G
Gabriel L. Zenarosa
M
Mary Shaw
DOI：10.1109/MS.2009.188delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En
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

Journal

IEEE Software cover
IEEE Software
IF:
3
Papers:
3.1K
Citations:
3.6K

Organization

C
Carnegie Mellon University
Scholars:
1.4W
Papers: 1.4W
Citations: 2.7W