The Essence of Discrete Mathematics
The Essence of Discrete Mathematics
Applications of Formal Methods
Applications of Formal Methods
IEEE Software
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Seven More Myths of Formal Methods
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Formal Methods in the Railways Signalling Industry
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Validation of a Railway Interlocking Model
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A Formal Specification of an Automatic Train Protection System
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Role playing in an object-oriented world
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Integrating role-play into software engineering courses
Journal of Computing Sciences in Colleges
3-step knowledge transition: a case study on architecture evaluation
Proceedings of the 30th international conference on Software engineering
Another approach for resisting student resistance to formal methods
ACM SIGCSE Bulletin
Teaching Requirements Engineering to the Baháí Students in Iran who are Denied of Higher Education
REET '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Education and Training
Hi-index | 0.00 |
By acting as a client, the instructor in a formal methods course can interact with students to develop general attitudes and skills, particularly modeling skills. The students learn to appreciate that formal methods comprise a range of tools and ideas which can greatly enhance software development at all stages, especially in requirements capture. A realistic case study is used which does not depend on an over-simplified file processing system.