TLA+ for introduction to software engineering?
72 views
Skip to first unread message
Marko Schütz-Schmuck
Apr 13, 2019, 2:33:05 PM4/13/19
to tlaplus
Dear All,
does anyone have any experience using TLA+ in an introductory software engineering course to complement informal domain description, requirements, software specification, ...?
Curiously awaiting replies,
Marko
does anyone have any experience using TLA+ in an introductory software engineering course to complement informal domain description, requirements, software specification, ...?
Curiously awaiting replies,
Marko
Reply all
Reply to author
Forward
0 new messages