[GAP] Use of Ada 2005

[Anthony S Ruocco]

I use Ada in my analysis of algorithms class because there is an almost 1:1 relation between the pseudo code used in the text (Cormen's Intro to Algorithms) and the code I show students as part of the solution.  I had three students decide to pick up Ada on their own during the semester.  While they have not gone into much depth, nor have 'pretty' code, they are now Ada converts.  (I should get quotes from them I guess.)

I am scheduled to teach a High Integrity course in the fall and plan on using SPARK.  This will be the second time I have taught the High Integrity course.

Tony Ruocco 
Roger Williams University

-----Original Message-----
From: gap-bounces at gnat.info [mailto:gap-bounces at gnat.info] 
Sent: Tuesday, March 28, 2006 4:42 PM
To: GNAT Academic Program discussion list; GNAT Academic Program discussion list
Subject: RE: [GAP] Use of Ada 2005

FWIW, we have some useful success in pursuading faculty
to teach SPARK to their students, regardless of
the "Ada connection."

SPARK offers many interesting things for teaching - e.g.
design-by-contract, static analysis, real-time, Hoare-logic and
"classical" program verification, safety- and security-critical
software enginering etc. etc.

We have found many faculty who are willing to "overlook"
any Ada-related bias in their departments (and students...)
in order to teach with SPARK.

 All the best,
   Rod, SPARK Team



**********************************************************************

This email is confidential and intended solely for the use of the individual to whom it is addressed.  If you are not the intended recipient, be advised that you have received this email in error and that any use, disclosure, copying or distribution or any action taken or omitted to be taken in reliance on it is strictly prohibited.  If you have received this email in error please contact the sender.  Any views or opinions presented in this email are solely those of the author and do not necessarily represent those of Praxis High Integrity Systems Ltd (Praxis HIS). 

 Although this email and any attachments are believed to be free of any virus or other defect, no responsibility is accepted by Praxis HIS or any of its associated companies for any loss or damage arising in any way from the receipt or use thereof.  The IT Department at Praxis HIS can be contacted at it.support at praxis-his.com

**********************************************************************

_______________________________________________
GAP mailing list
GAP at gnat.info
/no-more-mailman.html
To unsubscribe from this list, please contact the GAP GNAT Tracker administrator
within your organization.