Print

Print


I know that the following have taught SPARK Ada recently
on advanced software engineering courses - typically those
concentrating on high-integrity systems or formal methods:

 Virgina (Prof John Knight)

 NYU (Prof Robert Dewar)

 Oakland, Michigan (Prof Janusz Laski)

 Northern Iowa (Prof John McCormick)

 Uni of Idaho (Prof Jim Alves Foss)

Some others are considering SPARK for future courses,
including Roger Williams Univerity, Perdue (CERIAS),
and a few others.  Some links to course pages are at
www.sparkada.com

 - Rod Chapman, SPARK Team, Praxis Critical Systems
 


**********************************************************************
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.  The IT Department at Praxis Critical Systems can be contacted at [log in to unmask]
This footnote also confirms that this email message has been swept by
MIMEsweeper for the presence of computer viruses.
www.mimesweeper.com
**********************************************************************