Experiences using SPARK in an undergraduate CS course

Document Type

Conference Proceeding

Publication Title

Proceedings of the ACM SIGAda Annual International Conference; SIGAda

Publication Date

12-1-2005

Abstract

This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes the impact of pre-requisites, course layout and execution, and lessons learned by students and the instructor. The course used the SPARK toolset provide by Praxis High Integrity Systems, and the Gnat Programming System (GPS) provided by AdaCore Technologies (ACT) under the Ada Academic Initiative Program. Details about using these tools is integrated through out the paper. Copyright 2005 ACM.

First Page

37

Last Page

40

DOI

10.1145/1104011.1103852

E-ISSN

10943641

Link to Full Text

Share

 
COinS