Validating application design against specifications