Managing the software process
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Communications of the ACM
Software inspection process
Experience with Formal Methods in Critical Systems
IEEE Software
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Capability Maturity Model, Version 1.1
IEEE Software
Process Improvement and the Corporate Balance Sheet
IEEE Software
Process-Oriented Software Education
IEEE Software
The Integration of Software Engineering into a Computer Science Curriculum
Proceedings of the 8th SEI CSEE Conference on Software Engineering Education
A proposal for introducing model checking into an undergraduate software engineering curriculum
Journal of Computing Sciences in Colleges
Peer testing in Software Engineering Projects
ACE '04 Proceedings of the Sixth Australasian Conference on Computing Education - Volume 30
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation
ITiCSE '09 Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education
ICSE'05 Proceedings of the 2005 international conference on Software Engineering Education in the Modern Age
| Hi-index | 0.00 |
This paper describes a student peer review process that has been incorporated within an introductory course in formal methods. As a course project, a team of students develops a formal specification of the requirements for a software system. The final part of the project involves the inspection of the specification by another team of student reviewers. The paper presents a rationale for including inspections as part of a formal methods course. It provides a detailed description of the inspection process and reports on the application of the process to a specific class project. Finally, the paper assesses the results of the use of such a paradigm and discusses how to improve it.