Sciweavers

3335 search results - page 129 / 667
» A Unified Approach to Modeling and Programming
Sort
View
TOOLS
2009
IEEE
16 years 1 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
SCAM
2003
IEEE
15 years 11 months ago
Unique Renaming of Java Using Source Transformation
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
Xinping Guo, James R. Cordy, Thomas R. Dean
AADEBUG
1997
Springer
15 years 10 months ago
Debugging Optimised Code Using Function Interpretation
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...
Kim Elms
AAAI
2008
15 years 8 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu
KI
2004
Springer
15 years 11 months ago
Improving Fault Localization of Programs by Using Labeled Dependencies
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
Rong Chen, Daniel Köb, Franz Wotawa