Support for teaching formal methods-Reference-Cited by-同舟云学术

Support for teaching formal methods

Published:2001-06 Issue:2 Volume:33 Page:71-88
ISSN:0097-8418
Container-title:ACM SIGCSE Bulletin
language:en
Short-container-title:SIGCSE Bull.

Author:

Almstrum Vicki L.¹,Dean C. Neville²,Goelman Don³,Hilburn Thomas B.⁴,Smith Jan⁵

Affiliation:

1. The University of Texas, Austin

2. Anglia Polytechnic University

3. Villanova University

4. Embry-Riddle Aeronautical Univ.

5. Chalmers University of Technology

Abstract

This report describes a growth path for the area referred to as formal methods within the computing education community. We define the term formal methods and situate it within our field by highlighting its role in Computing Curricula 1991, Computing Curricula 2001, and the SoftWare Engineering Body Of Knowledge (SWEBOK). The working group proposes an enhancement to an existing web resource, which is a rich collection of materials and links related to formal methods. The new resource is designed to provide a bridge between the general computing education community and the formal methods community. The goal is to allow the latter to provide useful support for the former for the ultimate benefit of all of our students. Eventually, the working group aspires to see the concepts of formal methods integrated seamlessly into the computing curriculum so that it is not necessary to separate them in our discussions.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/571922.571962

Reference46 articles.

1. Barjaktarovic M. and WetStone Technologies Inc. The State-of-the-Art in Formal Methods January 1998 available http://www.cs.utexas.edu/~csed/FM/docs/StateFM.pdf]] Barjaktarovic M. and WetStone Technologies Inc. The State-of-the-Art in Formal Methods January 1998 available http://www.cs.utexas.edu/~csed/FM/docs/StateFM.pdf]]

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Introducing Formal Methods via Program Derivation;Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education;2015-06-22

2. Another approach for resisting student resistance to formal methods;ACM SIGCSE Bulletin;2008-11-30

3. Teaching Formal Methods in Context;Teaching Formal Methods;2004

4. Striving for mathematical thinking;ACM SIGCSE Bulletin;2001-12