CSCI 5828 |
Foundations of Software Engineering |
Course Location 1B 28 Course Time Tuesday and Thursday 11:00 AM - 12:15 PM Topics What's New (Home) Class Schedule Lectures Assignments Student Comments Contact Information Evaluation Criteria Status Reports What's New Archives January, 1999 February, 1999 March, 1999 |
CSCI 5828 Homework 4: Algebraic SpecificationsIn-Class Due Date: Lecture 24, April 8, 1999 CATECS Due Date: April 15, 1999 Format for Assignment: Plain ASCII text, in the body of an e-mail message AssignmentFor this assignment, you are to complete the algebraic specification for the abstract data type, shown below, by providing the axioms that define their semantics. One of the ADTs is a simple set, and the tricky part of the assignment will be defining the semantics for the operation remove. algebra SetOfItem imports Boolean, Integer;end SetOfItem |
© Ken Anderson, 1999.
Last Updated: 8/16/00; 2:45:57 PM