微信公众号随时随地查标准

QQ交流1群(已满)

QQ群标准在线咨询2

QQ交流2群

购买标准后,可去我的标准下载或阅读
GB/T 28169-2011 嵌入式软件 C语言编码规范 现行 发布日期 :  2011-12-30 实施日期 :  2012-06-01

本标准规定了使用C语言在嵌入式软件编程中的规范要求。本标准也给出了在嵌入式系统开发中应该注意的与编码相关的事项。
本标准适用于嵌入式软件生存周期的C语言的设计、编码、测试及其使用。

定价: 49元 / 折扣价: 42 加购物车

在线阅读 收 藏
GB/T 28174.1-2011 统一建模语言(UML) 第1部分:基础结构 现行 发布日期 :  2011-12-30 实施日期 :  2012-06-01

GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语言。本语言也可用于对其他领域进行建模。
本部分适用于统一建模语言(UML)的基础语言构造物,包括讲述UML的体系结构、UML的设计原理以及如何应用这些原理来组织UML的方法。

定价: 141元 / 折扣价: 120 加购物车

在线阅读 收 藏
GB/T 28174.2-2011 统一建模语言(UML) 第2部分:上层结构 现行 发布日期 :  2011-12-30 实施日期 :  2012-06-01

GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语言。本语言也可用于对其他领域进行建模。
本部分适用于用户使用的本标准的语言构造物。在严格地遵循了GB/T 28174.1基础结构的基础上,本部分讲述了供用户使用的本标准的元模型,即本标准的语法和语义。

定价: 202元 / 折扣价: 172 加购物车

在线阅读 收 藏
GB/T 28174.3-2011 统一建模语言(UML) 第3部分:对象约束语言(OCL) 现行 发布日期 :  2011-12-30 实施日期 :  2012-06-01

GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语言。本语言也可用于对其他领域进行建模。
本部分是一种形式语言,它适用于描述UML模型上的表达式。这些表达式以规范的方式,规定了如何描述系统在建模过程中应成立的不变条件以及对模型中对象的查询。

定价: 139元 / 折扣价: 119 加购物车

在线阅读 收 藏
GB/T 28174.4-2011 统一建模语言(UML) 第4部分:图交换 现行 发布日期 :  2011-12-30 实施日期 :  2012-06-01

GB/T 28174的本部分规定了用于对各类软件系统进行可视化、详述、构造和文档化的统一建模语言。该语言也可用于对其他领域进行建模。
本部分适用于在不同的软件工具间平滑且无缝地交换文档。这些工具可以是UML建模工具、代码生成器、词处理工具和桌面出版工具等。本部分也可用作在因特网上交换和表示UML模型起媒介作用的规范。
图交换没有可选的兼容点。和图交换相兼容意味着和它的抽象语法、良构规则、语义、符号,还有XMI相兼容。指派图元素见附录A。

定价: 54元 / 折扣价: 46 加购物车

在线阅读 收 藏
GB/T 20719.12-2010 工业自动化系统与集成 过程规范语言 第12部分:外核 现行 发布日期 :  2011-01-14 实施日期 :  2011-06-01

GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括:
——活动和子活动的集合;
——离散活动和状态;
——活动发生的约束;
——基本活动的并发;
——复杂活动;
——复杂活动的发生。

定价: 70元 / 折扣价: 60 加购物车

在线阅读 收 藏

本部分通过使用GB/T 20719语言中编写的一组定义来提供这种语言的非基本概念的规范。这些定义为本部分中的术语提供了语义的公理化。

定价: 86元 / 折扣价: 74 加购物车

在线阅读 收 藏

GB/T 20719的本部分通过使用GB/T 20719的语言中编写的一组定义提供了该语言的非基本概念的规范。这些定义为GB/T 20719本部分的术语提供了语义的公理化。
以下包括在GB/T 20719本部分的范围内:
——概念的定义,其使用GB/T 20719.13中指定的术语。
以下不在GB/T 20719本部分的范围内:
——状态的定义和与时间相关的概念的定义,其只使用GB/T 20719.11和GB/T 20719.12中指定的术语。

定价: 70元 / 折扣价: 60 加购物车

在线阅读 收 藏

定价: 65元 / 折扣价: 56 加购物车

在线阅读 收 藏
GB/T 20719.11-2010 工业自动化系统与集成过程规范语言 第11部分:PSL核心 现行 发布日期 :  2010-12-01 实施日期 :  2011-05-01

GB/T 20719的本部分应用GB/T 20719基本语言中的一系列公理,给出了PSL核心概念的表达。
本部分适用于所有过程一般概念的表达。

定价: 59元 / 折扣价: 51 加购物车

在线阅读 收 藏

根据GB/T 20719.1中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
以下各项属于本部分的范畴:
—资源;
—资源和活动间的关系;
—资源集;
—增加量。

定价: 43元 / 折扣价: 37 加购物车

在线阅读 收 藏

定价: 161元 / 折扣价: 137 加购物车

在线阅读 收 藏

GB/T 20719的本部分提供了与活动的次序和周期约束相关的基本概念的表述,其范围如下:
——子活动发生次序;
——周期;
——迭代发生次序;
——发生树自同态;
——活动包络。

定价: 54元 / 折扣价: 46 加购物车

在线阅读 收 藏

定价: 65元 / 折扣价: 56 加购物车

在线阅读 收 藏
64 条记录,每页 15 条,当前第 2 / 5 页 第一页 | 上一页 | 下一页 | 最末页  |     转到第   页