RSL (Was: Generating Ada from UML on Linux)

[Jacob Sparre Andersen <sparre@nbi.dk>]

Jacob Sparre Andersen wrote:
> Mark Lorenzen wrote:

>> Jacob, as a Dane you should of course use RSL ;-)
>
> Maybe I should.  First time I hear about it.  I'll get our library
> to order some books on RSL/RAISE (if they haven't got some already).

I took a look at the table of contents for Dines Bj�rner's "Software
Engineering: Abstraction and Modelling".  It looked much too
theoretical for my students.  I have no intention of teaching them the
complete theoretical foundations of RSL, which seems to be the aim
with Dines Bj�rner's book.  Are there some more practically oriented
introductions to RSL?

Greetings,

Jacob
-- 
"War does not determine who is right - only who is left."
                                         -- Bertrand Russell