comp.lang.ada
 help / color / mirror / Atom feed
From: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: Ada Training (was ANNOUNCE: USA SPARK Training course!)
Date: Fri, 27 Jul 2001 13:04:40 GMT
Date: 2001-07-27T13:04:40+00:00	[thread overview]
Message-ID: <IFd87.1562$Z33.329038978@newssvr16.news.prodigy.com> (raw)
In-Reply-To: ba18d5cb.0107260703.47139f63@posting.google.com

While sitting through another depressing discussion the other day on the
death of Ada, there was a comment that, based on older data available
through the Internet (and the infamous CrossTalk article), it appeared that
Ada training courses in universities and elsewhere were shrinking, and fewer
students were attending. Is there a current source for this sort of
information? Alternately, would it be possible for the number of attendees
at courses like the following be published?

"Rod Chapman" <rod@praxis-cs.co.uk> wrote in message
news:ba18d5cb.0107260703.47139f63@posting.google.com...
: We're pleased to announce the first public "Software Engineering
: with SPARK" course in the USA.
:
: This course is being run in collaboration with and will
: be hosted by the School of Engineering and Computer Science
: at Oakland University, Rochester, Michigan.
:
: The course will run from 24th to 28th September 2001.
:
: Full details, and a booking form at available in PDF
: at www.sparkada.com under "Training".  Alternatively,
: drop us a line at sparkinfo@praxis-cs.co.uk
:
: Yours,
:   Rod Chapman
:   SPARK Team
:   Praxis Critical Systems
:
: About SPARK
:
: SPARK is a high level programming language developed specifically to
: support high integrity applications where correct operation is vital
: either for reasons of safety, security or business integrity.  Writing
: code in SPARK automatically eliminates the possibility of introducing
: many types of programming error.
:
: SPARK is a cost-effective engineering solution.  It meets the
: customer's needs by providing a high quality product; the developer's
: needs by reducing cost and risk; and the regulator's needs by
: simplifying the production of the required evidence of fitness for
: purpose.  SPARK is the logical choice.





      reply	other threads:[~2001-07-27 13:04 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-07-26 15:04 ANNOUNCE: USA SPARK Training course! Rod Chapman
2001-07-27 13:04 ` Ken Garlington [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