Principled Software Development