| 支持软件开发的可执行定义方法 |
| |
| 引用本文： | 应晶,何志均,吴朝晖.支持软件开发的可执行定义方法[J].软件学报,1997,8(5):350-359. |
| |
| 作者姓名： | 应晶 何志均 吴朝晖 |
| |
| 作者单位： | 浙江大学人工智能研究所 |
| |
| 基金项目： | 国家自然科学基金,国家863高科技项目基金 |
| |
| 摘 要： | 本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系，并将作者提出的可招待定义方法论ＭＨＳＣ与现有方法论进行比较，论文表明可执行定义将在软件系统从定义开发到系统实现的进化式过程中起着关键的作用，有积极的研究意义。
|
| 关 键 词： | 可执行定义 软件方法论 软件开发 |
| 修稿时间： | 5/6/1996 12:00:00 AM |
BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT |
| |
| YING Jing,HE Zhijun and WU Zhaohui.BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT[J].Journal of Software,1997,8(5):350-359. |
| |
| Authors: | YING Jing HE Zhijun and WU Zhaohui |
| |
| Affiliation: | Artificial Intelligence Institute\ Zhejiang University\ Hangzhou\ 310027 |
| |
| Abstract: | This paper analyzes the executable specification building methods in 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. |
| |
| Keywords: | Executable specification software methodology |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
