Foundations of Software Engineering
Tuesday and Thursday
11:00 AM - 12:15 PM
What's New (Home)
CSCI 5828 Homework 4: Algebraic Specifications
In-Class Due Date: Lecture 15, March 7, 2000
CATECS Due Date: March 14, 2000
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. Note: Has returns TRUE if the given set contains the given item. Cardinality returns the number of elements contained within the set. An empty set contains zero elements.
imports Boolean, Integer;end SetOfItem
© Ken Anderson, 2000.
Last Updated: 8/16/00; 2:45:41 PM