Sciweavers

3889 search results - page 52 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
FSTTCS
2000
Springer
15 years 9 months ago
Dynamically Ordered Probabilistic Choice Logic Programming
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
Marina De Vos, Dirk Vermeir
CISIS
2008
IEEE
16 years 14 days ago
Integrating Shadows in Model Driven Engineering for Agile Software Development
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
Marc Conrad, Marianne Huchard, Thomas Preuss
SIGSOFT
2003
ACM
16 years 6 months ago
Consistency techniques for interprocedural test data generation
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
Nguyen Tran Sy, Yves Deville
ISPW
2005
IEEE
15 years 11 months ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
AOSD
2007
ACM
15 years 10 months ago
Improve pointcut definitions with program views
Aspect-oriented programming languages select join points using pointcut constructs that depend on the syntactic structure of the base program. As the base program evolves, the poi...
Zifu Yang, Tian Zhao