From: rod@praxis-cs.co.uk (Rod Chapman)
Subject: ANNOUNCE: USA SPARK Training course!
Date: 26 Jul 2001 08:04:23 -0700
Date: 2001-07-26T15:04:24+00:00 [thread overview]
Message-ID: <ba18d5cb.0107260703.47139f63@posting.google.com> (raw)
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.
next reply other threads:[~2001-07-26 15:04 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-07-26 15:04 Rod Chapman [this message]
2001-07-27 13:04 ` Ada Training (was ANNOUNCE: USA SPARK Training course!) Ken Garlington
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox