Title :
Software synthesis shell SOFTEX/S
Author :
Yamanouchi, T. ; Sato, Akira ; Tomobe, M. ; Takeuchi, H. ; Takamura, J. ; Watanabe, Manabu
Author_Institution :
NEC Corp., Kawasaki, Japan
Abstract :
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
Keywords :
high level languages; knowledge based systems; rewriting systems; software tools; specification languages; DSL/C++; SOFTEX/S; execution speed; memory usage; program synthesis system; rule verification system; software productivity; software quality; software synthesis shell; specific software model; specification language; state transition model SOFTEX/STM; term rewriting system; transformation rules; transformation system; Automation; Computer aided software engineering; Costs; DSL; Laboratories; National electric code; Productivity; Programming; Software maintenance; Software quality;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Conference_Location :
Mclean, VA
Print_ISBN :
0-8186-2880-4
DOI :
10.1109/KBSE.1992.252911
