Course Notices | SENG2011 17s1

myExperience and consultations

Posted by Albert Nymeyer Tuesday 06 June 2017, 12:36:20 PM, last modified Tuesday 06 June 2017, 12:37:17 PM.

The school values your opinion, as I do, so please consider filling out the course survey (now called myExperience). Whoever gives the course next year will take your views into account. To encourage a high response rate, if at least 60% of you respond to the survey then I will give every student that has passed the course and is just one mark off the next grade a bonus mark. So someone with a raw mark of 64 will get a final mark of 65. Similarly for 74 and 84.

Finally, there is no official pre-exam consultation for this course, but I do welcome your emails.

Final examination preparation

Posted by Albert Nymeyer Monday 05 June 2017, 01:13:41 PM, last modified Monday 05 June 2017, 01:15:31 PM.

The final exam will be a 'standard' 2 hour paper, and is run strictly by the university, so you are not allowed to take anything into the examination room with you. You will be asked to provide written answers to a series of questions on the following topics: project management, predicate logic and Dafny programming. Answers should be provided in the space provided on the exam paper. There are 75 marks in total, about 50% of which are for the Dafny questions. Your score will be scaled to 25 final course marks. The project management questions relate to the lecture slides (but you might be pleased to hear that I will not ask you to construct a WBS). The predicate logic questions are similar to those in the first assignment (e.g. I'll give you a real-world situation and ask you to express that in predicate logic, or vice versa). The Dafny questions involve writing pre- and post-conditions, invariants and code. No question involves writing more than a few lines of Dafny. I wish you the very best of luck.

Project report and Dafny file submission

Posted by Albert Nymeyer Saturday 03 June 2017, 12:16:41 AM.

If you tried to submit your project report and Dafny files, but it didn't work, please try again. (I had an error in a script that I have now fixed.)

Assignment 2 deadline extension

Posted by Albert Nymeyer Tuesday 30 May 2017, 09:23:08 AM.

I have extended the due date for Assignment 2 by one day to Sunday morning 1am (4th June). I hope this takes some pressure off you.

Fine Food Finder presentation results

Posted by Albert Nymeyer Monday 29 May 2017, 09:47:39 PM.

You can find the mark your group received for the presentation by checking classrun. The distribution of marks was:

mark < 5 : 2 groups
5.0<=mark<6.5 : 4 groups
6.5<=mark<7.5 : 5 groups
7.5<=mark<8.5 : 5 groups
8.5<=mark<=9.5: 3 groups

A few groups were under-prepared for their talk, and were unable to clearly demonstrate the features of their system. I'm sure they will be disappointed. The best talks were impressive, particularly the group Llama, whose system munched its way to the highest mark of 9.5.

Reminder: At the end of the week the final report and the project contribution are due (and the assignment of course). The project contribution is where each member can say what he/she contributed to the project, and whether all members contributed equally. This will be taken into consideration in determining the final project management marks. Note, the final project management mark is an individual mark and not a group mark.

I will say something about the final examination paper later in the week.

SENG2011 Project Presentations

Posted by Albert Nymeyer Sunday 28 May 2017, 11:19:57 AM.

Below is a schedule for the presentations to be held on Monday of Week 13. I have allowed 5 minutes changeover time between talks. If all goes well, many of the talks should be able to start ahead of schedule, so the times I have given are hopefully pessimistic. If you do not like your scheduled time, you are welcome to swap with another group of course, but that is something you will need to arrange (preferably with the other group or your mentor). Please do not forget to fill out and hand to the assessor (almost certainly me) a copy of the 'script' just before you commence your talk.

09:15 Wombat
09:30 Falcon
09:45 Lion
10:00 Snail
10:15 Aardvark
10:30 Moose
10:45 Rabbit
11:00 Stingray
11:15 Armadillo
11:30 Dog
11:45 KFC
12:00 Turtle
12:15 Pangolin
12:30 Centipede
12:45 Mongoose
13:00 Llama
13:15 Taipan
13:30 Unicorn
13:45 Eagle

Good luck.

Assignment 1 results and Monday lecture

Posted by Albert Nymeyer Saturday 20 May 2017, 10:40:22 AM.

Just a reminder that there will be no lecture on Monday 22nd May. The material that was to be covered (queues) was handled in last week's lecture.

Furthermore, the results of Assignment 1 have been uploaded to classrun and is available for you to view. The distribution of results is as follows (the number of students for each range of marks):

mark < 5 : 3
5.0<=mark<6.5 : 15
6.5<=mark<7.5 : 21
7.5<=mark<8.5 : 21
8.5<=mark<9.75: 30
9.75=top mark : 3

These results are impressive.

System Report and Week 12 lecture

Posted by Albert Nymeyer Monday 15 May 2017, 03:10:02 PM.

The submission process and the deadline for the final System Report can be found on the Project link. As well as your report, you may submit any number of Dafny files (you should use the extension .dfy).

DafnyDigest E, discussed in this weeks lecture, was the last topic in the course. There will be no Week 12 lecture.

Presentations for the Project

Posted by Albert Nymeyer Friday 12 May 2017, 01:16:34 PM.

Two files have been added to the project directory on this website: Presentation README , which explains what the presentation is, and Presentation Script , which is a form you fill in that allows you to describe the scenarios that you will present on the day. The presentations will be held in Week 13, on Monday, 29th May in the lecture and tutorial timeslots. A detailed timetable will be sent closer to the date.

Assignment 2

Posted by Albert Nymeyer Wednesday 10 May 2017, 12:54:53 PM.

Assignment 2 has been posted on the SENG2011 website. Due date and submission guidelines can also be found.

Interim PM mark

Posted by Albert Nymeyer Tuesday 09 May 2017, 01:05:50 PM.

The interim SENG2011 project management marks have been finalised. Use the classrun command to view the mark your group received.

SENG2011 assignment submission

Posted by Albert Nymeyer Thursday 20 April 2017, 05:58:34 PM.

On the Assignment 1 page you'll find a link called 'Make submission' that will enable you to submit a pdf file containing your solutions to the exercises.

Assignment 1 caveat

Posted by Albert Nymeyer Friday 07 April 2017, 05:13:27 PM.

I've changed the text in the weakest precondition question in the assignment to make it clear that I want you to apply inference rules (and not just guess the wp). Regarding submission, I'm in the process of arranging electronic submission of pdf files.

Assignment 1

Posted by Albert Nymeyer Thursday 06 April 2017, 08:50:52 PM.

Assignment 1 is available. Please see "Assignments" in the left panel. The due date is 28th April.

Assessing your performance, reflecting the past, reporting the present and scheduling the future

Posted by Albert Nymeyer Monday 20 March 2017, 01:31:53 PM.

A number of links and pages have been added to the Project page:

assessment : how the project is assessed from the management and the deliverables perspectives. All-important stuff.
gitlab : various useful links.
System Report : a template listing the section headings you should use in this deliverable. You can use this document to manage the project from day one.
Student Reflections : a retrospective view of the PM from two groups in the 2016 course. You may learn something from this.

Having completed the list of requirements, groups should do a risk analysis and construct a WBS in week 4. Use the WBS to create an initial schedule listing tasks, and assign them to members. You should show your WBS and schedule to your mentor every week.

Finally, the lecture notes on requirements on the website have been improved.

Fine Food Finder Project

Posted by Albert Nymeyer Thursday 09 March 2017, 11:28:29 AM.

A mentor has been assigned to your group. In week 3 you will meet your group mentor for the first time. You should hear from him very soon announcing the time and place. On the Project page of this website you will find a description of the project, called Fine Food Finder . You can prepare for your mentor meeting by answering the questions included in the project description.

Are you in a group?

Posted by Albert Nymeyer Friday 03 March 2017, 11:42:38 PM.

If not, and you intend staying in the course, please email me so I can allocate you to a group.

Group mentor meeting times

Posted by Albert Nymeyer Friday 03 March 2017, 11:21:05 AM.

A weekly group mentor meeting is 1/2 hour long and all members of the group are required to attend, of course. Could a representative from each group please email me 3 possible times in the week when everyone is available, in order of preference, from the following available times. Each time denotes the start of a 1/2 time slot.

Mon 12:00 - 3:00pm
Tue 12:00 - 3:30pm
Wed 11:30 - 2:00pm
Fri 11:00 - 12:30pm
Fri 3:00 - 4:30pm

So, for example, a representative of the group quoll could send me the email

quoll: 1) Mon3 2) Tue2 3) Fri12:30

Don't forget to include the name of your group in the email. I'll set the meeting times as they come in, so first come first served.

welcome

Posted by Albert Nymeyer Tuesday 28 February 2017, 09:26:42 AM.

Welcome to the course. I hope you find the course interesting and challenging.

Important firstly is to form a project group of 5 members, which you can do by going to the Groups link on this website. Give yourselves a name (the name of an animal, one word only). If you are unable to form a group (of 5), just email me. I am compiling a list and will assign every name I have to a group by the end of the first week.

SENG2011 Notices

Notices