183
click to vote
FASE
16 years 22 days ago
2010 Springer 
Traces of the evolution of software systems are left in a number of different repositories: such as configuration management systems, bug tracking systems, mailing lists. Develope...
160
click to vote
FASE
16 years 22 days ago
2010 Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
142
click to vote
FASE
16 years 22 days ago
2010 Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
172
click to vote
FASE
16 years 22 days ago
2010 Springer 
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
169
click to vote
FASE
16 years 22 days ago
2010 Springer 
Good resource scheduling plays a pivotal role in successful software development projects. However, effective resource scheduling is complicated by such disruptions as requirements...
|
Software Engineering