Note: Page under construction. The information here is preliminary. Information on when a given assignment is uploaded will be post in the News section.
There will be weekly meetings to discuss assignments, which may be done individually or in groups. Note that the assignments are mandatory. The assistant will give appropriate feedback on assignments. Students are encouraged to read and consider this feedback as part of their learning activities. In particular, feedback of "non-approved" assignments should be taken seriously and be used as a preparation for the exam (and eventual resubmission if required). Every week, there will be few hours dedicated to supervision of assignments where the course assistant will be available for questions regarding the assignments. This consultation will take place on Mondays and/or Wednesdays.Place: Supervision of assignments will take place at Lindholmen, Jupiter building. See the "Lectures" tab for the schedule and place.
Note: The course assistant will mostly be available at the beginning of the consultation meetings, and not necessarily be present during the whole session; so try to arrive early if you have questions about the assignments. The room is booked so you have a place where to discuss and work on the assignments.Required Software
You need to install the required tools for MBT (ModelJUnit and QuickCheck). More information will be given during the lectures.
For instructions on setting your environment for assignments 1 and 2, please follow the instructions given in the slides MBT_setting_JUnit_EclEmma.pdfWeekly Assignments Assignments will be posted in the Lectures tab (the lecture before the meeting with the course assistant as indicated int he lecture schedule) This page was updated Jan 31 2014, 16:04 .