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

DOI10.2478/S13537-011-0025-XzbMATH Open1253.68094OpenAlexW2058065315WikidataQ114948507 ScholiaQ114948507MaRDI QIDQ692989FDOQ692989

Authors: Nicolas Guelfi 

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

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

zbMATH Keywords

resiliencesoftware engineeringformalizationconceptual frameworkdependabilitymodel driven engineering

Mathematics Subject Classification ID

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

Cites Work

• Statecharts: a visual formalism for complex systems
• Software Product Line Engineering
• Title not available (Why is that?)
• Petri nets and algebraic specifications
• A measurement-based framework for software reliability improvement
• AlPiNA: A Symbolic Model Checker
• Software Engineering of Fault Tolerant Systems
• Title not available (Why is that?)
• A formal framework for dependability and resilience from a software engineering perspective

Cited In (2)

• A formal framework for dependability and resilience from a software engineering perspective
• The role of concept, context, and component for dependable software development

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)