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,UTF8 Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local02.nntp.dca.giganews.com!nntp.bt.com!news.bt.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 15 Aug 2006 20:10:58 -0500 Newsgroups: comp.lang.ada Subject: Re: RSL (Was: Generating Ada from UML on Linux) References: <87ejvs6fj6.fsf@nbi.dk> <20060809130000.J84175@docenti.ing.unipi.it> <87r6zjvmzx.fsf@nbi.dk> <87mza6unc6.fsf@nbi.dk> <87ac66ul9i.fsf_-_@nbi.dk> From: Mark Lorenzen Date: 16 Aug 2006 02:10:44 +0100 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit NNTP-Posting-Host: 86.141.5.191 X-AuthenticatedUsername: NoAuthUser X-Trace: sv3-FXbyCWlN3mk/iqQYhHYoiGvKZaOBNJS5w3+SOwEO1G/5QhSXVwVMXekpsqdGTl/NY1iJfiH1c+tP0h6!tSC9L4LW69AFIpcPJ+BctdQueM7OF9ysI9QvFw/upwyzbJbp4x8TglC/EsXzflTpRva7lw== X-Complaints-To: abuse@btinternet.com X-DMCA-Complaints-To: abuse@btinternet.com X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news2.google.com comp.lang.ada:6220 Date: 2006-08-16T02:10:44+01:00 List-Id: Jacob Sparre Andersen 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