E-LIB Suche - Ergebnisse für: Moller, Faron

1

OnTrack: Reflecting on domain specific formal methods for r..:

James, Phillip ; Moller, Faron ; Pantekis, Filippos
Science of Computer Programming. 233 (2024) - p. 103057 , 2024

Link: https://doi.org/10.1016/..

2

Incorporating Generative AI into Software Development Educa..:

, In: Proceedings of the 8th Conference on Computing Education Practice,

Petrovska, Olga ; Clift, Lee ; Moller, Faron. - p. 37-40 , 2024

Link: https://dl.acm.org/doi/1..

3

Institute of Coding in Wales Digital Skills Bootcamps – Mic..:

, In: Proceedings of the 8th Conference on Computing Education Practice,

Hopkins, Casey ; Moller, Faron - p. 21-24 , 2024

Link: https://dl.acm.org/doi/1..

4

Software Model Checking of Interlocking Programs:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,

James, Phillip ; Moller, Faron ; Roggenbach, Markus - p. 130-146 , 2023

Link: https://doi.org/10.1007/..

5

Institute of Coding in Wales Digital Skills Bootcamps - A M..:

, In: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research,

Hopkins, Casey ; Moller, Faron ; Robert, Laura - p. 1 ff. , 2023

Link: https://dl.acm.org/doi/1..

6

Technocamps: Highlighting 20 Years of Transforming Digital ..:

, In: Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2,

Crick, Tom ; Moller, Faron - p. 670 ff. , 2023

Link: https://dl.acm.org/doi/1..

7

Proceedings of the 2023 Conference on United Kingdom & Irel..:

Astarte, Troy ; Moller, Faron ; Quille, Keith. , 2023

Link: https://dl.acm.org/doi/1..

8

Digital Outreach via Theatre Productions:

, In: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research,

Moller, Faron ; Styles, Geinor ; Clement, Luke - p. 1 ff. , 2023

Link: https://dl.acm.org/doi/1..

9

From Asymptomatics to Zombies: Visualization-Based Educatio..:

, In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems,

Mcneill, Graham ; Sondag, Max ; Powell, Stewart... - p. 1-17 , 2023

Link: https://dl.acm.org/doi/1..

10

Generative AI in Software Development Education: Insights f..:

, In: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research,

Petrovska, Olga ; Clift, Lee ; Moller, Faron - p. 1 ff. , 2023

Link: https://dl.acm.org/doi/1..

11

Technocamps: 30 Years of Digital Education and Professional..:

, In: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research,

Moller, Faron - p. 1 ff. , 2023

Link: https://dl.acm.org/doi/1..

12

Teaching Them Early: Formal Methods in School:

, In: Communications in Computer and Information Science; Formal Methods – Fun for Everybody,

Moller, Faron ; O'Reilly, Liam ; Powell, Stewart. - p. 173-190 , 2021

Link: https://doi.org/10.1007/..

13

Rooting Formal Methods Within Higher Education Curricula fo..:

, In: Communications in Computer and Information Science; Formal Methods – Fun for Everybody,

Cerone, Antonio ; Roggenbach, Markus ; Davenport, James... - p. 1-26 , 2021

Link: https://doi.org/10.1007/..

14

Visualising Railway Safety Verification:

, In: Communications in Computer and Information Science; Formal Techniques for Safety-Critical Systems,

Pantekis, Filippos ; James, Phillip ; O'Reilly, Liam.. - p. 95-105 , 2020

Link: https://doi.org/10.1007/..

15

Hands-on Security Testing in a University Lab Environment:

, In: Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education,

James, Phillip ; Powell, Lauren ; O'Reilly, Liam. - p. 68-74 , 2020

Link: https://dl.acm.org/doi/1..