3889 search results - page 350 / 778 » The Use of Program Dependence Graphs in Software Engineering |
157
click to vote
FASE
2010
Springer
16 years 22 days ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
148
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
An average-time game is played on the infinite graph of configurations of a finite timed automaton. The two players, Min and Max, construct an infinite run of the automaton by ...
148
click to vote
SCAM
2008
IEEE
16 years 19 days ago
2008
IEEE
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
171
Voted
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we discuss a pilot user study that compares the use of two integrated development environments (IDEs), Eclipse and Gild, by novice programmers. Gild is a perspective...
155
click to vote
CCE
2011
15 years 1 months ago
2011
This contribution deals with the optimization of the design of reactive distillation columns by using a memetic algorithm (MA) which is a combination of an evolution strategy (ES)...