As a Software Engineering consultant, your task is to develop a formal specification in Z for the following proposed system: Wheat Truck Control System (WTC)
A new computerized system is to be developed for the storage and handling of accounts for wheat farmers and truck deliveries to Mahsroh Wheat Board silos. Detailed below are the major objects to be considered in the system: silos, ships, trucks and farmers.
This system could be quite complicated. However, to simplify the system for this assignment we will be content to include the following in our proposed system: