This paper circulates around the core theme of As a Software Engineering consultant, your task is to develop a formal specification in Z for the following proposed system: together with its essential aspects. It has been reviewed and purchased by the majority of students thus, this paper is rated 4.8 out of 5 points by the students. In addition to this, the price of this paper commences from £ 144. To get this paper written from the scratch, order this assignment now. 100% confidential, 100% plagiarism-free.
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 Mahroh 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: Silos