Formal Analysis in Requirements Specification

Let us say we want to build a small appointment booking app for a salon. A product manager might write, Build a salon appointment booking app where customers can book appointments with stylists. Stylists must be able to set their own schedules, and all appointments must be within their schedule.