Software synthesis shell SOFTEX/S

Toru Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, Masanobu Watanabe

DOI 10.1109/kbse.1992.252911 dblp

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.>

BibTeX

@inproceedings{Yamanouchi-al:ASE92,
  author    = {Toru Yamanouchi and
               Akiyoshi Sato and
               Minoru Tomobe and
               Hiroshi Takeuchi and
               Jun Takamura and
               Masanobu Watanabe},
  title     = {Software synthesis shell {SOFTEX/S}},
  booktitle = {ASE},
  pages     = {28--37},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
}

Software synthesis shell SOFTEX/S

Abstract

Related papers