This document outlines the design of a mobile application allowing customers to check restaurant availability. The app utilizes GPS location, internet connectivity, and a search form to present users with restaurants matching their criteria within a specific proximity. It details preconditions for use, normal and alternative flow processes, exception handling for internet connectivity issues, and includes assumptions about user language proficiency.