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．