Practical software engineering a case study approach = 实用软件工程 (英文版)
Leszek Maciaszek ; Bruc Lee Liong2006 年出版826 页ISBN:7111173287
本书提供了针对大型系统开发的软件工程,全面论述了开发生命周期、建模语言、过程工具、项目规划以及过程管理,说明了迭代和增量式开发的概念。...
Lecture Notes in Computer Science 2989 Model Checking Software 11th International SPIN Workshop
2004 年出版307 页ISBN:3540213147
Lecture Notes in Computer Science 4595 Model Checking Software 14th International SPIN Workshop
2007 年出版285 页ISBN:9783540733690
Lecture Notes in Computer Science 3925 Model Checking Software 13th International SPIN Workshop
2006 年出版305 页ISBN:3540331026
Educational Social Software for Context-Aware Learning: Collaborative Methods and Human Interaction
2010 年出版310 页ISBN:9781605668260
Lecture Notes in Computer Science 3639 Model Checking Software 12th International SPIN Workshop
2005 年出版287 页ISBN:3540281959
Logic And Software Engineering International Workshop in Honor of Chin-Sung Tang
1996 年出版311 页ISBN:981022804X