Search Results - Software Engineering and Formal Methods*

Study
International
Research
Business
Alumni
News & Events
Support & Wellbeing

Swansea University's Research Repository

0 items
English
Cymraeg

Advanced
Browse the Catalogue
Options

Search: Software Engineering and Formal Methods*

Search: **'Software Engineering and Formal Methods*'**

Showing 1 - 19 of 19 query time: 0.05s

Sort

Search Tools: Get RSS Feed

Select Page | with selected:

Book

Formal Methods for Software Engineering / Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Swansea University Author: Markus Roggenbach
Published in Texts in Theoretical Computer Science. An EATCS Series (2022)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper / Antonio Cerone, James Davenport, Marie Farrell, Magne Haveraaen, Philipp Körner, et al

Swansea University Authors: Markus Roggenbach, Casey Hopkins, Faron Moller
Published in Communications in Computer and Information Science (2021)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Book

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, et al

Swansea University Author: Troy Astarte
Published in Lecture Notes in Computer Science (2020)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

E-Thesis

Institution-based Semantics and Tool Support for the UML / TOBIAS ROSENBERGER

Swansea University Author: TOBIAS ROSENBERGER
Published 2023

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Book chapter

Origins and Development of Formal Methods / John Tucker

Swansea University Author: John Tucker
Published in Texts in Theoretical Computer Science. An EATCS Series (2022)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

E-Thesis

Show Me How It's Wrong: Counterexample Visualisation in Static Railway Verification / Victor Cai

Swansea University Author: Victor Cai
Published 2024

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Speci?cation-Based Testing for Software Product Lines / Temesghen Kahsai, Bernd-Holger Schlingloff

Swansea University Author: Markus Roggenbach
Published in Software Engineering and Formal Methods, 2008. SEFM '08. Sixth IEEE International Conference on (2008)

In collection: Faculty of Science and Engineering

Show QR Code

Book chapter

Programming language description languages: From Christopher Strachey to semantics online / Peter Mosses

Swansea University Author: Peter Mosses
Published 2010

In collection: Faculty of Science and Engineering

Show QR Code

Conference Paper/Proceeding/Abstract

Verification of Scheme Plans Using CSP || B / Philip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, et al

Swansea University Author: Phillip James
Published in Software Engineering and Formal Methods (2014)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Book chapter

Verification of Scheme Plans Using CSP || B / Philip James, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne, et al

Swansea University Authors: Hoang Nguyen, Faron Moller
Published in Software Engineering and Formal Methods (2014)

In collection: Faculty of Science and Engineering

Show QR Code

Edited book

The Handbook of Formal Methods in Human-Computer Interaction / Benjamin Weyers, Judy Bowen, Philippe Palanque

Swansea University Author: Alan Dix
Published 2017

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Book chapter

Teaching Them Early: Formal Methods in School / Faron Moller, Liam O'Reilly, Stewart Powell, Casey Hopkins

Swansea University Authors: Faron Moller, Liam O'Reilly, Stewart Powell, Casey Hopkins
Published in Communications in Computer and Information Science (2021)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Book chapter

Verification of Solid State Interlocking Programs / Phillip James, Andy Lawrence, Markus Roggenbach, Anton Setzer, Karim Kanso, et al

Swansea University Authors: Faron Moller, Monika Seisenberger
Published in Software Engineering and Formal Methods (2014)

In collection: Faculty of Science and Engineering

Show QR Code

Conference Paper/Proceeding/Abstract

Verification of Solid State Interlocking Programs / Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Karim Kanso, et al

Swansea University Authors: Phillip James, Anton Setzer
Published in Software Engineering and Formal Methods (2014)

Download now

Show QR Code

Journal article

Safer User Interfaces: A Case Study in Improving Number Entry / Harold Thimbleby

Swansea University Author: Harold Thimbleby
Published in IEEE Transactions on Software Engineering (2015)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Evaluation of Fungal Volatile Organic Compounds for Control the Plant Parasitic Nematode Meloidogyne incognita / Pasqua Veronico, Nicola Sasanelli, Alberto Troccoli, Arben Myrta, Audun Midthassel

Swansea University Author: Tariq Butt
Published in Plants

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Book

On the Construction of Engineering Handbooks / Stefan Gruner, Apurva Kumar, Tom Maibaum

Swansea University Author: Markus Roggenbach
Published in SpringerBriefs in Computer Science (2020)

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Teaching Them Early: Formal Methods in School / Faron Moller, Liam O'Reilly, Stewart Powell, Casey Hopkins

Swansea University Authors: Faron Moller, Liam O'Reilly, Stewart Powell, Casey Hopkins
Published in International Workshop on Formal Methods - Fun for Everybody FMFun 2019: Formal Methods – Fun for Everybody (2021)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code