| Credit |
6 points |
| Availability |
Semester 1 (see Timetable) |
| Old unit code |
233.421 |
| Outcomes |
Students gain an understanding of the principles necessary to model complex concurrent systems; create models of such systems using appropriate formalisms; and gain an understanding of the role of such models for the design, analysis and understanding of complex concurrent systems. |
| Content |
Topics in this unit include modelling in computer science; the significance of concurrency; what a complex system is; why systems are complex; appropriate mathematical formalisms for modelling; establishing system correctness; correctness property specification; simulation; and managing system complexity. |
| Assessment |
This comprises practical assessment in the form of written assignments, a project or essay that demonstrate a student's depth of understanding.
Supplementary assessment is not available in this unit. |
| Location |
UWA (Crawley) |
| Mode |
on-campus |
| Unit Rules |
| Prerequisites: Students must be enrolled in honours or a higher degree by coursework in computer science and software engineering. |
Contact hours—lectures: 20 hrs
|
|
| Unit Outline | http://units.handbooks.uwa.edu.au/units/cits/cits7211 |
| Unit web page |
http://undergraduate.csse.uwa.edu.au/units/CITS7211
[Some unit web pages are still under construction and will be available in 2010.]
|
| Texts |
|
|
|
- The availability of units in Semester 1, 2, etc. was correct at the time of going to press but may be subject to change.
- Assistance with study skills, including English language skills, is available free of charge from Student Services for all enrolled students (see http://www.studentservices.uwa.edu.au/ss/learning). Student Services location: Second Floor, South Wing, Guild Village; telephone: 6488 2423.
- Books and other materials wherever listed may be subject to change. Book lists relating to 'Preliminary Reading', 'Recommended Reading' and 'Textbooks' are, in most cases, available at the University Co-operative Bookshop (from early January) and appropriate administrative offices for students to consult. For first-year units the Bookshop will endeavour to make available photocopies of book lists for individual units. Books marked with an asterisk (*) are available in paperback.
|
