The simulated working environment in a project-based software engineering course
Computers & Education
The Z notation: a reference manual
The Z notation: a reference manual
An industry approach to the software engineering course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A project-intensive software design course
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
Towards more formalism in software engineering education
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
LATEX (2nd ed.): a document preparation system: user's guide and reference manual
LATEX (2nd ed.): a document preparation system: user's guide and reference manual
Team dynamics in student programming projects
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
The Science of Programming
A Discipline of Programming
| Hi-index | 0.00 |
This paper reports on a two-course sequence for undergraduate students that provides them with an intensive course in formal specification methods and a traditional software design course. The specification course provides an appreciation for the use of rigorous specification methods within the software lifecycle. The manual nature of developing a formal specification provides the appropriate justification for the projects in the software design course in which the students create useful tools to aid the development of a formal specification. Within the project course, the students developed the first prototype of a graphical editor for building Z specifications. We discuss the building of the editing tool and its integration into the software engineering curriculum.