Abstract: 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.