Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system with lots of human being involved. Human error, as the main threat for the dependability of the software development system, may greatly harm the quality of the produced software. In this paper, we present a practical framework for software prototyping, addressing two types of threats for the software prototype that will occur during designer's prototype efforts. By illustrating information with multi-level representation, building an iterative prototyping loop, and providing solid project management, the human prototyping efforts is enhanced, refined, and organized. Several approaches to make the specification and prototype of the software requirement to be more accurate, complete, and consistent are proposed. They prevent the occurrence of human omission/slip and help to recovery the system states from hu...
Jennifer Z. Guan, Luqi