A formal approach to adaptive software: continuous assurance of non-functional requirements

DOI10.1007/s00165-011-0207-2zbMath1259.68123OpenAlexW2028622255MaRDI QIDQ1941849

Antonio Filieri, Giordano Tamburrelli, Carlo Ghezzi

Publication date: 22 March 2013

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/33724

zbMATH Keywords

performanceverificationreliabilitymodelsMarkov modelsBayesian inferencemonitoringsoftware evolutionprobabilistic model checkingmodel-driven developmentnon-functional requirements(self)adaptive software

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PRISM
• MRMC
• JML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Interval-valued finite Markov chains
• A brief account of runtime verification
• Stochastic Model Checking
• A User-Oriented Software Reliability Model
• A model of large program development
• Architecture-based approach to reliability assessment of software systems
• Parameterization and Bayesian Modeling

This page was built for publication: A formal approach to adaptive software: continuous assurance of non-functional requirements