Re: RSL (Was: Generating Ada from UML on Linux)

[Mark Lorenzen <mark.lorenzen@surfpost.dk>]

Jacob Sparre Andersen <sparre@nbi.dk> writes:

> Jacob Sparre Andersen wrote:
> 
> 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?

That actually surprises me. I haven't looked at Dines Bjørner's books

http://www.amazon.co.uk/gp/product/3540211497/202-6720966-7982242?v=glance&n=266239&s=gateway&v=glance

http://www.amazon.co.uk/gp/product/3540211500/202-6720966-7982242?v=glance&n=266239&s=gateway&v=glance

http://www.amazon.co.uk/gp/product/3540211519/202-6720966-7982242?v=glance&n=266239&s=gateway&v=glance

but I thought they gave an introduction to to Software Engineering
using, for example, RSL. Dines usually focuses on practical
applications when writing text books. There are "pure" RSL books
available, but they are definately more theoretical, althought still
accessible.

There is of course always the problem of tool support (or lack of)
when one wants to use RSL.

Cheers,
- Mark