Formal Engineering for Industrial Software Development: Using the SOFL Method
Formal Engineering for Industrial Software Development: Using the SOFL Method
复制标题
DOI：
--
复制
发表时间：
2004-04
期刊：
影响因子：
--
通讯作者：
Shaoying Liu
中科院分区：
文献类型：
--
作者：
Shaoying Liu
1.导言。2命题逻辑3逻辑推理4模块- 5分层CDFD和模块。6明确的规格。7基本数据类型8、类型- 9序列和字符串类型10复合材料和产品类型11地图类型12、联盟的类型13节课。14软件开发过程15种方法来构建规范。第16章案例研究-ATM建模17严格审查。18规范测试。19从设计到程序的转换20智能软件工程环境。推荐信。一杯SOFL。A.1规格- A.2模块- A.3过程A.4职能A.5类- A.6类型A.7用语。A.8普通表达A.8.1复合表达式。A.8.2一元表达式A.8.3二元表达式。应用表达式。A.8.5基本表述。A.8.6常数。A.8.7简单变量A.8.8特殊关键词设置表达式。A.8.10序列表达式。A.8.11地图表达。A.8.12复合表达式。产品表述。A.9谓词表达式。布尔变量A.9.2关系表达式A.9.3合并。A.9.4分离A.9.5含义A.9.6等同性A.9.7否定A.9.8量化表达。A.10身份证明。A.11品格A.12评论。
1 Introduction.- 2 Propositional Logic.- 3 Predicate Logic.- 4 The Module.- 5 Hierarchical CDFDs and Modules.- 6 Explicit Specifications.- 7 Basic Data Types.- 8 The Set Types.- 9 The Sequence and String Types.- 10 The Composite and Product Types.- 11 The Map Types.- 12 The Union Types.- 13 Classes.- 14 The Software Development Process.- 15 Approaches to Constructing Specifications.- 16 A Case Study - Modeling an ATM.- 17 Rigorous Review.- 18 Specification Testing.- 19 Transformation from Designs to Programs.- 20 Intelligent Software Engineering Environment.- References.- A Syntax of SOFL.- A.1 Specifications.- A.2 Modules.- A.3 Processes.- A.4 Functions.- A.5 Classes.- A.6 Types.- A.7 Expressions.- A.8 Ordinary Expressions.- A.8.1 Compound Expressions.- A.8.2 Unary Expressions.- A.8.3 Binary Expressions.- A.8.4 Apply Expressions.- A.8.5 Basic Expressions.- A.8.6 Constants.- A.8.7 Simple Variables.- A.8.8 Special Keywords.- A.8.9 Set Expressions.- A.8.10 Sequence Expressions.- A.8.11 Map Expressions.- A.8.12 Composite Expressions.- A.8.13 Product Expressions.- A.9 Predicate Expressions.- A.9.1 Boolean Variables.- A.9.2 Relational Expressions.- A.9.3 Conjunction.- A.9.4 Disjunction.- A.9.5 Implication.- A.9.6 Equivalence.- A.9.7 Negation.- A.9.8 Quantified Expressions.- A.10 Identifiers.- A.11 Character.- A.12 Comments.