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 #
2019/10/11 #
Today’s links: