296 search results - page 21 / 60 » Program Refactoring, Program Synthesis, and Model-Driven Dev... |
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
VAMOS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
KI
1990
Springer
14 years 2 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...
LOPSTR
1997
Springer
14 years 2 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...