Software Reliability Prediction Based on a Formal Requirements Specification

DOI10.1007/978-3-540-89985-3_110zbMath1183.68188OpenAlexW1632014070MaRDI QIDQ3628616

Ayaz Isazadeh, Hooshmand Alipour

Publication date: 20 May 2009

Published in: Communications in Computer and Information Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89985-3_110

zbMATH Keywords

formal methodsoftware reliability modelsrequirement phase

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Statecharts: a visual formalism for complex systems

This page was built for publication: Software Reliability Prediction Based on a Formal Requirements Specification