Quality assurance of computing systems by formal development methods

zbMATH Open1249.68031MaRDI QIDQ2883012FDOQ2883012

Authors: Sergey Kovalev 

Publication date: 11 May 2012

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

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)

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalizing and Reasoning about Quality
• FM 2005: Formal Methods
• Title not available (Why is that?)

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)