No Cover Image

Book 997 views 40 downloads

Formal Methods for Software Engineering

Markus Roggenbach Orcid Logo, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Texts in Theoretical Computer Science. An EATCS Series

Swansea University Author: Markus Roggenbach Orcid Logo

  • Chapter1.FormalMethods.p1-46.pdf

    PDF | Accepted Manuscript

    © 2022 © Springer Nature Switzerland AG 2022. Chapter 1 released with permission.

    Download (1.15MB)

Check full text

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

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/cronfa58713
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2022-07-13T08:29:32Z
last_indexed 2023-01-11T14:39:30Z
id cronfa58713
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>58713</id><entry>2021-11-19</entry><title>Formal Methods for Software Engineering</title><swanseaauthors><author><sid>7733869ae501442da6926fac77cd155b</sid><ORCID>0000-0002-3819-2787</ORCID><firstname>Markus</firstname><surname>Roggenbach</surname><name>Markus Roggenbach</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2021-11-19</date><deptcode>MACS</deptcode><abstract/><type>Book</type><journal>Texts in Theoretical Computer Science. An EATCS Series</journal><volume/><journalNumber/><paginationStart/><paginationEnd/><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030387990</isbnPrint><isbnElectronic>9783030388003</isbnElectronic><issnPrint>1862-4499</issnPrint><issnElectronic>1862-4502</issnElectronic><keywords>Formal Methods, Logic, Software Engineering, Process Algebras, CSP, Algebraic Specification, CASL, Verification</keywords><publishedDay>1</publishedDay><publishedMonth>7</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-07-01</publishedDate><doi>10.1007/978-3-030-38800-3</doi><url>http://dx.doi.org/10.1007/978-3-030-38800-3</url><notes>With a foreword by Manfred Broy and a contribution on the origins and development of Formal Methods by John V. Tucker</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>2024-07-10T11:13:50.1006300</lastEdited><Created>2021-11-19T17:35:51.9239515</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>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>1</order></author><author><firstname>Antonio</firstname><surname>Cerone</surname><order>2</order></author><author><firstname>Bernd-Holger</firstname><surname>Schlingloff</surname><order>3</order></author><author><firstname>Gerardo</firstname><surname>Schneider</surname><order>4</order></author><author><firstname>Siraj Ahmed</firstname><surname>Shaikh</surname><order>5</order></author></authors><documents><document><filename>58713__21877__8d0f1ec6787a45b6b0bdf633bd8094fb.pdf</filename><originalFilename>Chapter1.FormalMethods.p1-46.pdf</originalFilename><uploaded>2021-12-13T15:16:25.8978255</uploaded><type>Output</type><contentLength>1201599</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><embargoDate>2024-07-01T00:00:00.0000000</embargoDate><documentNotes>© 2022 © Springer Nature Switzerland AG 2022. Chapter 1 released with permission.</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language></document></documents><OutputDurs/></rfc1807>
spelling v2 58713 2021-11-19 Formal Methods for Software Engineering 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false 2021-11-19 MACS Book Texts in Theoretical Computer Science. An EATCS Series Springer International Publishing Cham 9783030387990 9783030388003 1862-4499 1862-4502 Formal Methods, Logic, Software Engineering, Process Algebras, CSP, Algebraic Specification, CASL, Verification 1 7 2022 2022-07-01 10.1007/978-3-030-38800-3 http://dx.doi.org/10.1007/978-3-030-38800-3 With a foreword by Manfred Broy and a contribution on the origins and development of Formal Methods by John V. Tucker COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University 2024-07-10T11:13:50.1006300 2021-11-19T17:35:51.9239515 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Markus Roggenbach 0000-0002-3819-2787 1 Antonio Cerone 2 Bernd-Holger Schlingloff 3 Gerardo Schneider 4 Siraj Ahmed Shaikh 5 58713__21877__8d0f1ec6787a45b6b0bdf633bd8094fb.pdf Chapter1.FormalMethods.p1-46.pdf 2021-12-13T15:16:25.8978255 Output 1201599 application/pdf Accepted Manuscript true 2024-07-01T00:00:00.0000000 © 2022 © Springer Nature Switzerland AG 2022. Chapter 1 released with permission. true eng
title Formal Methods for Software Engineering
spellingShingle Formal Methods for Software Engineering
Markus Roggenbach
title_short Formal Methods for Software Engineering
title_full Formal Methods for Software Engineering
title_fullStr Formal Methods for Software Engineering
title_full_unstemmed Formal Methods for Software Engineering
title_sort Formal Methods for Software Engineering
author_id_str_mv 7733869ae501442da6926fac77cd155b
author_id_fullname_str_mv 7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
author Markus Roggenbach
author2 Markus Roggenbach
Antonio Cerone
Bernd-Holger Schlingloff
Gerardo Schneider
Siraj Ahmed Shaikh
format Book
container_title Texts in Theoretical Computer Science. An EATCS Series
publishDate 2022
institution Swansea University
isbn 9783030387990
9783030388003
issn 1862-4499
1862-4502
doi_str_mv 10.1007/978-3-030-38800-3
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
document_store_str 1
active_str 0
published_date 2022-07-01T11:13:49Z
_version_ 1804186607682584576
score 11.037603

Similar Items