Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum

Authors:
Jeannette M. Wing
Affiliations:
-
Venue:
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Year:
2000

Citing 4
Cited 2

Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
LCLint: a tool for using specifications to check code

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Model checking

Model checking
The Science of Programming

The Science of Programming

Formal Logic as a Learning Facilitation Tool

ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
Using domain-independent problems for introducing formal methods

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

We can integrate formal methods into an existing undergraduate curriculum by focusing on teaching their common conceptual elements and by using state of the art formal methods tools. Common elements include state machines, invariants, abstraction mappings, composition, induction, specification, and verification. Tools include model checkers and specification checkers. By introducing and regularly revisiting the concepts throughout the entire curriculum and by using the tools for homework assignments and class projects, we may be able to attain the ideal goal of having computer scientists use formal methods without their even realizing it.