BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT
支持软件开发的可执行定义方法

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.