.png){kind=icon}
返回
Software Mythbusters Explore Formal Methods
.png){kind=icon}
PRE
AI
DOI：10.1109/MS.2009.188.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En
Keyword:
Software engineering
Unified modeling language
DSL
Data mining
Software measurement
specification tool
formal methods
formal specification
specifications
education
software engineering education
development process
mathematics
.png){kind=icon}
