Foundations of Software Engineering
Tuesday and Thursday
11:00 AM - 12:15 PM
What's New (Home)
What's New Archives
CSCI 5828 Homework 4: Algebraic Specifications
In-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
For 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.
imports Boolean, Integer;end SetOfItem
© Ken Anderson, 1999.
Last Updated: 8/16/00; 2:45:57 PM