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

Abstract

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… (More)
DOI: 10.1109/CSEE.2004.1276515

Topics

Cite this paper

@article{Hasson2004ACS, title={A case study involving the use of Z to aid requirements specification in the software engineering course}, author={Patricia Hasson and Stephen Cooper}, journal={17th Conference on Software Engineering Education and Training, 2004. Proceedings.}, year={2004}, pages={84-89} }