No Cover Image

Book chapter 443 views

Origins and Development of Formal Methods

John Tucker Orcid Logo

Texts in Theoretical Computer Science. An EATCS Series, Pages: 455 - 488

Swansea University Author: John Tucker Orcid Logo

Full text not available from this repository: check for access using links below.

Check full text

DOI (Published version): 10.1007/978-3-030-38800-3_9

Abstract

This chapter offers an historical perspective on the development of Formal Methods for software engineering. It surveys some of the problems and solution methods that have shaped and become our theoretical understanding and practical capability for making software. Starting in the 1950s, the history...

Full description

Published in: Texts in Theoretical Computer Science. An EATCS Series
ISBN: 9783030387990 9783030388003
ISSN: 1862-4499 1862-4502
Published: Cham Springer International Publishing 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa61560
first_indexed 2023-05-22T14:20:28Z
last_indexed 2024-11-14T12:19:18Z
id cronfa61560
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2023-05-22T15:20:30.2079160</datestamp><bib-version>v2</bib-version><id>61560</id><entry>2022-10-15</entry><title>Origins and Development of Formal Methods</title><swanseaauthors><author><sid>431b3060563ed44cc68c7056ece2f85e</sid><ORCID>0000-0003-4689-8760</ORCID><firstname>John</firstname><surname>Tucker</surname><name>John Tucker</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-10-15</date><deptcode>MACS</deptcode><abstract>This chapter offers an historical perspective on the development of Formal Methods for software engineering. It surveys some of the problems and solution methods that have shaped and become our theoretical understanding and practical capability for making software. Starting in the 1950s, the history is organised by the topics of programming, data, reasoning, and concurrency, and concludes with a selection of notes on application areas relevant to the book. Although the account emphasizes some contributions and neglects others, it provides a starting point for studying the development of the challenging and ongoing enterprise that is software engineering.</abstract><type>Book chapter</type><journal>Texts in Theoretical Computer Science. An EATCS Series</journal><volume/><journalNumber/><paginationStart>455</paginationStart><paginationEnd>488</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030387990</isbnPrint><isbnElectronic>9783030388003</isbnElectronic><issnPrint>1862-4499</issnPrint><issnElectronic>1862-4502</issnElectronic><keywords/><publishedDay>1</publishedDay><publishedMonth>1</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-01-01</publishedDate><doi>10.1007/978-3-030-38800-3_9</doi><url>http://dx.doi.org/10.1007/978-3-030-38800-3_9</url><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2023-05-22T15:20:30.2079160</lastEdited><Created>2022-10-15T18:58:12.1938398</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>John</firstname><surname>Tucker</surname><orcid>0000-0003-4689-8760</orcid><order>1</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2023-05-22T15:20:30.2079160 v2 61560 2022-10-15 Origins and Development of Formal Methods 431b3060563ed44cc68c7056ece2f85e 0000-0003-4689-8760 John Tucker John Tucker true false 2022-10-15 MACS This chapter offers an historical perspective on the development of Formal Methods for software engineering. It surveys some of the problems and solution methods that have shaped and become our theoretical understanding and practical capability for making software. Starting in the 1950s, the history is organised by the topics of programming, data, reasoning, and concurrency, and concludes with a selection of notes on application areas relevant to the book. Although the account emphasizes some contributions and neglects others, it provides a starting point for studying the development of the challenging and ongoing enterprise that is software engineering. Book chapter Texts in Theoretical Computer Science. An EATCS Series 455 488 Springer International Publishing Cham 9783030387990 9783030388003 1862-4499 1862-4502 1 1 2022 2022-01-01 10.1007/978-3-030-38800-3_9 http://dx.doi.org/10.1007/978-3-030-38800-3_9 COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2023-05-22T15:20:30.2079160 2022-10-15T18:58:12.1938398 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science John Tucker 0000-0003-4689-8760 1
title Origins and Development of Formal Methods
spellingShingle Origins and Development of Formal Methods
John Tucker
title_short Origins and Development of Formal Methods
title_full Origins and Development of Formal Methods
title_fullStr Origins and Development of Formal Methods
title_full_unstemmed Origins and Development of Formal Methods
title_sort Origins and Development of Formal Methods
author_id_str_mv 431b3060563ed44cc68c7056ece2f85e
author_id_fullname_str_mv 431b3060563ed44cc68c7056ece2f85e_***_John Tucker
author John Tucker
author2 John Tucker
format Book chapter
container_title Texts in Theoretical Computer Science. An EATCS Series
container_start_page 455
publishDate 2022
institution Swansea University
isbn 9783030387990
9783030388003
issn 1862-4499
1862-4502
doi_str_mv 10.1007/978-3-030-38800-3_9
publisher Springer International Publishing
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url http://dx.doi.org/10.1007/978-3-030-38800-3_9
document_store_str 0
active_str 0
description This chapter offers an historical perspective on the development of Formal Methods for software engineering. It surveys some of the problems and solution methods that have shaped and become our theoretical understanding and practical capability for making software. Starting in the 1950s, the history is organised by the topics of programming, data, reasoning, and concurrency, and concludes with a selection of notes on application areas relevant to the book. Although the account emphasizes some contributions and neglects others, it provides a starting point for studying the development of the challenging and ongoing enterprise that is software engineering.
published_date 2022-01-01T02:33:15Z
_version_ 1821371054999732224
score 11.04748

Similar Items