Formal Methods -- SE304/CS407 -- Lab 8

Continuous Assessment Results

Come over to me at any point during today's lab for your results-to-date. Today's lab will also be included in your continuous assessment marks. Next week's lab is for revision, and the following week will be an optional lab-exam (worth 40% of your continuous assessment mark if you take it).

Hidden Sorts

• Develop modules called Admin and Student.
• They should be based on the classes described in the first lab.
• You do not have to develop behavioural equations for the operators you declare.
• The attributes of a class are declared by declaring the "get" method for the attribute. (See today's lecture.)

Revision

Read over each of the labs again. Try to answer the questions. If you have any questions about the labs, ask a demonstrator.

To hand up:

• Modules Admin and Student.

This must be handed up by the end of today's lab.

Home