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-7-bit
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: Generating Ada from UML on Linux
Date: Thu, 10 Aug 2006 12:59:44 +0200
Organization: Jacob's private Usenet server
Message-ID: <m2hd0k97q7.fsf@hugin.crs4.it>
References: <87ejvs6fj6.fsf@nbi.dk>
	<20060809130000.J84175@docenti.ing.unipi.it>
NNTP-Posting-Host: 0x5552efa6.adsl.cybercity.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: jacob-sparre.dk 1155207585 23870 85.82.239.166 (10 Aug 2006 10:59:45
 GMT)
X-Complaints-To: sparre@jacob-sparre.dk
NNTP-Posting-Date: Thu, 10 Aug 2006 10:59:45 +0000 (UTC)
User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)
Cancel-Lock: sha1:Y+FzYxYLP1KBUzGQOe1MxDP+H3A=
Path: 
 g2news2.google.com!news2.google.com!news.germany.com!newsfeed0.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:6147
Date: 2006-08-10T12:59:44+02:00
List-Id: <comp.lang.ada>

Colin Paul Gloster wrote:
> Jacob Sparre Andersen wrote:
>
> "I have to teach a course on software design with UML [..]
>
> [..]"

> Perhaps you should refuse to teach an inadequate modeling language
> which is not a formal specification language.

Perhaps I should, but initially I am just refusing to teach the
students Java.  And they will of course also be explained the
limitations of UML.

Which formal specification language would you suggest for teaching
undergraduate students?  I am open to suggestions.  Formal
specifications is not exactly my primary expertice.  I can easily see
that UML is much too weak, compared to what we can implement in Ada,
but I am not aware of any more practical choices.

Greetings,

Jacob
-- 
The secret is to bang the rocks together.