From: rod@praxis-cs.co.uk (Rod Chapman)
Subject: ANNOUNCE: SPARK Training Course, September, UK.
Date: 16 Jul 2001 03:27:33 -0700
Date: 2001-07-16T10:27:33+00:00 [thread overview]
Message-ID: <ba18d5cb.0107160227.12b7a1b4@posting.google.com> (raw)
We're pleased to announce the second public
"High Integrity Software Engineering with SPARK"
course for this year.
This is a 4-day course for managers, regulators and engineers,
which presents the principles of the development of high integrity
software, and the related certification requirements.
It explains the rationale of SPARK, outlines the language and
the principles of static code analysis, and presents the role of
the SPARK Examiner in systematic program development.
When: 4th - 7th September 2001
Where: Praxis Critical Systems' offices in Bath, UK.
For more information, please contact
Fiona Joy
Praxis Critical Systems Limited,
20 Manvers Street,
Bath BA1 1PX, UK
email: sparkinfo@praxis-cs.co.uk
phone: +44 (0)1225 466991
fax: +44 (0)1225 469006
A FAXable booking form is available in PDF at:
http://www.sparkada.com/
under "Training"
Yours,
The SPARK Team
Praxis Critical Systems Limited
reply other threads:[~2001-07-16 10:27 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox