THE EXPANDING AVAILABILITY OF RAW COMPUTING POWER HAS CREATED A CONSUMER DEMAND FOR SOFTWARE SOLUTIONS THAT UTILIZE THIS POWER.

THE EXPANDING AVAILABILITY OF RAW COMPUTING POWER HAS CREATED A CONSUMER DEMAND FOR SOFTWARE SOLUTIONS THAT UTILIZE THIS POWER. AS FUNCTIONALITY INCREASES SO DOES THE COMPLEXITY OF THE SYSTEM SPECIFICATION. WE PROPOSE TO GREATLY IMPROVE THE EFFICIENCY WITH WHICH SPECIFICATIONS ARE PREPARED BY MEANS OF A SPECIFICATION DEVELOPMENT SYSTEM. THE SPECIFICATION IS USED BY EVERYONE INVOLVED WITH THE DEVELOPMENT OF A SYSTEM (DESIGNERS, CODERS, TESTERS, MANAGEMENT, TRAINERS). A QUALITY SPECIFICATION LEADS TO A QUALITY PRODUCT. IT COMES AS NO SURPRISE, THEREFORE, THAT ERRORS LEFT UNDETECTED IN THE SPECIFICATION ARE VERY COSTLY. IF ALLOWED TO PROPAGATE TO THE FIELD, THESE ERRORS CAN COST 1000 TIMES AS MUCH TO REPAIR AS IF CORRECTED DURING SPECIFICATION DEVELOPMENT. THIS JUSTIFIES A SIGNIFICANT INVESTMENT IN SPECIFICATION DEVELOPMENT TECHNOLOGY. BY CONSIDERING THE SPECIFICATION AS THE SUM OF ALL KNOWLEDGE OF WHAT THE FINAL PRODUCT SHOULD BE, WE CAN INTEGRATE TOOLS, METHODOLOGIES, AI TECHNIQUES AND MANAGEMENT CONSIDERATIONS INTO A FORMALLY ANALYZABLE SYSTEM. SPECIFICALLY, THE OBJECTIVE IS TO CONSTRUCT A PROTOTYPICAL SYSTEM TO DEMONSTRATE THE FEASIBILITY OF COMBINING THESE RESOURCES. THE SUCCESSFUL APPLICATION OF THESE TECHNOLOGIES CAN BE READILY EXTENDED TO OTHER SOFTWARE DEVELOPMENT ENVIRONMENTS.