Balancing Agility and Formalism in Software Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held in Poznan, Poland, in October 2007. The 21 revised full papers presented together with 2 keynote addresses were care...
Saved in:
其他作者: | Meyer, Bertrand |
---|---|
格式: | 圖書 |
語言: | English |
出版: |
Springer
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/26237 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Agile Software Engineering
由: Hazzan, Orit, et al.
出版: (2017) -
Agent-Oriented Software Engineering VIII
出版: (2017) -
A Concise Introduction to Software Engineering
由: Jalote, Pankaj Jalote, Pankaj
出版: (2017) -
Component-Based Software Engineering
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michel R. V. Chaudron, Clemens Szyperski, Ralf Reussner.
出版: (2017) -
Leveraging Applications of Formal Methods, Verification and Validation
由: Tiziana Margaria, Bernhard Steffen
出版: (2017)