1799 search results - page 58 / 360 » The Logic of Correctness in Software Engineering |
136
click to vote
UIST
2006
ACM
15 years 11 months ago
2006
ACM
With advances in pen-based computing devices, handwriting has become an increasingly popular input modality. Researchers have put considerable effort into building intelligent rec...
160
click to vote
ASWEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
158
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
151
click to vote
ICSM
1994
IEEE
15 years 10 months ago
1994
IEEE
Software evolution is usually considered in terms of corrections, improvements and enhancements. While helpful, this approach does not take into account the fundamental dimensions...
169
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...