328 search results - page 7 / 66 » Software engineering for safety: a roadmap |
ICSE
2000
IEEE-ACM
14 years 4 days ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
ICSE
2000
IEEE-ACM
14 years 4 days ago
2000
IEEE-ACM
This paper, in the first chapter summarizes the state of the art in SCM, showing the evolution along the last 25 years. Chapter 2 shows the current issues and current research wor...
ICSE
2000
IEEE-ACM
14 years 4 days ago
2000
IEEE-ACM
Software metrics as a subject area is over 30 years old, but it has barely penetrated into mainstream software engineering. A key reason for this is that most software metrics act...
ADAEUROPE
2009
Springer
14 years 3 months ago
2009
Springer
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
