MHSC/E: A SOFTWARE SPECIFICATION DEVELOPMENT ENVIRONMENT BASED ON VISUAL INTEGRATED INTERFACE

Ying Jing
1997-01-01
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.
What problem does this paper attempt to address?