, Lecture Introduction
Semester 1, 2022
©The University of Melbourne
SWEN90004 (2022) Introduction 1 / 13
Copyright By PowCoder代写 加微信 powcoder
Modelling Complex Software Systems
Introduction
Modelling Complex Software Systems
What is a system?
SWEN90004 (2022) Introduction 2 / 13
Modelling Complex Software Systems
What is a software system?
SWEN90004 (2022) Introduction 3 / 13
Modelling Complex Software Systems
What is a complex system?
SWEN90004 (2022) Introduction 4 / 13
Modelling Complex Software Systems
What is a model?
SWEN90004 (2022) Introduction 5 / 13
Subject aims
The main aims of the subject are for students to understand:
the usefulness of abstraction for thinking and communicating about complex systems
the use of mathematical theories and notations to model and analyse complex software systems (particularly concurrent systems); and
the use of software models to explore the behavior of and understand complex real world systems.
SWEN90004 (2022) Introduction
Subject aims
Concurrency and processes (Weeks 1–2; Java)
Formal models of concurrent systems I (Weeks 3–5; FSP and LTL)
Cellular automata and agent-based models (Weeks 6–10; NetLogo)
Formal models of concurrent systems II (Weeks 11–12; Petri nets)
SWEN90004 (2022) Introduction 7 / 13
Subject staff
Lecturers:
(Weeks 1–5):
(Weeks 6–12):
My Tien Hinh
SWEN90004 (2022) Introduction 8 / 13
LMS: http://www.lms.unimelb.edu.au/ announcements
lecture slides and notes tutorial exercises assignments
discussion board (Ed)
further reading and resources
SWEN90004 (2022) Introduction 9 / 13
Contact hours
Lectures: 2 hours per week
11:05–11:55 Monday PAR-Elec. Engineering-106 (Brown Room) 10:05–10:55 Friday PAR- -104 ( )
Tutorials: 1 hour per week (starting week 2)
Worksheets will be made available for each tutorial (on LMS). You should attempt these exercises before arriving at the tutorial. Keeping up with these exercises is essential to ensure you have the skills needed to complete the assignments and do well in the exam.
SWEN90004 (2022) Introduction
Please feel free to ask questions in class!
Outside of class, our strong preference is to answer questions on the LMS discussion board (Ed). If you have a question, probably other students also have that question too. This way all students benefit.
If you ask me questions about subject content by email, we will post (anonymised) versions of these questions, and my response, to the LMS discussion board. However, I will answer questions posted directly to the discussion board more quickly.
We will each run an (online) consultation hour during the weeks that we are lecturing. Times for these will be advised shortly.
SWEN90004 (2022) Introduction 11 / 13
Assumed background
An understanding of discrete mathematics, especially logic. A solid understanding of algorithms and data structures. Practical experience with Java (but not concurrency!)
SWEN90004 (2022) Introduction 12 / 13
Assessment
Assignment 1: implement and model a concurrent system; worth 20%. Assignment 2: replicate a complex model in Java/Python; worth 20%. Exam: a three-hour end-of-semester examination; worth 60%
The following is the algorithm for determining the final mark:
def finalMark(assignment1, assignment2, exam): if (assignment1 + assignment2 < 20):
result = NH # hurdle failure. elif: (exam < 30):
result = NH # hurdle failure. else:
result = assignment1 + assignment2 + exam return result
ie, to pass, you must receive 20/40 for assignments and 30/60 for the exam!
SWEN90004 (2022) Introduction
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com