Software Reliability Prediction Based on a Formal Requirements Specification

DOI10.1007/978-3-540-89985-3_110MaRDI QIDQ3628616zbMATH OpenOpenAlexFDO

Authors Hooshmand Alipour, Ayaz Isazadeh

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 methodrequirement phasesoftware reliability models

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Early software reliability prediction. A fuzzy logic approach
• Statistical software reliability prediction and its applicability based on mean time between failures
• Status and research of software reliability models
• Software reliability modeling. Fundamentals and applications
• scientific article; zbMATH DE number 3913663

Cites work

• Statecharts: a visual formalism for complex systems

Cited in

(3)

• Data-driven software reliability and availability modeling and prediction
• Predictive software
• Combining the requirement information for software defect estimation in design time

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

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