Dependability modeling and analysis of software systems specified with UML

DOI10.1145/2379776.2379778MaRDI QIDQ2875090zbMATH OpenOpenAlexFDO

Authors Simona Bernardi, José Merseguer, Dorina C. Petriu

Publication date 13 August 2014

Published in ACM Computing Surveys (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2379776.2379778

zbMATH Keywords

availabilitydependability analysismaintainabilitymodel transformationsafety

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Dependability analysis of DES based on MARTE and UML state machines models
• Quantitative Analysis of UML Statechart Models of Dependable Systems
• Formal dependability modeling and analysis: a survey
• scientific article; zbMATH DE number 1424153
• scientific article; zbMATH DE number 2033528

Cited in

(3)

• Formal dependability modeling and analysis: a survey
• Dependability analysis of DES based on MARTE and UML state machines models
• Quantitative Analysis of UML Statechart Models of Dependable Systems

This page was built for publication: Dependability modeling and analysis of software systems specified with UML

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