面向对象软件规格语言的设计

全炳哲; 金淳兆

首页> 中文期刊> 《软件学报》 >面向对象软件规格语言的设计

面向对象软件规格语言的设计

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文提出一种面向对象软件的形式描述语言ＪＯＯＳＬ，用它可描述面向对象软件需规格、概要设计和详细设计，从描述方法角度看，需求规格和概要设计的描棕在很大程度相同，这就反映了ＯＯ开发模型中需求和设计之间的重叠，在这些描述中用抽象方法描述数据和操作；详细设计中确定算法细节和数据的表示。ＪＯＯＳＬ认为对象是一种抽象的状态机，继承是行为特性的共享。

著录项

来源
《软件学报》 |1995年第12期|705-711|共7页
作者
全炳哲; 金淳兆;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类程序语言、算法语言;
关键词
面向对象; 形式规格语言; 软件; 程序语言;

相似文献

中文文献
外文文献
专利

1. 结构化面向对象形式规格说明语言OOZS——设计原理 [J] . . 上海大学学报（自然科学版） . 1998,第002期
2. 结构化面向对象形式规格说明语言OOZS——规格说明测试 [J] . 李刚 ,朱关铭 . 上海大学学报（自然科学版） . 1998,第004期
3. 面向对象程序设计语言在水电厂监控系统组态软件设计中的应用 [J] . 杨晓萍 ,解建宝 ,张靠社 . 电网与清洁能源 . 1996,第003期
4. 面向对象软件的形式规格说明技术 [J] . 全炳哲 ,金淳兆 . 计算机科学 . 1995,第001期
5. 面向对象语言和C++讲座——第四讲基于C++语言的面向对象的分析和设计 [J] . 高峻 ,蒋维杜 . 软件世界 . 1995,第5期
6. 基于面向对象设计语言的汽车制动系设计软件的开发 [C] . 余文涛 ,黄敏俊 . 2007年中国汽车工程学会年会 . 2007
7. 面向对象的软件规格说明的构造及确认技术研究 [A] . 陈怡海 . 2007

面向对象软件规格语言的设计

摘要

著录项

相似文献

相关主题

期刊订阅