主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李京,冯玉琳,黄涛.软件构造过程中的对象规范和实现*.软件学报,1995,6():231-237
软件构造过程中的对象规范和实现*
OBJECT SPECIFICATION AND IMPLEMENTATION IN SOFTWARE CONSTRUCTlON
投稿时间:1993-11-22  
DOI:
中文关键词:  软件构造.对象规范,对象实现.
英文关键词:Software construction,object specification,object implementation.
基金项目:本项目得到国家863高技术和中国科技大学青年基金资助.
作者单位
李京 中国科技大学计算机系合肥230027 
冯玉琳 中国科学院软件研究所北京l00080 
黄涛 中国科学院软件研究所北京l00080 
摘要点击次数: 1306
全文下载次数: 214
中文摘要:
      面向对象的软件构造过程中的一个关键技术是对象的描述.本文介绍的ADL语言就是用于描述软件对象的基本特征.一个ADL对象定义分为两部分:其一是对象规范,它在抽象数据域上描述对象的语义特征,用逻辑公式规定对象的状态和行为约束.另一是对象体,它由开发者选用相应的某种实现语言和算法给出对象规范的具体实现,同时给出从抽象数据到具体数据的映射关系.
英文摘要:
      This paper deals with ADL,a language designed to describe the features of objects in the software construction.An ADL class definition includes two parts:one is the object specification which specifies the object interface and semantics by logic formulae on the abstract domain;the other is the object body which is the implementation of the specification,and It also provides a map between the abstract data and the concrete data.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利