From: Stephen Leake <stephen_leake@acm.org>
Subject: Re: Generating Ada from UML on Linux
Date: Sat, 12 Aug 2006 08:07:05 -0400
Date: 2006-08-12T08:07:05-04:00 [thread overview]
Message-ID: <uk65euphy.fsf@acm.org> (raw)
In-Reply-To: m2hd0k97q7.fsf@hugin.crs4.it
Jacob Sparre Andersen <sparre@nbi.dk> writes:
> 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?
In no sense is UML a "formal specification language"!
Ada is a better specification language than UML, if you are looking
for well-defined execution semantics.
As far as I can tell, the only advantage UML has over Ada is that you
can write it with a mouse - and personally, I consider that a
disadvantage :).
> 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.
I understand there are good tools for Z (much better than just LaTeX),
but I have not used them.
--
-- Stephe
next prev parent reply other threads:[~2006-08-12 12:07 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
2006-08-10 17:06 ` Colin Paul Gloster
2006-08-10 18:50 ` Georg Bauhaus
2006-08-12 12:07 ` Stephen Leake [this message]
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