COMP3161/9164 22T3 Assignment 2 Type Inference for Polymorphic MinHS Version 2.1 Marks : 17.5% of the overall mark Due date: Sunday 20th November 2022, 11:59 PM Sydney time In this assignment you will implement a type inference pass for MinHS. The language used in this assignment differs from the language of the first assignment in […]
COMP3161 Assignment MinHS 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
COMP3141 Assignment 1 Deadline and submission The deadline for this assignment is Sunday the 2nd of July, 11:59:59 PM. Late submissions are accepted up to five days after the deadline, but at a penalty: 5% off your total mark per day. Submissions more than 5 days (120 hours) after the deadline are not accepted. We
COMP3141 23T1 Assignment 2 Read More »
COMP3153 COMP9153 Algorithmic Verification 概述 通过标准的软件工程实践，如代码审查、系统测试和良好的软件设计，单凭这些是几乎不可能保证系统的正确性和不存在漏洞的。形式方法社区已经发展出了各种严格的、数学上可靠的技术和工具，可以进行系统和软件的自动分析。这些完全自动的技术通常被称为算法验证。该课程将介绍几种自动验证技术，它们所基于的算法以及支持它们的工具。我们将讨论这些技术所应用的示例，并提供对多个工具的使用经验。 报名条件 先修课程：MATH1081
COMP3141 Assignment 2 Deadline and submission The deadline for this assignment is Friday the 4th of August, 11:59:59 PM. Late submissions are accepted up to five days after the deadline, but at a penalty: 5% off your total mark per day. Submissions more than 5 days (120 hours) after the deadline are not accepted. We
COMP3141 23T2 Assignment 2 Read More »
COMP3131 Programming Languages and Compilers COMP3131编程语言和编译器 这门课程重点介绍在虚拟机中实现编程语言所需要的基本编译技术（特别关注编译器前端）。通过使用Java编写一个将C语言变体转换为Java字节码的编译器，您还应该对面向对象编程语言中的重要基本原则有深入的理解，并进一步发展您的编程和软件工程技能。 先修课程：COMP2511或COMP2911
COMP3131 Programming Languages and Compilers Read More »
COMP3121 Algorithms and Programming Techniques 课程概述: 算法的正确性和效率。计算复杂度：时间和空间边界。最佳情况、最坏情况和平均情况的时间和空间分析技术。使用归纳、分治和贪心策略设计算法。排序和顺序统计量、树、图、矩阵的算法。难解性：P类、NP类和NP完全性、近似算法。 报名条件 先修课程：COMP1927或COMP2521。
COMP3121 Algorithms and Programming Techniques Read More »
B Assignment 1 Ken Robinson 26 February 2012 Name of assignment: ass1 Due date: March 4 2012 Assessment: 5 marks Submission: give cs2111 ass1 CoffeeClub.zip 1 Overview Important: please read This assignment is intended to help you become familiar with: • Event-B symbols, • using Rodin, • creating projects and machines, • entering information into
COMP2111 System Modelling and Design assign1 Read More »
Name of assignment Due date RailTicketR1 RailTicketR2 15 marks Assessment Submission: use either the web-based give: https://cgi.cse.unsw.edu.au/~give/Student/give.php?session=12s1 or the cse command give cs2111 ass2 RailTicket.zip Please do not submit the assignment as an email attachment. 1 Purpose of this assignment This assignment is concerned with: • use of context machines machine and SEES; • consolidation
COMP2111 assign2V5 System Modelling and Design Read More »