A formal framework for dependability and resilience from a software engineering perspective

DOI10.2478/S13537-011-0025-XMaRDI QIDQ692989zbMATH OpenOpenAlexWikidataFDO

Authors Nicolas Guelfi

Publication date 6 December 2012

Published in Central European Journal of Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/s13537-011-0025-x

zbMATH Keywords

resiliencesoftware engineeringformalizationconceptual frameworkdependabilitymodel driven engineering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal dependability modeling and analysis: a survey
• scientific article; zbMATH DE number 1612490
• scientific article; zbMATH DE number 705197
• scientific article; zbMATH DE number 1693529
• scientific article; zbMATH DE number 791863
• scientific article; zbMATH DE number 2112383
• scientific article; zbMATH DE number 4018190

Cites work

• scientific article; zbMATH DE number 747012 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• A formal framework for dependability and resilience from a software engineering perspective
• A measurement-based framework for software reliability improvement
• AlPiNA: A Symbolic Model Checker
• Petri nets and algebraic specifications
• Software Engineering of Fault Tolerant Systems
• Software Product Line Engineering
• Statecharts: a visual formalism for complex systems

Cited in

(3)

• A formal framework for dependability and resilience from a software engineering perspective
• The role of concept, context, and component for dependable software development
• A conceptual framework for resilience: fundamental definitions, strategies and metrics

This page was built for publication: A formal framework for dependability and resilience from a software engineering perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692989)