From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Subject: Re: RSL (Was: Generating Ada from UML on Linux)
Date: Mon, 21 Aug 2006 14:26:51 +0200
Date: 2006-08-21T12:26:52+00:00 [thread overview]
Message-ID: <20060821140832.A662@docenti.ing.unipi.it> (raw)
In-Reply-To: <m33bbxo57v.fsf@localhost.localdomain>
[-- Attachment #1: Type: TEXT/PLAIN, Size: 690 bytes --]
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?"
But he used to lecture RSL to students!
On Wed, 16 Aug 2006, Mark Lorenzen wrote:
"[..]
There is of course always the problem of tool support (or lack of)
when one wants to use RSL."
Check
WWW.IIST.UNU.edu/newrh/III/3/1/page.html
which is not the only source of an RSL tool.
prev parent reply other threads:[~2006-08-21 12:26 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-07 9:50 Generating Ada from UML on Linux Jacob Sparre Andersen
2006-08-07 11:40 ` Martin Krischik
2006-08-07 13:08 ` okellogg
2006-08-07 13:18 ` Jacob Sparre Andersen
2006-08-09 11:01 ` Colin Paul Gloster
2006-08-10 10:59 ` Jacob Sparre Andersen
2006-08-10 17:06 ` Colin Paul Gloster
2006-08-10 18:50 ` Georg Bauhaus
2006-08-12 12:07 ` Stephen Leake
2006-08-14 6:40 ` Jacob Sparre Andersen
2006-08-14 19:32 ` Mark Lorenzen
2006-08-15 13:42 ` Jacob Sparre Andersen
2006-08-15 14:27 ` RSL (Was: Generating Ada from UML on Linux) Jacob Sparre Andersen
2006-08-16 1:10 ` Mark Lorenzen
2006-08-21 12:26 ` Colin Paul Gloster [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox