685 search results - page 51 / 137 » A Comparative Study of Three Program Exploration Tools |
CAV
2004
Springer
13 years 12 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...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Much existing documentation is informal and serves to communicate "how-to" knowledge among restricted working groups. Using current practices, such documentation is both...
INFORMATICALT
2006
13 years 8 months ago
2006
The objective is to investigate two emerging information technologies in graduate studies and scientific cooperation. Internet is the first technology. The open source is the secon...
HOTOS
2007
IEEE
13 years 12 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...
IFIP
2001
Springer
14 years 17 days ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...