7785 search results - page 164 / 1557 » The Concept of Dynamic Analysis |
139
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Software evolution and update play a vital role in software engineering. It has many advantages, such as improving the efficiency of programming, reducing the cost of maintena...
122
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. LEAD is a large-scale effort to build a service-oriented infrastructure that allows atmospheric science researchers to dynamically and adaptively respond to weather patt...
117
click to vote
INFOVIS
2002
IEEE
15 years 9 months ago
2002
IEEE
A new method for visualizing the class of incrementally evolving networks is presented. In addition to the intermediate states of the network it conveys the nature of the change b...
149
click to vote
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
143
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...