Highlights
The goal of this assignment is to assess your understanding of class and unit testing, syntax-based testing, and Alloy modelling.
• The assignment contributes 35% towards your final mark this semester and is to be completed as individual work. It is marked out of 35.
• The deadline for this assignment is 23:59 pm, Sunday 31st May.
• The assignment is to be done individually.
• Submit your assignment as either one zipped file, or multiple individual files, using cssubmit. Please do not use other archive file formats (e.g. 7z, .dmg, .rar, .sqx).
• Your submission should contain a PDF report containing answers to questions 1–2, plus an Alloy “.als” file with your answer to question 3.
• You are expected to have read and understood the University Guidelines on Academic Conduct. In accordance with this policy, you may discuss with other students the general principles required to understand this project, but the work you submit must be the result of your own effort.
• You must submit your project before the submission deadline above. There are significant Penalties for Late Submission (click the link for details).
You are part of the software development team for Exron, a power generation company. Specifically, you work in the trade division, which trades in the energy resources market (electricity, gas, and carbon emissions).
The company trades in these commodities just as investors might trade in shares or futures – for example, a power producer (company A) could agree on a contract with another company (company B) to provide 500 Megawatts-hours for a given price in 10 months’ time; and company B can sell its rights under the contract on the commodities market. Your company can buy and sell contracts in order to ensure it has enough supply for customers, or to make profit from excess supply.
Your team has been tasked with developing a new interface to the company’s existing trading systems, which will allow traders to specify transactions to make using a specially-designed programming language (that is, a domain-specific language).
This CITS5501: IT Assignment has been solved by our IT Experts at My Uni Paper. Our Assignment Writing Experts are efficient to provide a fresh solution to this question. We are serving more than 10000+ Students in Australia, UK & US by helping them to score HD in their academics. Our Experts are well trained to follow all marking rubrics & referencing style.
Be it a used or new solution, the quality of the work submitted by our assignment experts remains unhampered. You may continue to expect the same or even better quality with the used and new assignment solution files respectively. There’s one thing to be noticed that you could choose one between the two and acquire an HD either way. You could choose a new assignment solution file to get yourself an exclusive, plagiarism (with free Turnitin file), expert quality assignment or order an old solution file that was considered worthy of the highest distinction.
© Copyright 2026 My Uni Papers – Student Hustle Made Hassle Free. All rights reserved.