148
click to vote
FASE
15 years 10 months 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...
128
click to vote
FASE
15 years 10 months 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...
102
click to vote
FASE
15 years 10 months 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...
129
click to vote
FASE
15 years 10 months 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 ...
136
click to vote
FASE
15 years 10 months 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