###
DOI:
Journal of Software:1997.8(5):350-359

支持软件开发的可执行定义方法
应晶,何志均,吴朝晖
(浙江大学人工智能研究所,杭州,310027)
BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT
YING Jing,HE Zhijun,WU Zhaohui
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2620   Download 2903
    Revised:May 06, 1996
> 中文摘要: 本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系,并将作者提出的可执行定义方法论MHSC(methodologyforhigh-levelspecificationconstruction)与现有方法论进行比较.论文表明可执行定义方法将在软件系统从定义开发到系统实现的进化式开发过程中起着关键的作用,有积极的研究意义.
中文关键词: 可执行定义  软件方法论  
Abstract:This paper analyzes the executable specification building methods i.n software development procedure and its relationship with software development,then makes a comparison between MHSC(methodology for high-level specification construction)and currently existed relevant methodologies.The MHSC methodology put forward by the authors supports executable specification explicitly.The paper declares that executable specification building method will play an important role in the evolutionary process from software specification to system implementation.Its research will turn out to be of great significance.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金,国家863高科技项目基金资助. 本文研究得到国家自然科学基金,国家863高科技项目基金资助.
Foundation items:
Reference text:

应晶,何志均,吴朝晖.支持软件开发的可执行定义方法.软件学报,1997,8(5):350-359

YING Jing,HE Zhijun,WU Zhaohui.BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT.Journal of Software,1997,8(5):350-359