Sciweavers

328 search results - page 7 / 66
» Software engineering for safety: a roadmap
Sort
View
ICSE
2000
IEEE-ACM
15 years 9 months ago
Formal specification: a roadmap
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 ...
Axel van Lamsweerde
ICSE
2000
IEEE-ACM
15 years 9 months ago
Software configuration management: a roadmap
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...
Jacky Estublier
ICSE
2000
IEEE-ACM
15 years 9 months ago
Software metrics: roadmap
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...
Norman E. Fenton, Martin Neil
ADAEUROPE
2009
Springer
16 years 17 days ago
Validating Safety and Security Requirements for Partitioned Architectures
Julien Delange, Laurent Pautet, Peter H. Feiler
VMCAI
2005
Springer
15 years 11 months ago
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...