TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

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

Print Reply
Sender: "Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
X-To: Rod Chapman <[log in to unmask]>
Date: Tue, 14 Sep 2004 09:49:18 -0400
Reply-To: Michael Feldman <[log in to unmask]>
From: Michael Feldman <[log in to unmask]>
In-Reply-To: <[log in to unmask]>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
MIME-Version: 1.0
Parts/Attachments: TEXT/PLAIN (43 lines)
Hi all,

[said Rod]

> 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 is very helpful information for Ada fans to know. But keep
in mind that the "Reid Report" has been maintained for a number of
years to show the language that is taught as the *first* language
- that is, the one used in the introductory "CS1-CS2" courses.

It's called the "Reid Report" after its originator, Prof. Richard
Reid of Michigan State Univ. When Dick Reid retired a few years
ago, the report went untended, until it was picked up by Prof.
Frances Van Scoy of West Virginia University.

Back to Rod's information above - I'm happy to see that SPARK is
being picked up in the universities, but I figure this is being
done in realtime or safety-critical courses where SPARK is most
appreciated, not in those freshman courses included in the Reid
Report.

Mike Feldman

ATOM RSS1 RSS2