Formal Methods for Software Engineers: Tradeoffs in Curriculum Design

Authors:
David Garlan
Affiliations:
-
Venue:
Proceedings of the SEI Conference on Software Engineering Education
Year:
1992

Citing 0
Cited 2

LSL + Ada → reusable data structures

WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
Using formal methods for teaching software engineering: a tool-based approach

Annals of Software Engineering - Special issue on software engineering education

Quantified Score

Hi-index	0.00

Visualization

Abstract