软件工程卷1:抽象与建模

《软件工程卷1:抽象与建模》是2010年清华大学出版社出版的图书,作者是德国)比约尼尔(Dines Bjorner)。内容简介《软件工程卷1:抽象与建

《软件工程卷2:系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先,然后讲授一些高级的原理和技术:分层与组合、指称与计算以及构型:环境与状态的抽象与建模,然后讲授符号学建模的基本原理和技术:语用,语义以及系统和语言的

《软件工程卷1:抽象与建模》介绍了抽象与建模的基本原理和技术。首先,本卷给出了离散数学的基本介绍,包括数、集合、笛卡尔、类型、函数、入-演算、代数和数理逻辑,然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的

本卷倡导一种全新的软件工程开发模式:在需求被形式化之前,人们必须理解应用领域,因此本卷首先介绍领域描述的原现和技术,然后介绍从领域模型导出需求规则的原理和技术,最后介绍细化需求到软件设计的原理和技术:体系结构和组件设计。 [1]

相关文档

软件工程卷1:抽象与建模
软件工程卷:-抽象与建模(影印版)
软件工程卷1
软件工程卷3
90858.net
yhkn.net
ppcq.net
zdly.net
zdhh.net
电脑版