The role of concept, context, and component for dependable software development

DOI10.1007/978-3-642-11928-6_3MaRDI QIDQ3552279zbMATH OpenOpenAlexFDO

Authors Vasu S. Alagar, Mubarak Mohammad, K. Y. Wan

Publication date 14 April 2010

Published in Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11928-6_3

Mathematics Subject Classification ID

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

Recommendations

• A formal framework for dependability and resilience from a software engineering perspective
• scientific article; zbMATH DE number 1975554
• Research into safety component model framework of safety requirement-oriented
• Applications and Theory of Petri Nets 2004
• Architecture-based approach to reliability assessment of software systems

Cited in

(1)

• scientific article; zbMATH DE number 1975554 (Why is no real title available?)

This page was built for publication: The role of concept, context, and component for dependable software development

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