Opening book details…
Can I read Experiences using SPARK in an undergraduate CS course on EtoBox?
Experiences using SPARK in an undergraduate CS course by Ruocco, Anthony S. is a Computer Science article available to read on EtoBox.
What is Experiences using SPARK in an undergraduate CS course about?
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.
Who reads Experiences using SPARK in an undergraduate CS course?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Ruocco, Anthony S.
- Publisher
- Association for Computing Machinery; Association for Computing Machinery (ACM) (ISSN 1094-3641)
- Published
- 2005
- Language
- EN
- Field
- Computer Science (Physical Sciences)