Domain-oriented software process re-engineering with software synthesis shell SOFTEX/S

The paper proposes a domain-oriented software process re-engineering method that allows for efficient software process modeling and cuts overall software development cost. This is achieved by use of a software synthesis shell that supports the development of program generators from input specification syntax and rewrite rules. Application of the proposed method to the development of a large scale "chain store management system" resulted in the development of a specification checker, two program generators, a specification document generator, and a test data generator. The overall development cost, including re-engineering cost, for this store management system has been reduced by 164 man-months.