Introducing formal methods through role-playing

Neville Dean; Michael G. Hinchey

doi:10.1145/199691.199831

Introducing formal methods through role-playing

Neville Dean
, Michael G. Hinchey

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	302-306
Number of pages	5
Journal	ACM SIGCSE Bulletin
Volume	27
Issue number	1
DOIs	https://doi.org/10.1145/199691.199831
Publication status	Published - 15 Mar 1995
Externally published	Yes

Access to Document

10.1145/199691.199831

Cite this

@article{e03ba162c847498eaf282079949c324c,

title = "Introducing formal methods through role-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.\}",

year = "1995",

month = mar,

day = "15",

doi = "10.1145/199691.199831",

language = "English",

volume = "27",

pages = "302--306",

journal = "ACM SIGCSE Bulletin",

issn = "0097-8418",

number = "1",

}

TY - JOUR

T1 - Introducing formal methods through role-playing

AU - Dean, Neville

AU - Hinchey, Michael G.

PY - 1995/3/15

Y1 - 1995/3/15

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84976718619

U2 - 10.1145/199691.199831

DO - 10.1145/199691.199831

M3 - Article

AN - SCOPUS:84976718619

SN - 0097-8418

VL - 27

SP - 302

EP - 306

JO - ACM SIGCSE Bulletin

JF - ACM SIGCSE Bulletin

IS - 1

ER -

Introducing formal methods through role-playing

Abstract

Access to Document

Other files and links

Fingerprint

Cite this