The KeY tool
- 作者Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth; Steffen Schlager; Peter H. Schmitt
- 卷第4卷
- 期第1期
- 印刷ISSN1619-1366
- 电子ISSN1619-1374
- 文件大小2084.38KB
- 发表时间2005-02
- DOI10.1007/s10270-004-0058-x
- 页码32-54
同作者推荐
UML 2001: a standardization odysseyKobryn, Cris · Communications of the ACM · 1999
Modeling components and frameworks with UMLKobryn, Cris · Communications of the ACM · 2000
Evolution, not revolutionSelic, Bran; Ramackers, Guus; Kobryn, Cris · Communications of the ACM · 2002
An Introduction to SysMLFriedenthals, Sanford A.; Kobryn, Cris · INSIGHT · 2004
《UML》2001-THE UNIFIED MODELING LANGUAGEMARTIN GOGOLLA CRIS KOBRYN · 2222
Will UML 2.0 be agile or awkward?Kobryn, Cris · Communications of the ACM · 2002
4.1.2 Extending UML to Support a Systems Modeling LanguageFriedenthal, Sanford A.; Kobryn, Cris · INCOSE International Symposium · 2004