No Cover Image

Conference Paper/Proceeding/Abstract 102 views

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

Antonio Cerone Orcid Logo, Markus Roggenbach Orcid Logo, James Davenport, Casey Hopkins Orcid Logo, Marie Farrell, Magne Haveraaen, Faron Moller Orcid Logo, Philipp Körner, Sebastian Krings, Peter Csaba Ölveczky, Bernd-Holger Schlingloff, Nikolay Shilov, Rustam Zhumagambetov

Communications in Computer and Information Science, Pages: 1 - 26

Swansea University Authors: Markus Roggenbach Orcid Logo, Casey Hopkins Orcid Logo, Faron Moller Orcid Logo

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

Published in: Communications in Computer and Information Science
ISBN: 9783030713737 9783030713744
ISSN: 1865-0929 1865-0937
Published: Cham Springer International Publishing 2021
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa60461
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2022-07-26T13:50:52Z
last_indexed 2023-01-13T19:20:36Z
id cronfa60461
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-07-26T14:50:54.5785393</datestamp><bib-version>v2</bib-version><id>60461</id><entry>2022-07-12</entry><title>Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering &#x2014; A White Paper</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><author><sid>b53d8cbafcda09146b2b79c44be41425</sid><ORCID>0000-0003-0640-7728</ORCID><firstname>Casey</firstname><surname>Hopkins</surname><name>Casey Hopkins</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>bf25e0b52fe7c11c473cc48d306073f7</sid><ORCID>0000-0001-9535-8053</ORCID><firstname>Faron</firstname><surname>Moller</surname><name>Faron Moller</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-07-12</date><deptcode>SCS</deptcode><abstract/><type>Conference Paper/Proceeding/Abstract</type><journal>Communications in Computer and Information Science</journal><volume/><journalNumber/><paginationStart>1</paginationStart><paginationEnd>26</paginationEnd><publisher>Springer International Publishing</publisher><placeOfPublication>Cham</placeOfPublication><isbnPrint>9783030713737</isbnPrint><isbnElectronic>9783030713744</isbnElectronic><issnPrint>1865-0929</issnPrint><issnElectronic>1865-0937</issnElectronic><keywords/><publishedDay>11</publishedDay><publishedMonth>3</publishedMonth><publishedYear>2021</publishedYear><publishedDate>2021-03-11</publishedDate><doi>10.1007/978-3-030-71374-4_1</doi><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><funders/><projectreference/><lastEdited>2022-07-26T14:50:54.5785393</lastEdited><Created>2022-07-12T15:46:33.9616148</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>Antonio</firstname><surname>Cerone</surname><orcid>0000-0003-2691-5279</orcid><order>1</order></author><author><firstname>Markus</firstname><surname>Roggenbach</surname><orcid>0000-0002-3819-2787</orcid><order>2</order></author><author><firstname>James</firstname><surname>Davenport</surname><order>3</order></author><author><firstname>Casey</firstname><surname>Hopkins</surname><orcid>0000-0003-0640-7728</orcid><order>4</order></author><author><firstname>Marie</firstname><surname>Farrell</surname><order>5</order></author><author><firstname>Magne</firstname><surname>Haveraaen</surname><order>6</order></author><author><firstname>Faron</firstname><surname>Moller</surname><orcid>0000-0001-9535-8053</orcid><order>7</order></author><author><firstname>Philipp</firstname><surname>K&#xF6;rner</surname><order>8</order></author><author><firstname>Sebastian</firstname><surname>Krings</surname><order>9</order></author><author><firstname>Peter Csaba</firstname><surname>&#xD6;lveczky</surname><order>10</order></author><author><firstname>Bernd-Holger</firstname><surname>Schlingloff</surname><order>11</order></author><author><firstname>Nikolay</firstname><surname>Shilov</surname><order>12</order></author><author><firstname>Rustam</firstname><surname>Zhumagambetov</surname><order>13</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2022-07-26T14:50:54.5785393 v2 60461 2022-07-12 Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper 7733869ae501442da6926fac77cd155b 0000-0002-3819-2787 Markus Roggenbach Markus Roggenbach true false b53d8cbafcda09146b2b79c44be41425 0000-0003-0640-7728 Casey Hopkins Casey Hopkins true false bf25e0b52fe7c11c473cc48d306073f7 0000-0001-9535-8053 Faron Moller Faron Moller true false 2022-07-12 SCS Conference Paper/Proceeding/Abstract Communications in Computer and Information Science 1 26 Springer International Publishing Cham 9783030713737 9783030713744 1865-0929 1865-0937 11 3 2021 2021-03-11 10.1007/978-3-030-71374-4_1 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2022-07-26T14:50:54.5785393 2022-07-12T15:46:33.9616148 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Antonio Cerone 0000-0003-2691-5279 1 Markus Roggenbach 0000-0002-3819-2787 2 James Davenport 3 Casey Hopkins 0000-0003-0640-7728 4 Marie Farrell 5 Magne Haveraaen 6 Faron Moller 0000-0001-9535-8053 7 Philipp Körner 8 Sebastian Krings 9 Peter Csaba Ölveczky 10 Bernd-Holger Schlingloff 11 Nikolay Shilov 12 Rustam Zhumagambetov 13
title Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
spellingShingle Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
Markus Roggenbach
Casey Hopkins
Faron Moller
title_short Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
title_full Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
title_fullStr Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
title_full_unstemmed Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
title_sort Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper
author_id_str_mv 7733869ae501442da6926fac77cd155b
b53d8cbafcda09146b2b79c44be41425
bf25e0b52fe7c11c473cc48d306073f7
author_id_fullname_str_mv 7733869ae501442da6926fac77cd155b_***_Markus Roggenbach
b53d8cbafcda09146b2b79c44be41425_***_Casey Hopkins
bf25e0b52fe7c11c473cc48d306073f7_***_Faron Moller
author Markus Roggenbach
Casey Hopkins
Faron Moller
author2 Antonio Cerone
Markus Roggenbach
James Davenport
Casey Hopkins
Marie Farrell
Magne Haveraaen
Faron Moller
Philipp Körner
Sebastian Krings
Peter Csaba Ölveczky
Bernd-Holger Schlingloff
Nikolay Shilov
Rustam Zhumagambetov
format Conference Paper/Proceeding/Abstract
container_title Communications in Computer and Information Science
container_start_page 1
publishDate 2021
institution Swansea University
isbn 9783030713737
9783030713744
issn 1865-0929
1865-0937
doi_str_mv 10.1007/978-3-030-71374-4_1
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
document_store_str 0
active_str 0
published_date 2021-03-11T04:13:15Z
_version_ 1757053500375695360
score 10.928009