Reading C (due Mon March 14)
PDFs of the readings can be downloaded from a private website to which students have access. Please note the submission instructions.
- J. M. Spivey. The
Z Notation: A Reference Manual. NY: Prentice Hall, 1988-2001.
Website: http://spivey.oriel.ox.ac.uk/~mike/zrm/ - Carroll Morgan. Specification Case Studies: Telephone Network. Ian Hayes (editor). Prentice Hall, 1987.
- J. Michael Spivey. Specifying a Real-Time Kernel. IEEE,
Sept. 1990.
Alternate to #3: Roger Gimson and Carroll Morgan. Specificiation Case Studies: The Role of Mathematics. Ian Hayes (editor). Prentice Hall, 1987. - Martin Fowler. Patterns for things that change with time. http://www.martinfowler.com/ap2/timeNarrative.html
Study Questions C
Be concise, clear, and thoughtful; a paragraph should suffice. Insight will be rewarded.
- In John Spivey's Z Reference Manual, what is meant by the term 'view'? Give an example other than the one he uses. (The term is first used at the bottom of page 2, but you will need to read more of the article to understand what Spivey is getting at.)
- In section 3.2.1 of Carroll Morgan's case study, how are implicit constraints being used in the definition of Call? That is, why does the given specification connect the caller to the recipient?
- Discuss which parts of Spivey's analysis lend themselves to
automation and which do not.
Alternate: Roger Gimson is obviously a fan of mathematical specification. What is the key idea or guiding philosophy he is trying to get across with his case study? - What does Martin Fowler mean by "multiple dimensions of time"? Give an example other than the one he uses.