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
performanceverificationreliabilitymodelsMarkov modelsBayesian inferencemonitoringsoftware evolutionprobabilistic model checkingmodel-driven developmentnon-functional requirements(self)adaptive software
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
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