11558 search results - page 2145 / 2312 » Analytics for software development |
163
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
216
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
172
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
177
click to vote
ASSETS
2004
ACM
15 years 12 months ago
2004
ACM
We report here on our progress on a project first described at the ASSETS 2002 conference. At that time, we had developed a prototype system in which a proxy server intermediary w...
190
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
In this paper, we describe a new approach to the creation of virtual environments, which uses qualitative physics to implement object behaviour. We adopted Qualitative Process The...