Article
Open Access
A formal framework for dependability and resilience from a software engineering perspective
-
Nicolas Guelfi
Published/Copyright:
September 28, 2011
Published Online: 2011-9-28
Published in Print: 2011-9-1
© 2011 Versita Warsaw
Articles in the same Issue
- Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors
- Gaussian mixture models for semantic ranking in domain specific databases with application in radiology
- Fitts’ law to the rescue: A comparison of graph tables
- A formal framework for dependability and resilience from a software engineering perspective
- An innovative image fusion algorithm based on wavelet transform and discrete fast curvelet transform
- Automatic detection and inpainting of specular reflections for colposcopic images
- Taxonomy of DoS attacks and their countermeasures
Keywords for this article
resilience;
model driven engineering;
conceptual framework;
dependability;
software engineering;
formalization
Creative Commons
BY-NC-ND 3.0
Articles in the same Issue
- Genealogy of hard real-time preemptive scheduling algorithms for identical multiprocessors
- Gaussian mixture models for semantic ranking in domain specific databases with application in radiology
- Fitts’ law to the rescue: A comparison of graph tables
- A formal framework for dependability and resilience from a software engineering perspective
- An innovative image fusion algorithm based on wavelet transform and discrete fast curvelet transform
- Automatic detection and inpainting of specular reflections for colposcopic images
- Taxonomy of DoS attacks and their countermeasures
