A proposal for introducing model checking into an undergraduate software engineering curriculum

Authors:
Hong Liu;David P. Gluch
Affiliations:
Embry-Riddle Aeronautical University, 600, S. Clyde Morris Blvd, Daytona Beach, Fl;Embry-Riddle Aeronautical University, 600, S. Clyde Morris Blvd, Daytona Beach, Fl
Venue:
Journal of Computing Sciences in Colleges
Year:
2002

Citing 5
Cited 2

Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Inspections of formal specifications

SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
The relevance of software education: A survey and some recommendations

Annals of Software Engineering - Special issue on software engineering education
Software quality: a curriculum postscript?

Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Symbolic Model Checking

Symbolic Model Checking

Templates and automation for temporal query generation

Proceedings of the 44th annual Southeast regional conference
A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity

ICCS 2009 Proceedings of the 9th International Conference on Computational Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model checking is a new pragmatic technology in formal methods. This paper presents a rationale and proposal for introducing model checking into an undergraduate software engineering curriculum. Supported by experiences in teaching model checking in a graduate program, we discuss a specific course design and solutions to potential problems in its implementation.