Software synthesis shell SOFTEX/S

Author

Yamanouchi, T. ; Sato, Akira ; Tomobe, M. ; Takeuchi, H. ; Takamura, J. ; Watanabe, Manabu

Author_Institution

NEC Corp., Kawasaki, Japan

fYear

1992

fDate

20-23 Sep 1992

Firstpage

28

Lastpage

37

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh

Conference_Location

Mclean, VA

ISSN

1068-3062

Print_ISBN

0-8186-2880-4

Type

conf

DOI

10.1109/KBSE.1992.252911

Filename

252911