Pinnacles of software engineering: 25 years of formal methods

DOI10.1023/A:1018983515535MaRDI QIDQ1859528zbMATH OpenOpenAlexFDO

Authors Dines Bjørner

Publication date 19 February 2003

Published in Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1018983515535

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99) History of computer science (68-03)

Recommendations

• 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
• 40 years of formal methods. Some obstacles and some possibilities?
• VDM '90. VDM and Z - formal methods in software development. 3rd international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990. Proceedings
• scientific article; zbMATH DE number 2161254
• Software engineering 1. Abstraction and modelling.

Cited in

(4)

• 40 years of formal methods. Some obstacles and some possibilities?
• scientific article; zbMATH DE number 483965 (Why is no real title available?)
• scientific article; zbMATH DE number 1722942 (Why is no real title available?)
• On formal and cognitive semantics for semantic computing

Describes a project that uses

Uses Software

• CoFI

This page was built for publication: Pinnacles of software engineering: 25 years of formal methods

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