Teaching a formal method in a software engineering course

Authors:
Chia-Chu Chiang
Affiliations:
University of Arkansas at Little Rock, Little Rock, Arkansas
Venue:
Proceedings of the 2nd annual conference on Mid-south college computing
Year:
2004

Citing 7
Cited 0

SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering
Formal methods and traditional engineering

Journal of Systems and Software - Special issue on formal methods technology transfer
“Formal methods” technology transfer will fail

Journal of Systems and Software - Special issue on formal methods technology transfer
An axiomatic basis for computer programming

Communications of the ACM
Art of Software Testing

Art of Software Testing
Object-Oriented and Classical Software Engineering

Object-Oriented and Classical Software Engineering
A Discipline of Programming

A Discipline of Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper outlines the techniques and the lessons in teaching a formal method in a graduate level software engineering course. A formal method with the TUG (Tree Unified with Grammar) formal specification language was used to support the software development process including the requirements, specification, design, coding, testing, and proofs phases. The outline includes the objectives, student background, teaching material and methods, group project, and evaluations of the course from the instructor and students.