Sciweavers

296 search results - page 37 / 60
» Program Refactoring, Program Synthesis, and Model-Driven Dev...
Sort
View
EUROSYS
2010
ACM
15 years 8 months ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
ECOOP
2007
Springer
15 years 5 months ago
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
Phil Greenwood, Thiago T. Bartolomei, Eduardo Figu...
102
Voted
UML
2005
Springer
15 years 5 months ago
Bridging Grammarware and Modelware
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
Manuel Wimmer, Gerhard Kramler
ICSE
2003
IEEE-ACM
15 years 5 months ago
A Tutorial on Feature Oriented Programming and Product-Lines
ct 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 ...
Don S. Batory
FOSSACS
2009
Springer
15 years 6 months ago
Facets of Synthesis: Revisiting Church's Problem
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
Wolfgang Thomas