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
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;
Conference_Titel :
Software Education Conference, 1994. Proceedings.
Conference_Location :
Dunedin
Print_ISBN :
0-8186-5870-3
DOI :
10.1109/SEDC.1994.475333
