SE 3M04 T1 2003
Assignment 5
- Due: Friday October 17, 23:00 through WebCT
- Goals:
- Specifications for the
project
- Details:
- Using the SRS from assignment 4, continue to fill in
Section 4 (the
functional requirements) according to the updated details in the
project description.
- For assignment 5, the only required items are that the
elements of the module guide for assignment 4 that deal with
the 'model' part of the project be filled-in to be formal
specifications. For all services of that module (and all of
its sub-modules), a complete formal signature (prototype) for each
function is required. It is expected that many 'services'
will actually require more than one function for a proper
implementation.
You can choose to use either
- logic and/or algebraic specifications
(see sections 5.6.2 and 5.6.3 of the textbook, as well as
section 5.7). In particular, each such module should
contain at least one formula which documents an invariant
of the behaviour of that (sub)module. An example
invariant would be "producer X always produces
≥ 0 and ≤ MAX KW of power" [adjust MAX as appropriate].
Also important are formulas that relate various functions within
a module, like many of the specifications reviewed in class
on the book slides.
- state-based MIS, as per the courseware. Section 3.3
covers the basics, Chapter 5, 6 and 7, comprising
over 60 pages, are essentially all examples that can be
followed. Warning: some of the examples are older and
use a slightly different notation; this is troublesome
but should not present any essential difficulties.
- The project description along with
assignements 2, 3, and 4 provide all the necessary information
you need to
complete this assignment successfully. Any information you do not
have but is required, you are to make up [ie deduce
from other information, or invent it, as necessary].
- Deliverables:
- One Word document "MUSS ID".doc containing
your SRS with section 4 filled in as above
- A plain text file, log.txt, containing a log of
what you did; most important for this assignment is logging
all conversations (or lack thereof) about this assignment you
had with other students, TAs, the prof, etc.
Back to main page