Abstract
The strategy of retrofitting quality onto a prototype and evolving it into a production quality system has at best led to severe problems and at worst to a complete failure. The present work reports on an environment and methodology that supports the development of high quality prototypes that can easily accommodate changes so that the prototypes can be evolved into production quality systems. An outline of the environment incorporating an architectural mechanism and associated tools that accommodates the intertwining of algebraic specifications, known as ADTSPEC, and implementations in a modular programming language, PARADOX PASCAL, is presented. A framework for applying the environment in the context of evolutionary development is detailed. An illustrative application is also presented. It demonstrates the effectiveness of the work, to support user participation at each stage of evolution and the engineering of high quality prototypes constructed in a systematic manner, incorporating the degree of rigour that is appropriate to the clarity of requirements.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
