Jaco Jacobs
Dr Jaco Jacobs
Interests
I am generally interested in the fusion of formal and semi-formal specification languages. In particular:
- the specification language Z
- the process algebra CSP
- the Systems Modeling Language
- the Unified Modeling Language
Teaching
I assist with the teaching on the following courses for the Software Engineering Programme:
- Safety Critical Systems
- Software Testing
- Object-Oriented Design
- Software Engineering Mathematics
- Specification and Design
In Michaelmas 2013 I was the college tutor at Keble College responsible for tutorials in Object Oriented Programming.
Biography
I gained an honours degree in Engineering Sciences from the University of Stellenbosch, South Africa. After a few years in industry I enrolled on the part-time Software Engineering Programme at the Department of Computer Science, University of Oxford and gained an MSc with distinction in 2010. I recently completed my DPhil and now work in the medical device industry at Perspectum Diagnostics.
Selected Publications
-
On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
J. Jacobs and A. C. Simpson
In International Journal on Software and Systems Modeling. 2016.
Details about On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks | BibTeX data for On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
-
A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
J. Jacobs and A. C. Simpson
In Proceedings of the 3rd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2014). Vol. ?? of Communications in Computer and Information Science. Pages ??−??. 2015.
Details about A Formal Model of SysML Blocks using CSP for Assured Systems Engineering | BibTeX data for A Formal Model of SysML Blocks using CSP for Assured Systems Engineering | Download (pdf) of A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
-
A Formal Refinement Framework for the Systems Modeling Language
J. Jacobs
PhD Thesis 2015.
Details about A Formal Refinement Framework for the Systems Modeling Language | BibTeX data for A Formal Refinement Framework for the Systems Modeling Language