软件工程卷2：系统与语言规约
《软件工程卷2:系统与语言规约》是冯诺依曼奖章获得者、世界著名的计算机科学家DinesBjorner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的写个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、
下载地址
用户评论
经典的软件工程著作
E文啊，头疼。
是英文的，要有耐心
软工经典之作，不过是英文的，要有耐心才能看完。
英文的，头疼。。。
英文版的，看不太懂，不过谢谢了！！
看英文看得头大，不过也没办法，硬着头皮看
英文版的，我也就看得懂图片，不过我只是看看图片的
英语如果不太好，建议绕道吧。
英文版的，很清晰