From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Generating Ada from UML on Linux
Date: Thu, 10 Aug 2006 12:59:44 +0200
Date: 2006-08-10T12:59:44+02:00 [thread overview]
Message-ID: <m2hd0k97q7.fsf@hugin.crs4.it> (raw)
In-Reply-To: 20060809130000.J84175@docenti.ing.unipi.it
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.
next prev parent reply other threads:[~2006-08-10 10:59 UTC|newest]
Thread overview: 16+ 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 [this message]
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
-- strict thread matches above, loose matches on Subject: below --
2007-04-14 22:41 Generating Ada from UML on Linux okellogg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox