CSCI 5828

Foundations of Software Engineering

Course Location
   1B 28

Course Time
   Tuesday and Thursday
   11:00 AM - 12:15 PM

   What's New (Home)
   Class Schedule
   Student Comments
   Contact Information
   Evaluation Criteria
   Status Reports

What's New Archives
   January, 1999
   February, 1999
   March, 1999

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.

algebra SetOfItem

imports Boolean, Integer;
sorts Set, Item;
Create: -> Set;
Add: Set x Item -> Set;
Remove: Set x Item -> Set;
Has: Set x Item -> Boolean
IsEmpty: Set -> Boolean
Cardinality: Set -> Integer;
constrains Create, Add, Remove, Has, IsEmpty, Cardinality so that SetOfItem generated by [Create, Add]
for all [s : SetOfItem, i, j: Item]
end SetOfItem

© Ken Anderson, 1999.
Last Updated: 8/16/00; 2:45:57 PM