Software synthesis shell SOFTEX/S

The SOFTEX/S includes a transformation system, based on a term rewriting system, a language DSL/C++ for defining transformation rules and a specification language for a specific software model, as well as a rule verification system which supports developing correct transformation rules. SOFTEX/S has been implemented and a program synthesis system for a state transition model SOFTEX/STM has been developed with SOFTEX/S. Based on the results of this experience, SOFTEX/S has been evaluated to improve software productivity, while maintaining the desired software quality in terms of execution speed and memory usage.<
>