@inproceedings{8c547e5e36374a6abb890b2515be50bb,
title = "Introducing formal methods through r{\^o}le-playing",
abstract = "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.",
author = "Neville Dean and Hinchey, {Michael G.}",
note = "Publisher Copyright: {\textcopyright} 1995 ACM.; 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995 ; Conference date: 02-03-1995 Through 04-03-1995",
year = "1995",
month = mar,
day = "15",
doi = "10.1145/199688.199831",
language = "English",
series = "Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995",
publisher = "Association for Computing Machinery, Inc",
pages = "302--306",
editor = "Miller, {James E.} and White, {Curt M.} and Judy Gersting and White, {Curt M.}",
booktitle = "Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995",
}