Formal Methods in the Classroom: The Logic of Real-Time Software Design

Authors:
Jonathan S. Ostroff;Richard F. Paige
Affiliations:
-;-
Venue:
RTEW '98 Proceedings of the Third IEEE Real-Time Systems Education Workshop
Year:
1998

Citing 0
Cited 1

Developing BON as an Industrial-Strength Formal Method

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is a challenging task to develop a course in software methods which also includes a laboratory in which to experiment with the concepts. The challenge is made even more difficult when funds for such an endeavor are scarce. Practical and low-cost projects ...