Z with LyX

Z (pronounced as zed) is a formal specification language used to describe and model complex computing system. I’ve been reading about it for some time and I am much fascinated by its abstraction and elegance. I’m really keen to practice Z but before I can adopt the notation in my work, I need to make sure…

DocBook XML on OSX

I have written some technical documentations using DocBook XML and then published them as HTML. You can find my previous post about DocBook Publishing and the technical documentations here. My site was hacked one or two years ago. The worst thing was that I did not have a backup copy of the HTML. The DocBook…