Formal methods in computer technologies

DOI10.1007/BF02667006MaRDI QIDQ1288672zbMATH OpenOpenAlexFDO

Authors I. N. Parasyuk, I. V. Sergienko, A. I. Provotar'

Publication date 16 May 1999

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02667006

zbMATH Keywords

software reliability

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Overview of formal methods
• 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)
• Formal methods of analysis of system properties
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker
• Formal methods: Importance, experience, and comparative analysis

Cites work

• scientific article; zbMATH DE number 3839930 (Why is no real title available?)
• scientific article; zbMATH DE number 46653 (Why is no real title available?)
• scientific article; zbMATH DE number 194217 (Why is no real title available?)
• A methodology of structured-modular composition programming
• Algebraic-logical model of an information retrieval system with an interface component

Cited in

(9)

• scientific article; zbMATH DE number 2086491 (Why is no real title available?)
• scientific article; zbMATH DE number 795668 (Why is no real title available?)
• On the formalization of semantic conventions
• Overview of formal methods
• Representation theorems in computer science. A treatment in logic engineering
• Using categorical methods in computer science
• scientific article; zbMATH DE number 5722463 (Why is no real title available?)
• scientific article; zbMATH DE number 1380218 (Why is no real title available?)
• scientific article; zbMATH DE number 46979 (Why is no real title available?)

This page was built for publication: Formal methods in computer technologies

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