From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Ann: Workshop on OO and Ada in High Integrity Systems
Date: Wed, 08 Sep 2010 07:28:01 +0200
Date: 2010-09-08T07:28:01+02:00 [thread overview]
Message-ID: <i676t7$ocd$1@news.eternal-september.org> (raw)
In-Reply-To: <op.vioannqhule2fv@garhos>
Le 07/09/2010 19:24, Yannick Duchêne (Hibou57) a écrit :
> Le Tue, 07 Sep 2010 16:54:41 +0200, J-P. Rosen <rosen@adalog.fr> a écrit:
>
>> There will be a workshop during SIGAda, whose goal is to define a set of
>> Ada restrictions that would make using Object Oriented technologies with
>> Ada more applicable to high integrity systems. The workshop could lead
>> to the definition of a profile and to a document explaining and
>> justifying the profile, following the example of the Ravenscar profile
>> for the concurrency aspects.
> Hope there is be some on-line publications after this meeting (just a
> wish).
>
> Have a great time all.
>
This is definitely the intent.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
prev parent reply other threads:[~2010-09-08 5:28 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-09-07 14:54 Ann: Workshop on OO and Ada in High Integrity Systems J-P. Rosen
2010-09-07 17:24 ` Yannick Duchêne (Hibou57)
2010-09-08 5:28 ` J-P. Rosen [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox