摘要
软件开发存在着方法论需求．基于作者提出的ＭＨＳＣ方法论思想，本文提出一个支持软件定义开发的可视集成环境ＭＨＳＣ／Ｅ．通过可视界面支持软件定义的变换、求精与仿真．ＭＨＳＣ／Ｅ较好地反映出ＭＨＳＣ的核心思想．本文着重介绍ＭＨＳＣ／Ｅ的环境组成、集成界面以及高层构造技术和支持工具．
There are some demands on the new software methodology. Based on the methodology MHSC proposed by the authors, a visual integrated environment MHSC/E is developed, which supports software specification construction. The transformation, refinement and simulation of software specification have been well supported through the visual interface operations. MHSC/E has embodied the kernel thought of MHSC successfully. This paper addresses the components of the whole environment, visual integrated interface, and high level construction techniques and tools.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1997年第10期731-735,共5页
Journal of Computer Research and Development
基金
国家自然科学基金
浙江大学曹光彪高科技基金
关键词
软件方法
软件定义
软件开发环境
MHSC/E
software methodolgy, software specification, software development environment
