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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b438e75ce5e32099 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: RSL (Was: Generating Ada from UML on Linux) Date: Tue, 15 Aug 2006 16:27:37 +0200 Organization: Jacob's private Usenet server Message-ID: <87ac66ul9i.fsf_-_@nbi.dk> References: <87ejvs6fj6.fsf@nbi.dk> <20060809130000.J84175@docenti.ing.unipi.it> <87r6zjvmzx.fsf@nbi.dk> <87mza6unc6.fsf@nbi.dk> NNTP-Posting-Host: 0x5552efa6.adsl.cybercity.dk Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: jacob-sparre.dk 1155652057 10259 85.82.239.166 (15 Aug 2006 14:27:37 GMT) X-Complaints-To: sparre@jacob-sparre.dk NNTP-Posting-Date: Tue, 15 Aug 2006 14:27:37 +0000 (UTC) User-Agent: Gnus/5.110004 (No Gnus v0.4) Emacs/21.4 (gnu/linux) Cancel-Lock: sha1:MmiamRHb7eeDh1xvD+mVrdZ5Rkk= Path: g2news2.google.com!news2.google.com!news.germany.com!newsfeed.freenet.de!newsfeed.kamp.net!newsfeed.kamp.net!81.174.50.156.MISMATCH!redpower.x-privat.org!news.jacob-sparre.dk!pnx.dk!not-for-mail Xref: g2news2.google.com comp.lang.ada:6215 Date: 2006-08-15T16:27:37+02:00 List-Id: 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