COMP4431 Game Design Workshop 对于游戏设计是否感兴趣，请问您想要了解什么方面呢？如何发明一款新的游戏？什么使游戏有趣？故事在游戏中扮演着什么角色？什么因素决定游戏的平衡性？ 这门课程旨在将数字媒体、传媒与通信以及计算机科学的学生聚集在一起，组成团队共同发明、设计原型并改进游戏。重点放在游戏玩法的设计上，而不涉及编程或图形方面。我们采用一个循序渐进的设计过程，其中包括原型制作和游戏测试。此外，我们还将邀请游戏行业的嘉宾进行讲座。
COMP4431 Game Design Workshop Read More »
COMP4161 S2/2014 Advanced Topics in Software Verification This take-home exam starts on Monday 10 Nov 2014, 08:00 am and is due on Tuesday 11 Nov 2014, 07:59 am. We will accept plain text files, PDF files, and Isabelle theory files (.thy); submission instructions are posted on the website http://www.cse.unsw.edu.au/∼cs4161/exam.html Many of the questions require you
COMP4161 Exam 2014 Read More »
COMP4161 T3/2022 Advanced Topics in Software Verification Assignment 3 This assignment starts on Tue, 8 Nov 2022 and is due on Fri, 18 Nov, 20:00h. We will accept Isabelle .thy files only. In addition to this PDF document, please refer to the provided Isabelle template for the definitions and lemma statements. The assignment is take-home.
COMP4161 T3/2022 Advanced Topics in Software Verification Assignment 1 This assignment starts on Tuesday 20th September 2022 and is due on Tuesday 27th September 2022 6pm. We will accept plain text (.txt) files, PDF (.pdf) files, and Isabelle theory (.thy) files. The assignment is take-home. This does NOT mean you can work in groups. Each
COMP4161 Advanced Topics in Software Verification Assignment 1 Read More »
COMP3601 Design Project A 作为一个嵌入式系统设计团队，你将参与各种项目，涉及整个嵌入式系统设计的生命周期。这包括软件/硬件代码设计、硬件选择过程、软件开发技术、硬件/软件集成和系统测试。团队伦理、设计伦理、知识产权保护和重用以及项目报告撰写也是需要考虑的重要因素。在工作中，你需要撰写项目报告以记录你的进展和发现。此外，良好的项目和团队管理对于成功执行嵌入式系统设计项目非常重要。
COMP3601 Design Project A Read More »
# COMP3311 23T1 Assignment 2 … Python helper functions # add any functions to share between Python scripts # Note: you must submit this file even if you add nothing to it def clean(s: str) -> str: Clean user input remove leading and trailing whitespace convert to title case (first letter of each word is
COMP3311 23T1 Assignment 2 … Python helper functions Read More »
Vivado Tutorial This tutorial demonstrates how to use Vivado to create, simulate, synthesis, and implement a hardware model (based on Vivado 2020.2 version). It consists of project creation, model simulation, design synthesis and implementation for a combinational logic model in VHDL. 1. Create a project To create a project, start Vivado from the Start menu
Vivado Tutorial VHDL Read More »
COMP3151 COMP9154 Foundations of Concurrency COMP3151 COMP9154 并发基础 并发 = 进程 + 通信。通过共享变量与消息传递进行通信。并发模型：真并发与交替执行。抽象化：原子性、锁与屏障、信号量、监视器、线程、远程过程调用、约会。典型问题：互斥、就餐哲学家、睡眠理发师、终止检测、N-体问题。实践工作：编程作业和证明程序的安全性与活跃性属性。 先修课：COMP1927 或 (COMP1521/DPST1092 和 COMP2521) 这门课程是关于并发程序的基本概念的，包括多线程、并行和分布式程序，以及用于实现或理解并发程序行为的关键抽象。将讨论在并发程序中出现的经典问题，并分析解决这些问题的方法。课程实践工作包括程序属性证明以及在并发编程语言（Java或其他适当的语言）中进行编程和模型检查。 首先，您需要成功完成核心编程、算法和离散数学课程。 本课程使用了许多离散数学的概念。如果您没有MATH1081或相等的离散数学背景，可能会发现课程非常困难。 成功完成本课程后，您将能够： – 设计和实现多线程、并行和分布式程序 – 可以讨论、写作和推理此类程序 – 理解这两个方面涉及的复杂性
COMP3141 Software System Design and Implementation COMP3141 软件系统设计与实现 概述 本课程将介绍软件系统开发中设计和实现阶段的严谨和形式化方法。同时还考虑设计的测试和重用。在可能的情况下，将使用可以辅助过程的软件工具。教材将通过案例研究的方式呈现，并要求学生完成一个项目。 报名条件 先修课程: COMP1927 或 COMP2521
COMP3153 COMP9153 Algorithmic Verification 概述 通过标准的软件工程实践，如代码审查、系统测试和良好的软件设计，单凭这些是几乎不可能保证系统的正确性和不存在漏洞的。形式方法社区已经发展出了各种严格的、数学上可靠的技术和工具，可以进行系统和软件的自动分析。这些完全自动的技术通常被称为算法验证。该课程将介绍几种自动验证技术，它们所基于的算法以及支持它们的工具。我们将讨论这些技术所应用的示例，并提供对多个工具的使用经验。 报名条件 先修课程：MATH1081