Referenced Items are not available for this document.
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
Published in:
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Date of Conference: 20-23 Sep 1992
- Page(s):
- 28 - 37
- Meeting Date :
- 20 Sep 1992-23 Sep 1992
- ISSN :
- 1068-3062
- Print ISBN:
- 0-8186-2880-4
- INSPEC Accession Number:
- 4534016
- Conference Location :
- Mclean, VA
- Digital Object Identifier :
- 10.1109/KBSE.1992.252911
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
