7202 search results - page 330 / 1441 » Software System Engineering: A Tutorial |
161
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
165
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
167
click to vote
VISSOFT
2005
IEEE
16 years 9 days ago
2005
IEEE
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
208
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Replication is a key strategy for improving locality, fault tolerance and availability in distributed systems. The paper focuses on distributed file systems and presents a system ...
151
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper presents POLUS, a software maintenance tool capable of iteratively evolving running software into newer versions. POLUS's primary goal is to increase the dependabi...