SE-381 Homework 3: Translating a Z Model to Code

Fall quarter 2003-2004

Dr. Mark J. Sebern


SE-381 main page

Introduction

The purpose of this exercise is to translate portions of a Z model into program code.

Assignment details

Introduction

This is a team (3-4 members) project; you may not do it as an individual.

This assignment is based on the requirements specification exercise completed as homework 2.

Activities

Perform the following activities:

  1. Start with the Z model developed for homework 2 or, if you prefer, with the sample solution discussed in class.
  2. Using the code skeleton discussed in class, implement in C++ at least the following operations:

    For extra credit, you may implement other parts of the elevator system specification.

  3. Add a section to your specification describing any observations on the assignment, difficulties you encountered, or questions that you still have.

Report

Your report should consist of the following:

The report is due before class on the day specified in the course schedule.

If you have questions about the assignment, please consult the instructor (in person or by email) as soon as possible.

Submit your report files using WebCT (it will allow you to submit separate files). Be sure to keep your own copy for safekeeping.


This page was last updated on Thursday, 20-Nov-2003 11:39:58 CST.

Copyright information