By Topic

Software synthesis for trade-off design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
A. Sato ; C&C Res. Labs., NEC Corp., Kawasaki, Japan ; M. Miki ; T. Yamanouchi ; M. Watanabe

This paper details a case study of trade-off design in software synthesis. Domain-oriented software synthesis technology enables software designers to encode their own specific knowledge of software design into transformation rules. Thus, generated software is optimal and actually usable for the domain. However, the optimal implementation cannot be decided in advance if performance specifications, e.g., memory size limits and execution time limits, are unclear. That is, it is difficult to develop transformation rules which generate optimal software for their domain or situation if performance requirements are unclear beforehand. This paper proposes a method of trade-off design in software synthesis, and applies this method to develop a file access program generator called POT-DB. The proposed method includes procedures for: extracting trade-off parameters as input specifications; designing transformation rules for trade-off parameters to generate programs; and designing performance measurement rules to allow designers to notice the effects of trade-off parameters. Based on the results of applying POT-DB in developing a sales analysis and ordering system, all performance requirements have been satisfied, and application productivity has been improved 1.9 times

Published in:

Knowledge-Based Software Engineering Conference, 1996., Proceedings of the 11th

Date of Conference:

25-28 Sep 1996