maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[[Maude-help] ] Maude as formal component in introductory SE course?

From: Marko Schuetz-Schmuck <MarkoSchuetz AT web.de>
To: maude-help AT lists.cs.illinois.edu
Subject: [[Maude-help] ] Maude as formal component in introductory SE course?
Date: Tue, 30 Jan 2018 13:05:15 -0400

Dear All,

I am contemplating using Maude as a tool in an introductory SE course. I
was wondering whether anyone has any experience using Maude in such a
context. I am also looking at TLA+, RAISE, and a few other options. Each
seems to have its advantages and disadvantages.

Any comment is welcome.

Best regards,

Marko

Attachment: signature.asc
Description: PGP signature

[[Maude-help] ] Maude as formal component in introductory SE course?, Marko Schuetz-Schmuck, 01/30/2018