倪彬
- 作品数：8 被引量：26H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向对象的系统分析和设计被引量：9
- 1996年
- 面向对象的分析和设计就是把面向对象的方法运用到软件工程的分析和设计阶段,从而建立更加适应当今庞大、复杂且易变的系统的模型。 一、分析和设计的 目的和任务 分析和设计的主要目的是完成对问题空间的分析和对系统的建模。具体地说,它的任务是描述系统中的对象,对象的属性和操作,对象的动态特性,对象间的构造关系、映射关系和通信关系,从而建立系统的静态结构和动态活动模型。 分析和设计的任务是增进软件生产效率,提高质量和加强可维护性。
- 倪彬
- 关键词：软件工程面向对象系统设计
- 对象描述语言及其指称描述被引量：6
- 1996年
- 在面向对象的软件构造中，对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ），并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性（结构）和动作（行为）得以统一．对象聚合提供了由已有对象描述构造复杂对象描述的机制；而继承则可以扩充给定的对象描述并保持原描述的特性．此外。
- 黄涛冯玉琳倪彬李京
- 关键词：面向对象
- 基于T^3BDD的动态模型检查被引量：2
- 1999年
- ＪａｖａＢｅａｕｓ是一种组件标准．该文定义了ＪＢＤＬ（ＪａｖａＢｅａｎｓｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）语言，用于描述组件语义约束规范．为了检测ＪａｖａＢｅａｎｓ组件语义约束与其实现之间的一致性，文章给出了一种基于Ｔ3ＢＤＬ公式的三值语义和模型的抽象化动态模型检查方法、文章重点介绍了利用ＴＢＤＤ（３－ｔｅｒｍｉｎａｌｂｉｎａｒｙｄｅｃｉｓｉｏｎｄｉａｇｒａｍ）的符号化动态模型检查方法．
- 倪彬冯玉琳黄涛
- 关键词：组件软件开发
- Trace演算被引量：5
- 1999年
- 文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明．
- 黄涛钱军倪彬
- 关键词：公理化软件工程
- 面向对象的系统分析被引量：3
- 1995年
- 面向对象的软件工程(OOSE)由面向对象的分析(OOA),面向对象的设计(OOD)和面向对象的实现(OOI)组成。OOA是OOSE的第一步,就是用面向对象的方法进行系统分析,解决系统分析所要解决的问题。具体地说,它的任务是分析问题空间内所涉及的对象,对象间的关系和作用。
- 倪彬
- 关键词：软件工程面向对象
- OOAnalysis的设计和实现被引量：1
- 1996年
- ＳＣＯＰ是一个面向对象的组合框架软件，ＯＯＡｎａｌｙｓｉｓ是ＳＣＯＰ中支持系统分析的一个工具系统，本文介绍了ＯＯＡｎａｌｙｓｉｓ的设计和实现．该工具采用并行／递归式面向对象的分析方法，采用自底向上的系统构造和对象抽象与自顶向下的系统分解和对象精化相结合的方法建立对象模型，强调多层次抽象、并行工作和递归建模．这个工具有多层次。
- 倪彬冯玉琳黄涛
- 关键词：面向对象软件工程
- 组件语义约束的动态模型检测方法和技术研究
- 倪彬
- 关键词：语义约束动态检测
- 对象语义约束检验系统的设计和实现被引量：1
- 1996年
- 我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特征和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束。本文介绍一个对象语义约束检验系统。
- 李京倪彬冯玉琳
- 关键词：语义约束一致性面向对象程序设计软件构造
