出版社:清华大学出版社
年代:2009
定价:79.0
本书介绍了描述系统与语言的规约的基本原理和技术。本卷首先讲授一些高级的原理和技术,然后讲授符号学建模的基本原理和技术。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。
原著作者为中文版所作的序译者译序言I 开篇 1 序言II 规约刻面 2 层次与复合 3 指称和计算 4 格局:上下文和状态III 关键领域和系统刻面 5 时间、空间和空间/时间IV 语言学 6 语用 7 语义 8 句法
原著作者为中文版所作的序译者译序言I 开篇 1 序言II 规约刻面 2 层次与复合 3 指称和计算 4 格局:上下文和状态III 关键领域和系统刻面 5 时间、空间和空间/时间IV 语言学 6 语用 7 语义 8 句法 9 符号体系V 其他规约技术 10 模块化 11 自动机和机器VI 并发和时态 12 佩特里网 13 消息和活序列图 14 状态图 15 时间的定量模型 VII 解释器和编译器定义 16 SAL:简单应用式语言 17 SIL:简单命令式语言 18 SMIL:简单模块命令式语言 19 SPIL:简单并行命令式语言VIII 结束语 20 结束语IX 附录
《软件工程卷1~3》是冯诺依曼奖章获得者、世界著名的计算机科学家Dines BjOrner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计,即软件工程的三个相互关联并重叠的组成部分,或称之为软件工程的“三部曲”。在软件开发的各个阶段,如果都能够采用这种形式化的开发模式,将能够在极大程度上保证软件开发的正确性和有效性。 这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践,加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中,所有的原理、技术和工具都是通过大量的案例分析来进行阐述,并覆盖了所有主要的软件开发时期、阶段和步骤;同时,这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的。 这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书,而日在工业和计算机产、世界也具有极大的实用价值。
(丹) 比约纳 (Bjorner,D.) , 著
郑建德, 编著
于万波, 魏小鹏, 编著
吴江琴, 编著
(英) 克里斯·伯查尔 (Chris Birchall) , 著
(美) 麦克, 著
(德) 比约尼尔 (Bjorner,D.) , 著
贾铁军, 俞小怡, 沈学东, 杨志和, 覃海焕, 编著
缪淮扣, 编著