From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b438e75ce5e32099
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!130.59.10.21.MISMATCH!kanaga.switch.ch!switch.ch!newsserver.news.garr.it!newsserver.cilea.it!docenti.ing.unipi.it!o2943499
From: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
Newsgroups: comp.lang.ada
Subject: Re: RSL (Was: Generating Ada from UML on Linux)
Date: Mon, 21 Aug 2006 14:26:51 +0200
Organization: CILEA
Message-ID: <20060821140832.A662@docenti.ing.unipi.it>
References: <87ejvs6fj6.fsf@nbi.dk>
 <20060809130000.J84175@docenti.ing.unipi.it>
 <m2hd0k97q7.fsf@hugin.crs4.it> <uk65euphy.fsf@acm.org>
 <87r6zjvmzx.fsf@nbi.dk>
 <m3ejvj5d0j.fsf@localhost.localdomain> <87mza6unc6.fsf@nbi.dk>
 <87ac66ul9i.fsf_-_@nbi.dk> <m33bbxo57v.fsf@localhost.localdomain>
Reply-To: Colin Paul Gloster <Colin_Paul_Gloster@ACM.org>
NNTP-Posting-Host: docenti.ing.unipi.it
Mime-Version: 1.0
Content-Type: MULTIPART/MIXED; BOUNDARY="0-2027024818-1156163211=:662"
X-Trace: newsserver.cilea.it 1156163212 9898 131.114.28.20 (21 Aug 2006
 12:26:52 GMT)
X-Complaints-To: news@cilea.it
NNTP-Posting-Date: 21 Aug 2006 12:26:52 GMT
X-X-Sender: o2943499@docenti.ing.unipi.it
In-Reply-To: <m33bbxo57v.fsf@localhost.localdomain>
Xref: g2news2.google.com comp.lang.ada:6295
Date: 2006-08-21T12:26:52+00:00
List-Id: <comp.lang.ada>

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.

--0-2027024818-1156163211=:662
Content-Type: TEXT/PLAIN; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: QUOTED-PRINTABLE

Jacob Sparre Andersen wrote:

"I took a look at the table of contents for Dines Bj=F8rner'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=F8rner'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.
--0-2027024818-1156163211=:662--