15777 search results - page 2417 / 3156 » Software Engineering |
227
click to vote
KBSE
2005
IEEE
16 years 27 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
221
click to vote
PASTE
2005
ACM
16 years 26 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
241
click to vote
AADEBUG
2005
Springer
16 years 26 days ago
2005
Springer
Dynamic slicing algorithms have been considered to aid in debugging for many years. However, as far as we know, no detailed studies on evaluating the benefits of using dynamic sl...
199
click to vote
AFP
2004
Springer
16 years 21 days ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
194
click to vote
IUI
2003
ACM
16 years 17 days ago
2003
ACM
This paper describes lessons learned in developing the linguistic, cognitive, emotional, and gestural models underlying virtual human behavior in a training application designed t...