Deloitte
6 位校友岗位:Graduate Program · Graduate Consulting · Platform Engineer · Web developer · Platform engineer
CSSE7100
计算机软件工程
2 学分难度 超难👥 1 人学过
Software is written with the intention that it will carry out a desired task. To write such software requires algorithmic problem solving skills; and to do so correctly requires us to make precise the task at hand, and to be able to reason that an implementation satisfies the task's precise requirements. This advanced course on programming introduces structured, formal methods for: specifying the desired behaviour of programs, showing that programs are correct with respect to their specifications, and deriving algorithms from specifications. These techniques are designed to assist developers to solve programming problems, and to produce high quality software.
Syllabus
每周大纲
- 1
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 1; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 2
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 2; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 3
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 3; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 4
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 4; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 5
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 5; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 6
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 6; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 7
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 7; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 8
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 8; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 9
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 9; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 10
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 10; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 11
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 11; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
- 12
Lectures / Checkpoint quiz
No separate week-by-week topic is publicly listed for Week 12; official repeated teaching activities are shown below: - Lecture: Lectures - Lectures will be used to introduce new course content. Learning outcomes: L01, L02, L03, L04, L05, L06 - Not Timetabled: Checkpoint quiz - A checkpoint quiz will provide early progress feedback to students. This will be administered online in week 4, and should be used by students to gauge progress prior to the census date. Learning outcomes: L01, L02, L03 Official timetable activities: - Lecture | Mon 12:00 | 120 mins | 50-T105 Hawken Engineering Building, Learning Theatre - Lecture | Tue 08:00 | 60 mins | 11A-110/111 ModWest, Joint Collaborative Room - Tutorial | Tue 10:00 | 60 mins | 46-371 Andrew N. Liveris Building, Collaborative Room Source: 2026 S1 UQ Course Profile - https://course-profiles.uq.edu.au/course-profiles/CSSE7100-21268-7620
Assessment
考核结构
Assignment 1
Official due date: 30/03/2026 1:00 pm. Source: 2026 S1 UQ Course Profile.
10%
Assignment 2
Official due date: 5/05/2026 1:00 pm. Source: 2026 S1 UQ Course Profile.
15%
Assignment 3
Official due date: 25/05/2026 1:00 pm. Source: 2026 S1 UQ Course Profile.
15%
Final exam Hurdle Identity Verified In-personHurdle
Official due date: End of Semester Exam Period 6/06/2026 - 20/06/2026. Source: 2026 S1 UQ Course Profile.
60%
From Seniors
学长留下的
基础信息谁都查得到,真正值钱的是过来人的经验。
学姐说
比你早一年的学长留下的真实经验 —— ChatGPT 给不了。
这门课还没有学长经验,你可以是第一个 —— 注册后在课内分享。
往年考点 / 踩坑
这门课暂无往年考点记录。
毕业生去向(整体)
下面是匠人学院毕业生整体去过的公司分布(来自脱敏校友证言)。这是全平台的总体去向,不代表选这门课的人一定去这些公司。
统计自 313 份脱敏校友证言
Zerologix
4 位校友岗位:Frontend Dev · junior frontend developer · Front-end Developer · Full Stack Developer
Servian
4 位校友岗位:Full-stack Developer · Data Engineer · Consultant
关于这块数据,我们说实话
雇主墙来自脱敏毕业生证言（testimonials）的整体分布，无法关联到具体学员或其所选课程；仅作为毕业生去向的总体社会证明展示。
我们没有"某位学长选了这门课、后来进了哪家公司"这种可查询的个人去向档案 —— 校友证言是脱敏的,无法关联到具体的人或他选过的课。所以这里只给整体分布,不给个人路径,不编。