Book chapter 433 views
Origins and Development of Formal Methods
John Tucker 
Texts in Theoretical Computer Science. An EATCS Series, Pages: 455 - 488
Swansea University Author:
John Tucker
Full text not available from this repository: check for access using links below.
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...
| 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 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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. |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
455 |
| End Page: |
488 |