markjgsmith

Linkblog

Formally modeling database migrations - Article that uses the Allow model checking software to model a database migration to ensure consistency between schemas, I'm hoping to get back to this at some stage when I have more timewww.hillelwayne.com #

For enquiries about my consulting, development, training and writing services, aswell as sponsorship opportunities contact me directly via email. More details about me here.