CIS 376 Assignment 4

Fall 2014

     Your fourth assignment will give you an opportunity to work with formal software engineering methods. For your term project, you need to write a formal specification for your software product. You may work with a partner if you are working with a partner on the term project.

     You will need to create a complete set of UML diagrams (class, use case, sequence, collaboration, state, activity, component, deployment) for your term project. You will need to write algebraic specifications for each data structure or object used in your program. You are to write formal specifications for each ordinary function, procedure, or method used in your design. You will need to formally prove the correctness of one of the algorithms defined as a function, procedure, or method.

     This assignment is due the week of November 24th. Your assignment write-up should include a brief overview of the software product, the algebraic specifications for the data structures and objects, the formal specifications for your algorithms, one algorithm correctness proof, and a set of UML diagrams.

Assigned: 11/05/14

Date due: 11/26/14