No Title


CSE503, Software Engineering
Spring 1996
D. Notkin
Assignment #2
10 April 1996
Due: 17 April 1996

  1. Write a Statecharts-like specification of the microwave oven on the 4th floor of Sieg Hall. You may select a reasonable subset of the functions provided.

    Briefly discuss what is easy and what is hard to specify for this example using this approach.

  2. Specify a Wing's library system (based on one by Kemmerer) using a Z-like language. This library database has the following transactions:
  3. Check out a copy of a book.
  4. Return a copy of a book.
  5. Add a copy of a book to the library.
  6. Remove a copy of a book from the library.
  7. Get the list of books by a particular author or in a particular subject area.
  8. Find out the list of books currently checked out by a particular borrower.

    9. You must ensure that:

  9. All copies in the library must be available for check-out or be checked out.
  10. No copy of a book may be both availalable and checked out at the same time.
  11. A borrower may not have more than a predefined number of books checked out at one time.

    12. Briefly discuss what is easy and what is hard to specify for this example using this approach.