From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Generating Ada from UML on Linux
Date: Tue, 15 Aug 2006 15:42:49 +0200
Date: 2006-08-15T15:42:49+02:00 [thread overview]
Message-ID: <87mza6unc6.fsf@nbi.dk> (raw)
In-Reply-To: m3ejvj5d0j.fsf@localhost.localdomain
Mark Lorenzen wrote:
> Jacob Sparre Andersen wrote:
>> I will take a look at them. I don't think I can switch the course
>> from UML to Z this year, but maybe I can be ready to do it next
>> year.
>
> 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).
Jacob
--
�If you're going to have crime,
it might as well be organized crime.� -- Lord Vetinari
next prev parent reply other threads:[~2006-08-15 13:42 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
2006-08-14 6:40 ` Jacob Sparre Andersen
2006-08-14 19:32 ` Mark Lorenzen
2006-08-15 13:42 ` Jacob Sparre Andersen [this message]
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