Contents

Course Details

Course Code COMP3141
Course Title Software System Design and Implementation
Convenor Christine Rizkallah
Admin Curtis Millar
Classes Lectures : Online via Zoom streamed live to YouTube . Wednesdays at 4pm and Fridays at 12pm.
Consultations By request via email (cs3141@cse.unsw.edu.au) or class forum
Units of Credit 6
Course Website http://cse.unsw.edu.au/~cs3141/21T2/
Handbook Entry http://www.handbook.unsw.edu.au/undergraduate/courses/current/COMP3141.html

Course Summary

This course presents a variety of programming techniques that make use of semi-formal and formal methods for the design and implementation phases of real-world software system development. It introduces approaches to testing informed by formal designs, and it discusses trade-offs between static and dynamic approaches to improving software correctness. Throughout the course, the discussed methods are supported by software tools that assist in managing design, implementation, and testing. The course content is illustrated by weekly programming case studies and regular practical exercises. Central topics are the use of functional programming, logical properties and types to inform program design, implementation, validation, and verification. The course will introduces students to the strongly-typed Haskell programming language. No previous knowledge of Haskell is assumed.

As with any course which teaches a potentially unfamiliar language, this course involves a significant amount of programming, both during and outside of lectures.

Assumed Knowledge

You need to have successfully completed the core programming, algorithm, and software development courses. You should be a confident coder and be prepared to study the concepts of a new programming language in directed self-study.

The prerequisites of COMP3141 are COMP1927 or COMP2521, or a mark of at least 65 in COMP1921.

The course makes use of a number of discrete mathematics concepts. While it is possible to do well in the course without having done MATH1081 or COMP2111, familiarity with logic and set theory is valuable when studying COMP3141.

Student Learning Outcomes

After completing this course, you should

  1. be comfortable with using Haskell and functional programming to write practical software.
  2. be able to specify programs in terms of logical properties and functional correctness.
  3. distinguish and balance the trade-offs between static methods (such as formal methods and type systems) and dynamic methods (such as testing) in assisting software design and implementation.
  4. appropriately use types in program design, implementation, validation, and verification.
  5. be able to use a variety of tools based on formal specifications of logical properties.

The course gradually exposes students to a mathematically founded approach to specifying and implementing software systems. It develops basic skills required to engineer software with high confidence in the correctness of the final product. The whole course encourages critical examination and analysis of existing solutions.

Teaching Strategies

<dl><dt>Lectures</dt><dd>are live and interactive YouTube streams which introduce new concepts.</dd><dt>Practice Lectures</dt><dd>are live and interactive YouTube streams, where students will work with the lecturer to solve problems and develop homework solutions.</dd><dt>Weekly marked programming exercises</dt><dd>start in Week 2. There will be 7 exercises, including one art peer review assessment run from weeks 4 to 6. These exercises will reinforce the material discussed in the week's lecture.Students have approximately one week to submit a solution. Submitting solutions to the exercises is compulsory, and solutions will be automatically marked. Solutions to exercises will not be accepted late. Automarking results are binding. Exercises will generally not be manually remarked. There are no extensions to exercises, excepting special considerations. Solutions to the exercises will be discussed in the practice lectures lectures each week. Quizzes act as a forcing function requiring students to digest and comprehend the topics introduced each week. A total of 8 weekly marked quizzes will be made available, starting in Week 1. They will assess the theoretical lecture content for that week in a series of multiple choice questions, and will be due on the Friday of the following week. For example, the quiz for the Week 1 lectures will be due on the Friday of week 2. Students are encouraged to submit the quiz soon after the lectures for the week have concluded, as part of a weekly review. The quizzes are available on the course website. Students can submit as many times as they like up until the due date, however solutions are shown after the due date, so late submission of the quizzes will not be accepted. These quizzes are all automatically marked. In general, the difficulty of the quizzes is not indicative of any other component such as the exam. The quizzes help to consolidate lecture content, but sometimes the quiz questions will require some lateral thinking or referring to the lecture code, slides, or notes.</dd></dl> <dl><dt>Assignments</dt><dd>allow students to apply their skills to larger problems. There will be two practical assignments. Students will have between one and two weeks to understand each individual assignment and to develop a solution. Unless otherwise stated if you wish to submit an assignment late, you may do so, but a late penalty reducing the maximum available mark applies to every late assignment. The maximum available mark is reduced by 10% if the assignment is one day late, by 25% if it is 2 days late and by 50% if it is 3 days late. Assignments that are late 4 days or more will be awarded zero marks. So if your assignment is worth 88% and you submit it one day late you still get 88%, but if you submit it two days late you get 75%, three days late 50%, and four days late zero.</dd></dl>

Teaching Rationale

This is a course about programming and formal reasoning, and to develop both of these skills requires extensive practice. That is why we devote over half of the course — practice lectures, quizzes, assignments and exercises — to give students opportunities to put their skills into practice. This applied learning approach has proven to be very successful in achieving our desired graduate outcomes.

Student Conduct

The Student Code of Conduct ( Information , Policy ) sets out what the University expects from students as members of the UNSW community. As well as the learning, teaching and research environment, the University aims to provide an environment that enables students to achieve their full potential and to provide an experience consistent with the University's values and guiding principles. A condition of enrolment is that students inform themselves of the University's rules and policies affecting them, and conduct themselves accordingly.

In particular, students have the responsibility to observe standards of equity and respect in dealing with every member of the University community. This applies to all activities on UNSW premises and all external activities related to study and research. This includes behaviour in person as well as behaviour on social media, for example Facebook groups set up for the purpose of discussing UNSW courses or course work. Behaviour that is considered in breach of the Student Code Policy as discriminatory, sexually inappropriate, bullying, harassing, invading another's privacy or causing any person to fear for their personal safety is serious misconduct and can lead to severe penalties, including suspension or exclusion from UNSW.

If you have any concerns, you may raise them with your lecturer, or approach the School Ethics Officer , Grievance Officer , or one of the student representatives.

Plagiarism is defined as using the words or ideas of others and presenting them as your own. UNSW and CSE treat plagiarism as academic misconduct, which means that it carries penalties as severe as being excluded from further study at UNSW. There are several on-line sources to help you understand what plagiarism is and how it is dealt with at UNSW:

Make sure that you read and understand these. Ignorance is not accepted as an excuse for plagiarism. In particular, you are also responsible that your assignment files are not accessible by anyone but you by setting the correct permissions in your CSE directory and code repository, if using. Note also that plagiarism includes paying or asking another person to do a piece of work for you and then submitting it as your own work.

UNSW has an ongoing commitment to fostering a culture of learning informed by academic integrity. All UNSW staff and students have a responsibility to adhere to this principle of academic integrity. Plagiarism undermines academic integrity and is not tolerated at UNSW. Plagiarism at UNSW is defined as using the words or ideas of others and passing them off as your own.

If you haven't done so yet, please take the time to read the full text of

The pages below describe the policies and procedures in more detail:

You should also read the following page which describes your rights and responsibilities in the CSE context:

Assessment

Item Topics Due Marks Contributes to
Quizzes All topics Weeks 1,2,3,4,5,7,8,9 10% 1,2,3
Exercises All topics Weeks 2,3,4,5,7,8 20% 1,2,4,5
Assignment 1 Functional programming, combinators, property-based testing Week 5 10% 1,2,4,5
Assignment 2 Monads, GADTs Week 9 10% 1,2,4,5
Final Exam All topics Exam period 50% 2,3,4

Course Schedule

Week Lectures Assignments Quizzes Exercises
1 Course Overview, Functional Programming - Quiz 1
-
2 Data Types and Type Classes, Reasoning about Haskell - Quiz 2
Exercise 1
3 Property-based Testing and QuickCheck - Quiz 3 Exercise 2
4 Devising program properties - Quiz 4
Exercise 3
5 Controlling Effects, State Spaces, Errors Assignment 1 due
Quiz 5 Exercise 4
6 flexibility week
- - -
7 Applicative Functors and Monads - Quiz 6 Exercise 5
8 Rich types, GADTS Ass2 due Quiz 7
Exercise 6
9 Polymorphism and Parametricity, Type Theory Assignment 2 due
Quiz 8 -

Resources for Students

To suppliment the teaching of Monads, students will be required to read the blog post You Could Have Invented Monads! prior to the introduction of Monads in week 5.

There is no textbook for the course. As tutorial and reference for Haskell, you can use any of these books:

  • Thinking Functionally with Haskell, by Richard Bird, Cambridge University Press.
  • Haskell Programming From First Principles by Christopher Allen and Julie Moronuki, Gumroad.
  • Programming in Haskell, 2nd Edition by Graham Hutton, Cambridge University Press.
  • Real World Haskell by Bryan O'Sullivan, Don Stewart, and John Goerzen, O'Reilly Media.
  • Learn You a Haskell for Great Good! by Miran Lipovača, No Starch Press.

The last two books in this list are available as online ebooks for free.

We draw from the first book for course material, along with:

  • Data Refinement: Model-Oriented Proof Methods and their Comparison, by Kai Engelhardt and W.P. de Roever, Cambridge University Press

Although this text is not recommended for undergraduates.

Further reading material will be announced in the lecture and/or on the course web page.

In addition, the Learning Haskell tutorial is written by former lecturers of this course and covers the basics of Haskell programming necessary to get started in COMP3141.

Course Evaluation and Development

This course is evaluated each session using the myExperience system.

In the previous offering of this courses, students noted that the coverage of Monads was confusing as the motivation for them (effects) was presented afterwards. We are rearranging the order of this presentation this time to address that problem.

Other course feedback has been overwhelmingly positive.

Resource created Sunday 30 May 2021, 01:43:11 PM, last modified Wednesday 02 June 2021, 10:01:22 AM.


Back to top

COMP3141 21T2 (Software System Design and Implementation) is powered by WebCMS3
CRICOS Provider No. 00098G