Greg O'Keefe: Publications and other Writings
Modelling
Improving the Definition of UML
pdf bibtex
SpringerLink
presentation slides pdf
Proceedings of Model Driven Engineering Languages and Systems
(MoDELS) 2006, Springer LNCS 4199, Pages 42-56.
Dynamic Logic for UML Consistency
pdf bibtex
SpringerLink
presentation slides pdf
Proceedings of the European Conference on Model Driven Engineering
(ECMDA-FA) 2006, Springer LNCS 4066, Pages 113-127.
Logic
Lecture slides and other materials for the Introduction to Formal Logic course I taught several times at Macquarie University.
Formalised Maths
Towards a Readable Formalisation of Category Theory
pdf
ps.gz
bibtex
Proceedings of Computing: The Australasian Theory Symposium
(CATS) 2004, pp 212-228, Vol. 91 Electronic Notes in
Theoretical Computer Science, Elsevier.
For Isabelle/HOL sources and formal text of the above,
see Category Theory to Yoneda's Lemma in the
Archive of Formal Proofs.
Topologies and Closures are Equivalent pdf
An Isabelle/HOL/Isar development
that closely follows part of a basic topology text
Also, the upward closed sets of a preorder are a topology
pdf
Maths
My Honours thesis on Inconsistent Maths .ps .pdf
Some Category Theory Homework
Equivalence of Categories is an Equivalence Relation
Horizontal Composition of Natural Transformations
Computing
From Power Up to Bash Prompt is a Linux HOWTO I
wrote, and it's high time I updated it.
This stuff is brought to you by
Greg O'Keefe
Last updated 15 January 2008