338 search results - page 11 / 68 » Safety Methods in Software Process Improvement |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper describes an architecture analysis tool-set supporting the evolutionary improvement of the software architecture of an existing medical imaging system. The toolset has ...
ECOOPW
2001
Springer
14 years 1 months ago
2001
Springer
Current software projects have generally to deal with producing and managing large and complex software products. It is generally believed that applying software development method...
FORTE
1994
13 years 10 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
ISESE
2003
IEEE
14 years 2 months ago
2003
IEEE
Software Engineering studies run in classroom environments can and have made important contributions to empirical software engineering. Because the goal of such studies is to impr...