COMP3141
COMP3141 Software System Design and Implementation COMP3141 软件系统设计与实现 概述 本课程将介绍软件系统开发中设计和实现阶段的严谨和形式化方法。同时还考虑设计的测试和重用。在可能的情况下，将使用可以辅助过程的软件工具。教材将通过案例研究的方式呈现，并要求学生完成一个项目。 报名条件 先修课程: COMP1927 或 COMP2521
COMP3141 23T1 Assignment 2
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
COMP3153 COMP9153 Algorithmic Verification 概述 通过标准的软件工程实践，如代码审查、系统测试和良好的软件设计，单凭这些是几乎不可能保证系统的正确性和不存在漏洞的。形式方法社区已经发展出了各种严格的、数学上可靠的技术和工具，可以进行系统和软件的自动分析。这些完全自动的技术通常被称为算法验证。该课程将介绍几种自动验证技术，它们所基于的算法以及支持它们的工具。我们将讨论这些技术所应用的示例，并提供对多个工具的使用经验。 报名条件 先修课程：MATH1081
COMP3141 23T2 Assignment 2
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 Programming Languages and Compilers COMP3131编程语言和编译器 这门课程重点介绍在虚拟机中实现编程语言所需要的基本编译技术（特别关注编译器前端）。通过使用Java编写一个将C语言变体转换为Java字节码的编译器，您还应该对面向对象编程语言中的重要基本原则有深入的理解，并进一步发展您的编程和软件工程技能。 先修课程：COMP2511或COMP2911
COMP3131 Programming Languages and Compilers Read More »
COMP3121 Algorithms and Programming Techniques
COMP3121 Algorithms and Programming Techniques 课程概述: 算法的正确性和效率。计算复杂度：时间和空间边界。最佳情况、最坏情况和平均情况的时间和空间分析技术。使用归纳、分治和贪心策略设计算法。排序和顺序统计量、树、图、矩阵的算法。难解性：P类、NP类和NP完全性、近似算法。 报名条件 先修课程：COMP1927或COMP2521。
COMP3121 Algorithms and Programming Techniques Read More »
COMP2111 System Modelling and Design assign1
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 »
COMP2111 assign2V5 System Modelling and Design
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 »
COMP2111 assign3
COMP2111 Assignment 3 Ken Robinson 16th April 2012 Name of assignment: ass3 Due date: 27th April 2012 Assessment: 15 marks Submission: give cs2111 ass3 Library.zip 1 Overview of assignment This assignment extends the tutorial example of a simple library (see 2.4.2). The extensions are: 1. addition of a borrowing limit; 2. addition of a reservation
COMP2111 assign4
COMP2111 Assignment 4 Ken Robinson 10th May 2012 Name of assignment: LiftController Assessment: 20 marks Submission: give cs2111 ass4 LiftController.zip Deadline: Friday June 1 (23:59:59) 1 Overview of assignment This assignment extends the lecture example of a simple lift controller, that you can extract from an archive (see 2.2). The archive contains: Lift ctx: the