TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Rod Chapman <[log in to unmask]>
Reply To:
Rod Chapman <[log in to unmask]>
Tue, 14 Sep 2004 12:28:53 +0100
text/plain (33 lines)
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

 - 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.