Assembling a prehistory for formal methods: a personal view

DOI10.1007/S00165-019-00494-ZzbMATH Open1427.68009OpenAlexW2975171881WikidataQ127208854 ScholiaQ127208854MaRDI QIDQ2280210FDOQ2280210

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A science of operations. Machines, logic and the invention of programming.
• Title not available (Why is that?)
• 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)