15779 search results - page 2832 / 3156 » Change-oriented software engineering |
122
click to vote
VMCAI
2005
Springer
15 years 8 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...
148
click to vote
VSTTE
2005
Springer
15 years 8 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...
132
click to vote
VSTTE
2005
Springer
15 years 8 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...
148
click to vote
IUI
2004
ACM
15 years 8 months ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...
137
click to vote
IUI
2004
ACM
15 years 8 months ago
2004
ACM
Never before have so many information sources been available. Most are accessible on-line and some exist on the Internet alone. However, this large information quantity makes inte...