DocumentCode
2397619
Title
Teaching formal methods in an undergraduate computer studies curriculum
Author
Ho, Hing-Cheung ; Chan, Yu-Wing
Author_Institution
City Polytech. of Hong Kong, Kowloon, Hong Kong
fYear
1994
fDate
22-25 Nov 1994
Firstpage
174
Lastpage
177
Abstract
This paper presents an outline of how formal methods is taught in an undergraduate Computer Studies curriculum. One of the major themes of study in the undergraduate Computer Studies programme is software engineering. We describe how formal methods is incorporated into this theme. Experience with teaching formal methods within the context of the programme is discussed, and possible future directions proposed
Keywords
computer science education; educational courses; formal specification; program verification; formal methods teaching; software engineering; undergraduate computer studies curriculum; Cities and towns; Computer science; Education; Engineering profession; Formal specifications; ISO standards; Information processing; Software engineering; Software quality; Standards publication;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Education Conference, 1994. Proceedings.
Conference_Location
Dunedin
Print_ISBN
0-8186-5870-3
Type
conf
DOI
10.1109/SEDC.1994.475333
Filename
475333
Link To Document