Title :
A tutorial on feature oriented programming and product-lines
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
Abstract :
Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and to synthesize an efficient program that meets these specifications. FOP has been used to develop product-lines in disparate domains, including compilers for extensible Java dialects [3], fire support simulators for the U.S. Army [5], high-performance network protocols [1], and program verification tools [14].
Keywords :
Java; formal specification; object-oriented methods; object-oriented programming; program compilers; program verification; software tools; Java; compilers; feature oriented programming; fire support simulators; network protocols; product-lines; program specification; program synthesis; program verification tools; Design methodology; Fires; HTML; Java; Large-scale systems; Network synthesis; Packaging; Protocols; Refining; Tutorial;
Conference_Titel :
Software Engineering, 2003. Proceedings. 25th International Conference on
Print_ISBN :
0-7695-1877-X
DOI :
10.1109/ICSE.2003.1201271
