By Topic

A case study involving the use of Z to aid requirements specification in the software engineering course

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
P. Hasson ; Dept. of Math. & Comput. Sci., Saint Joseph's Univ., Philadelphia, PA, USA ; S. Cooper

Students often have a great deal of difficulty specifying their requirements as part of their team project in the software engineering class. Omissions, errors, and vagueness all lead to students having a much harder time in design, code, and test when these problems surface. We wanted to know whether using Z, to help teams further refine their specifications, would produce better specifications. We performed a case study of three different types of student projects, to help determine the advantages/disadvantages of using Z for requirements specification. We found certain decided advantages for some types of projects, and some significant drawbacks for others.

Published in:

Software Engineering Education and Training, 2004. Proceedings. 17th Conference on

Date of Conference:

1-3 March 2004