期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
RUP和UML在软件体系结构建模中的应用研究
被引量：
2
1
作者
魏
艳
铭
张广泉
《重庆师范大学学报（自然科学版）》
CAS
2006年第3期54-58,共5页
把UML与RUP作为软件体系结构建模的支持,以某公司销售管理系统为例,根据UML与RUP的通用建模过程逐步构建了销售管理系统的需求模型、用例动态模型、对象结构模型和实现模型。
关键词
RUP
UML
软件体系结构
建模
下载PDF
职称材料
基于Real-Time Object-Z语言的实时系统形式化描述
被引量：
2
2
作者
魏
艳
铭
张广泉
《重庆师范大学学报（自然科学版）》
CAS
2007年第4期41-44,53,共5页
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可...
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。
展开更多
关键词
实时系统
OBJECT-Z
REAL-TIME
OBJECT-Z
实时精化演算
形式化描述
下载PDF
职称材料
基于B/S和UML的网上考试系统建模
被引量：
1
3
作者
魏
艳
铭
周岩
《郑州轻工业学院学报（自然科学版）》
CAS
2006年第4期75-78,共4页
以网上考试系统的开发为背景,探讨了UML在网上考试系统建模中的应用,在对系统进行需求分析的基础上,用Rose构建了系统的需求模型、对象结构模型、行为模型和实现模型.
关键词
网上考试系统
统一建模语言
浏览器/服务器
软件体系结构
建模
下载PDF
职称材料
题名
RUP和UML在软件体系结构建模中的应用研究
被引量：
2
1
作者
魏
艳
铭
张广泉
机构
重庆师范大学数学与计算机科学学院
出处
《重庆师范大学学报（自然科学版）》
CAS
2006年第3期54-58,共5页
基金
重庆市教委科学技术研究项目(No.040803)
文摘
把UML与RUP作为软件体系结构建模的支持,以某公司销售管理系统为例,根据UML与RUP的通用建模过程逐步构建了销售管理系统的需求模型、用例动态模型、对象结构模型和实现模型。
关键词
RUP
UML
软件体系结构
建模
Keywords
RUP
UML
software architecture
modeling
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Real-Time Object-Z语言的实时系统形式化描述
被引量：
2
2
作者
魏
艳
铭
张广泉
机构
重庆师范大学数学与计算机学院
河南经贸职业学院信息管理系
出处
《重庆师范大学学报（自然科学版）》
CAS
2007年第4期41-44,53,共5页
基金
重庆市教委科学技术研究项目(No.040803)
文摘
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。
关键词
实时系统
OBJECT-Z
REAL-TIME
OBJECT-Z
实时精化演算
形式化描述
Keywords
real-time system
Object-Z
Real-Time Object-Z
timed refinement calculus
formal specification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于B/S和UML的网上考试系统建模
被引量：
1
3
作者
魏
艳
铭
周岩
机构
重庆师范大学数学与计算机科学学院
河南省纺织高等专科学校计算机网络教育学院
出处
《郑州轻工业学院学报（自然科学版）》
CAS
2006年第4期75-78,共4页
文摘
以网上考试系统的开发为背景,探讨了UML在网上考试系统建模中的应用,在对系统进行需求分析的基础上,用Rose构建了系统的需求模型、对象结构模型、行为模型和实现模型.
关键词
网上考试系统
统一建模语言
浏览器/服务器
软件体系结构
建模
Keywords
Intemet test system
unified modeling language
Browser/Server
software architecture
modeling
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
RUP和UML在软件体系结构建模中的应用研究
魏
艳
铭
张广泉
《重庆师范大学学报（自然科学版）》
CAS
2006
2
下载PDF
职称材料
2
基于Real-Time Object-Z语言的实时系统形式化描述
魏
艳
铭
张广泉
《重庆师范大学学报（自然科学版）》
CAS
2007
2
下载PDF
职称材料
3
基于B/S和UML的网上考试系统建模
魏
艳
铭
周岩
《郑州轻工业学院学报（自然科学版）》
CAS
2006
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
