| 摘要: |
| 本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系，并将作者提出的可执行定义方法论ＭＨＳＣ（ｍｅｔｈｏｄｏｌｏｇｙｆｏｒｈｉｇｈ－ｌｅｖｅｌｓｐｅｃｉｆｉｃａｔｉｏｎｃｏｎｓｔｒｕｃｔｉｏｎ）与现有方法论进行比较．论文表明可执行定义方法将在软件系统从定义开发到系统实现的进化式开发过程中起着关键的作用，有积极的研究意义. |
| 关键词: 可执行定义 软件方法论 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金,国家863高科技项目基金资助. |
|
| BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT |
|
YING Jing,HE Zhijun,WU Zhaohui
|
| 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． |
| Key words: Executable specification software methodology |
