From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Ada and UML
Date: Tue, 07 Sep 2010 20:25:46 +0200
Date: 2010-09-07T20:25:46+02:00 [thread overview]
Message-ID: <op.viodg8n2ule2fv@garhos> (raw)
In-Reply-To: op.viijkpmxule2fv@garhos
Le Sat, 04 Sep 2010 16:51:51 +0200, Yannick Duchêne (Hibou57)
<yannick_duchene@yahoo.fr> a écrit:
> Useful link in this context:
>
> http://www.omg.org/spec/MOFM2T/1.0/
> for references about MTL (you will see indeed Acceleo 3 conforms to
> this, while 2.7 was not)
And another, which is funny, as it show usage of Ada like comments ;)
http://www.omg.org/spec/OCL/2.2/
There are plenty of “--” in this doc
Seems they know about something and they were inspired after this.
Also time to reply a question posted in this thread about UML and SPARK :
I would say there is a way to generate SPARK annotations from UML's OCL
constraints.
--
“Dual licensing is the Perl's way to disinfect the GNU General Public
Virus!” (anonymous)
next prev parent reply other threads:[~2010-09-07 18:25 UTC|newest]
Thread overview: 47+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-31 10:12 Ada and UML Yannick Duchêne (Hibou57)
2010-08-31 11:05 ` Yannick Duchêne (Hibou57)
2010-08-31 11:54 ` Yannick Duchêne (Hibou57)
2010-08-31 16:34 ` Matteo Bordin
2010-08-31 21:20 ` nobody
2010-09-02 0:19 ` Yannick Duchêne (Hibou57)
2010-09-02 6:14 ` Simon Wright
2010-09-02 20:33 ` nobody
2010-08-31 23:14 ` Yannick Duchêne (Hibou57)
2010-08-31 23:31 ` Yannick Duchêne (Hibou57)
2010-09-01 8:20 ` Matteo Bordin
2010-09-01 18:44 ` Simon Wright
2010-09-01 21:56 ` Simon Wright
2010-09-02 1:18 ` Yannick Duchêne (Hibou57)
2010-09-02 10:25 ` Brian Drummond
2010-09-02 0:43 ` Yannick Duchêne (Hibou57)
2010-09-02 7:50 ` Georg Bauhaus
2010-09-02 23:05 ` Yannick Duchêne (Hibou57)
2010-09-03 4:19 ` Yannick Duchêne (Hibou57)
2010-09-03 6:54 ` Matteo Bordin
2010-09-03 10:20 ` Yannick Duchêne (Hibou57)
2010-09-03 11:33 ` sjw
2010-09-03 13:18 ` Hibou57 (Yannick Duchêne)
2010-09-03 16:14 ` Matteo Bordin
2010-09-04 14:51 ` Yannick Duchêne (Hibou57)
2010-09-06 9:21 ` Matteo Bordin
2010-09-07 18:25 ` Yannick Duchêne (Hibou57) [this message]
2010-09-03 16:16 ` Matteo Bordin
2010-09-03 19:39 ` Simon Wright
2010-08-31 18:25 ` Martin Krischik
2010-09-01 8:40 ` sjw
2010-09-02 0:22 ` Yannick Duchêne (Hibou57)
2010-09-02 4:48 ` J-P. Rosen
2010-09-02 10:34 ` Brian Drummond
2010-09-02 13:00 ` Robert A Duff
2010-09-02 13:24 ` Yannick Duchêne (Hibou57)
2010-09-10 20:13 ` Yannick Duchêne (Hibou57)
-- strict thread matches above, loose matches on Subject: below --
2001-08-04 9:55 Paul Foster
2001-07-10 10:54 Death by analogy Part 2 (was Re: is ada dead?) Robert C. Leif, Ph.D.
2001-07-10 16:58 ` Al Christians
2001-07-10 18:39 ` Michael P. Card
2001-07-10 20:39 ` Al Christians
2001-07-10 21:11 ` Michael P. Card
2001-07-11 5:25 ` Ada and UML raj
2001-07-11 9:40 ` David C. Hoos, Sr.
2001-07-13 19:00 ` Nick Williams
2001-07-13 19:46 ` Ted Dennison
2001-07-17 8:25 ` David Humphris
2001-07-16 0:56 ` Ken Garlington
2001-07-17 18:59 ` Simon Wright
2001-07-23 14:38 ` John Kern
2001-08-04 6:29 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox