魏艳铭
- 作品数：3 被引量：13H指数：2
- 供职机构：重庆师范大学数学学院更多>>
- 发文基金：重庆市教育委员会科学技术研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于B/S和UML的网上考试系统建模被引量：1
- 2006年
- 以网上考试系统的开发为背景,探讨了UML在网上考试系统建模中的应用,在对系统进行需求分析的基础上,用Rose构建了系统的需求模型、对象结构模型、行为模型和实现模型.
- 魏艳铭周岩
- 关键词：网上考试系统统一建模语言软件体系结构
- 基于Real-Time Object-Z语言的实时系统形式化描述被引量：2
- 2007年
- 实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。
- 魏艳铭张广泉
- 关键词：实时系统OBJECT-ZREAL-TIMEOBJECT-Z形式化描述
- RUP和UML在软件体系结构建模中的应用研究被引量：10
- 2006年
- 把UML与RUP作为软件体系结构建模的支持,以某公司销售管理系统为例,根据UML与RUP的通用建模过程逐步构建了销售管理系统的需求模型、用例动态模型、对象结构模型和实现模型。
- 魏艳铭张广泉
- 关键词：RUPUML软件体系结构
