Chapter Applications for registration and formal requirements 4Applications 5Formal requirements Chapter