Quality assurance of computing systems by formal development methods

MaRDI QIDQ2883012zbMATH OpenFDO

Authors Sergey Kovalev

Publication date 11 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

formal methodarchitecture description languagearchitectural connection

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• From “Formal Methods” to System Modeling
• scientific article; zbMATH DE number 1949580
• Overview of formal methods
• Mathematical approaches to software quality.
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)

Cited in

(6)

• scientific article; zbMATH DE number 2033425 (Why is no real title available?)
• Formalizing and Reasoning about Quality
• scientific article; zbMATH DE number 4172354 (Why is no real title available?)
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 47209 (Why is no real title available?)
• scientific article; zbMATH DE number 1931740 (Why is no real title available?)

This page was built for publication: Quality assurance of computing systems by formal development methods

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