首页> 中文期刊> 《上海交通大学学报》 >形式化面向对象方法与并发系统的建模

形式化面向对象方法与并发系统的建模

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

将统一建模语言 (UML )的面向对象可视化设计与代数规范语言 Cafe OBJ的形式描述相结合 ,对冗余磁盘阵列 (RAID)系统中的并发特性进行建模、分析和规范 .提供了 RAID系统的清晰结构 ,以此来弥补形式化规范语言的不足 ,规范软件设计过程 ,保证程序的正确性 .

著录项

来源
《上海交通大学学报》 |2001年第2期|245-249|共5页
作者
朱兰娟; 吴智铭;
展开▼
作者单位

上海交通大学自动化系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
形式化形范; 面向对象方法; 统一建模语言; 冗余磁盘阵列;

相似文献

中文文献
外文文献
专利

1. 面向对象方法在三层分布式系统建模中的应用 [J] . 马新娟 ,李陶深 ,范平 . 山东理工大学学报（自然科学版） . 2005,第003期
2. 基于面向对象方法的ABS仿真系统的建模与实现 [J] . 黄道敏 . 计算机与现代化 . 2004,第3期
3. 面向对象方法在专用CAD系统中建模的研究和应用 [J] . 缪逸 ,步丰林 . 计算机应用研究 . 1999,第001期
4. 面向对象方法在专用CAD系统建模中的应用 [J] . 缪逸 ,步丰林 ,张申生 . 计算机应用 . 1999,第1期
5. 面向对象方法在会计信息系统建模中的应用 [J] . 李强 . 石家庄经济学院学报 . 1998,第001期
6. 实时并发系统的形式化建模方法研究 [C] . 燕飞 ,唐涛 . 2009年系统仿真技术及其应用学术会议（CCSSTA'2009） . 2009
7. 并发实时系统的模型及其形式化 [A] . 陈艳 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号