Latex: a document preparation system
Latex: a document preparation system
Specifications are not (necessarily) executable
Software Engineering Journal
The Z notation: a reference manual
The Z notation: a reference manual
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
The ethics of safety-critical systems
Communications of the ACM
Z: a formal specification notation
Software specification methods
An Introduction to Formal Specification and Z
An Introduction to Formal Specification and Z
Introductory Logic and Sets for Computing Scientists
Introductory Logic and Sets for Computing Scientists
High-Integrity System Specification and Design
High-Integrity System Specification and Design
IEEE Software
A Survey of Z Courses in the UK
Proceedings of the Fifth Annual Z User Meeting on Z User Workshop
An Approach to Animating Z Specifications
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
Support for teaching formal methods
ACM SIGCSE Bulletin
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
ACM SIGSOFT Software Engineering Notes
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
A property based specification formalism classification
Journal of Systems and Software
Hi-index | 0.00 |
This short paper describes experiences of presenting the formal Z notation on one and later two course modules to computer science undergraduates, especially with respect to providing supporting web-based resources and using tool support. The modules were part of a more general course unit on formal methods.