Assembling a prehistory for formal methods: a personal view

DOI10.1007/S00165-019-00494-ZMaRDI QIDQ2280210zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Haigh

Publication date 18 December 2019

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-019-00494-z

zbMATH Keywords

formal methodshistory

Mathematics Subject Classification ID

History of computer science (68-03) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Recommendations

• Formal methods. An appetizer
• scientific article; zbMATH DE number 1497771
• Formal methods: The very idea some thoughts about why they work when they work
• Formal methods: Importance, experience, and comparative analysis

Cites work

• scientific article; zbMATH DE number 2127501 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3660783 (Why is no real title available?)
• scientific article; zbMATH DE number 3787985 (Why is no real title available?)
• scientific article; zbMATH DE number 3607958 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)
• A science of operations. Machines, logic and the invention of programming.
• Advanced course on software engineering
• The dawn of software engineering: from Turing to Dijkstra. Edited by Kurt De Grave. Including interviews with Tony Hoare, Barbara Liskov, Niklaus Wirth, and Peter Naur

This page was built for publication: Assembling a prehistory for formal methods: a personal view

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