682 search results - page 49 / 137 » Java Implementation Verification Using Reverse Engineering |
AAAI
2000
13 years 9 months ago
2000
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
SIGCSE
2002
ACM
13 years 7 months ago
2002
ACM
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
ISORC
2006
IEEE
14 years 1 months ago
2006
IEEE
Alias analysis is a method for extracting sets of expressions which may possibly refer to the same memory locations during program execution. Although many researchers have alread...
COORDINATION
2008
Springer
13 years 9 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
The proposed research defines data fusion approaches to support software maintenance tasks at the feature level. Static, dynamic, and textual sources of information are combined t...