基于规格说明的面向对象软件原型开发

作     者：魏峻 范明 李健东 何克清 

作者机构：武汉大学软件工程国家重点实验室 

基　　金：国家教委博士基金 

出 版 物：《武汉大学学报（自然科学版）》 (Journal of Wuhan University(Natural Science Edition))

年 卷 期：1996年第42卷第5期

页      码：585-591页

摘      要：提出了一种基于规格说明的面向对象软件原型开发方法．规格说明分为结构部分和行为部分．结构部分利用了面向对象开发方法ＯＭＴ的直观可视的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文法和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行行为分析．

主 题 词：面向对象 原型化 进程代数 软件开发 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.14188/j.1671-8836.1996.05.008

馆 藏 号：203157757...