注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 系统架构设计师教程

  2. 第1章 绪论　 　　1.1 系统架构的概念及其发展历史　 　　1.1.1 系统架构的概念　 　　1.1.2 简要的发展历史　 　　1.2 系统架构师的定义与职业素质　 　　1.2.1 系统架构师的定义　 　　1.2.2 系统架构师技术素质　 　　1.2.3 系统架构师管理素质　 　　1.2.4 系统架构师与其他团队角色的协调　 　　1.3 系统架构师知识结构　 　　1.4 从开发人员到架构师　 　　第2章 计算机与网络基础知识　 　　2.1 操作系统基础知识　 　　2.1.1 操作系统的原理、

  3. 所属分类：软考等考

    • 发布日期：2012-03-12
    • 文件大小：45088768
    • 提供者：doremi0101

  1. 系统架构师教程

  2. 认识软件系统架构 从基础到精通学习系统架构，助你成为一个IT高新白领。 第1章 绪论　 　　1.1 系统架构的概念及其发展历史　 　　1.1.1 系统架构的概念　 　　1.1.2 简要的发展历史　 　　1.2 系统架构师的定义与职业素质　 　　1.2.1 系统架构师的定义　 　　1.2.2 系统架构师技术素质　 　　1.2.3 系统架构师管理素质　 　　1.2.4 系统架构师与其他团队角色的协调　 　　1.3 系统架构师知识结构　 　　1.4 从开发人员到架构师　 　　第2章 计算机与网络基础

  3. 所属分类：其它

    • 发布日期：2012-08-02
    • 文件大小：45088768
    • 提供者：liliangaijava163

  1. 基于UML 的嵌入式系统模型验证技术的研究

  2. 统一建模语言UML 在嵌入式系统设计建模中已经获得了广泛的认可，能对复杂嵌入式系统建模，并有很多成功的应用，但UML 是一种半形式化语言，存在时间约束描述能力不强和所建模型形式化复杂.验证难度大等问题.针对上述问题，本文提出了采用实时UML 对嵌入式系统UML 状态图进行建模；然后用状态- 约束- 事件矩阵方法来对模型进行形式化描述；最后利用SPIN 对模型进行验证.

  3. 所属分类：其它

    • 发布日期：2020-08-26
    • 文件大小：199680
    • 提供者：weixin_38589314

  1. 嵌入式系统/ARM技术中的基于UML 的嵌入式系统模型验证技术的研究

  2. 摘要：统一建模语言UML 在嵌入式系统设计建模中已经获得了广泛的认可，能对复杂嵌入式系统建模，并有很多成功的应用，但UML 是一种半形式化语言，存在时间约束描述能力不强和所建模型形式化复杂.验证难度大等问题.针对上述问题，本文提出了采用实时UML 对嵌入式系统UML 状态图进行建模；然后用状态- 约束- 事件矩阵方法来对模型进行形式化描述；最后利用SPIN 对模型进行验证.该方法解决了UML 在嵌入式系统建模和形式化验证过程中出现的问题，应用实例和结果证明了该方法的有效性和可行性. 　　0 引

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：174080
    • 提供者：weixin_38645266

  1. 基于UML 的嵌入式系统模型验证技术的研究

  2. 摘要：统一建模语言UML 在嵌入式系统设计建模中已经获得了广泛的认可，能对复杂嵌入式系统建模，并有很多成功的应用，但UML 是一种半形式化语言，存在时间约束描述能力不强和所建模型形式化复杂.验证难度大等问题.针对上述问题，本文提出了采用实时UML 对嵌入式系统UML 状态图进行建模；然后用状态- 约束- 事件矩阵方法来对模型进行形式化描述；利用SPIN 对模型进行验证.该方法解决了UML 在嵌入式系统建模和形式化验证过程中出现的问题，应用实例和结果证明了该方法的有效性和可行性. 　　0 引言

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：198656
    • 提供者：weixin_38519849