Mathematical approaches to software quality.

MaRDI QIDQ5476866zbMATH OpenFDO

Authors Gerard O'Regan

Publication date 19 July 2006

zbMATH Keywords

Cleanroom approachformal methodssoftware engineeringUMLVDMZ

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2107183
• scientific article; zbMATH DE number 2026069
• scientific article; zbMATH DE number 53194
• scientific article; zbMATH DE number 2221545
• Software reliability assessment with OR applications.

Cited in

(13)

• Improving the semantics of the software cost reduction method
• Quality assurance of computing systems by formal development methods
• Computational Intelligence in Software Quality Assurance
• Practical Formal Software Engineering
• scientific article; zbMATH DE number 49520 (Why is no real title available?)
• scientific article; zbMATH DE number 54321 (Why is no real title available?)
• scientific article; zbMATH DE number 52955 (Why is no real title available?)
• scientific article; zbMATH DE number 1977275 (Why is no real title available?)
• scientific article; zbMATH DE number 2107183 (Why is no real title available?)
• scientific article; zbMATH DE number 2221545 (Why is no real title available?)
• scientific article; zbMATH DE number 2223195 (Why is no real title available?)
• Mathematical foundations of software engineering. A practical guide to essentials
• High-level modelling for typed functional programming

This page was built for publication: Mathematical approaches to software quality.

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