CRICOS Provider No. 00103D ITECH7410 Assig 2 Sem 1 2017 Page 1 of 7
Software Engineering Methodologies
Assignment 2 Group Assignment - (Groups of 2- 3)
Specification of a System - Wheat Truck Control System (WTC)
As a Software Engineering consultant, your task is to develop a formal specification in Z for
the proposed system described below. You will present your work to show that your system
does work and answer questions about the system specification your group has developed.
Timelines and Expectations
Percentage Value of Task: 20%
Due: Friday, September 29, 2017 - 17:00 (Week 11)
Minimum time expectation: 10 hours
Learning Outcomes Assessed
S1. Critically analyse and use complex decision making to research and determine the
appropriate Software Engineering tools and methodologies to utilize in a given situation.
S2. Apply professional communication skills to support and manage the engineering of a
large software system.
S3. Review, critically analyse and develop artefacts to define processes for quality
assurance, risk management and communication in large software development projects.
S4. Implement quality assurance activities in order to verify user requirements and validate
A1. Analysis of a large system development problem to decide upon the best
A2. Development of appropriate artefacts to support and manage the software engineering
process such as change control and configuration [url removed, login to view] Provider No. 00103D ITECH7410 Assig 2 Sem 1 2017-07 Page 2 of 7
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:
The Board currently has ten (10) wheat silos around the country but the system must be
written to seamlessly handle at least twice that number. Each silo has a unique name and
storage capacity (in tonnes) that must be stored in the proposed system. In addition the