DocumentCode
3476551
Title
A tutorial on feature oriented programming and product-lines
Author
Batory, Don
Author_Institution
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
fYear
2003
fDate
3-10 May 2003
Firstpage
753
Lastpage
754
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2003. Proceedings. 25th International Conference on
ISSN
0270-5257
Print_ISBN
0-7695-1877-X
Type
conf
DOI
10.1109/ICSE.2003.1201271
Filename
1201271
Link To Document