From: Vinzent Hoefler <JeLlyFish.software@gmx.net>
Subject: Re: ANNONUCE: Public technical briefing on SPARK, Houston
Date: Wed, 27 Nov 2002 22:28:56 +0100
Date: 2002-11-27T22:28:56+01:00 [thread overview]
Message-ID: <3de5391c$2_2@news.bluewin.ch> (raw)
In-Reply-To: ba18d5cb.0211270530.ffd6900@posting.google.com
rod@praxis-cs.co.uk (Rod Chapman) wrote:
>As a "warm up" event for ACM SigAda 2002, Praxis Critical Systems will
>be
>presented a public technical briefing on SPARK on Friday 6th December.
Alas, too early for me. :-(
>"design-by-contract" is a trademark of Interactive Software
>Engineering Inc.
Oops? But "programming-by-contract" can be used freely, I hope!?
Vinzent.
prev parent reply other threads:[~2002-11-27 21:28 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-11-27 13:30 ANNONUCE: Public technical briefing on SPARK, Houston Rod Chapman
2002-11-27 21:28 ` Vinzent Hoefler [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