A formal framework for dependability and resilience from a software engineering perspective
From MaRDI portal
Publication:692989
DOI10.2478/s13537-011-0025-xzbMath1253.68094WikidataQ114948507 ScholiaQ114948507MaRDI QIDQ692989
Publication date: 6 December 2012
Published in: Central European Journal of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/s13537-011-0025-x
software engineering; resilience; formalization; conceptual framework; dependability; model driven engineering
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- A formal framework for dependability and resilience from a software engineering perspective
- Petri nets and algebraic specifications
- Statecharts: a visual formalism for complex systems
- AlPiNA: A Symbolic Model Checker
- Software Engineering of Fault Tolerant Systems
- Software Product Line Engineering
- A measurement-based framework for software reliability improvement