Computer science education: Where are the software engineers of tomorrow?

CrossTalk

Volumn 21, Issue 1, 2008, Pages 28-30

  Dewar, Robert B K ^a,b   Schonberg, Edmond ^a,b  

^a AdaCore Inc

^b AdaCore   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC SKILLS; COMPUTER SCIENCE EDUCATION;

COMPUTER PROGRAMMING; EDUCATION; JAVA PROGRAMMING LANGUAGE;

FORMAL METHODS;

EID: 38149071734     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. Joint Taskforce for Computing Curricula. "Computing Curricula 2005: The Overview Report." ACM/AIS/IEEE, 2005 〈www.acm.org/education/ curric_vols/CC2005-March06 Final.pdf〉.
2. Barnes, John. High Integrity Ada: The Spark Approach. Addison-Wesley, 2003.
3. Ben-Ari, M. Principles of Concurrent and Distributed Programming. 2nd ed. Addison-Wesley, 2006.
4. Mitchell, Nick, Gary Sevitsky, and Harini Srinivasan. "The Diary of a Datum: An Approach to Analyzing Runtime Complexity in Framework-Based Applications." Workshop on Library-Centric Software Design, Object-Oriented Programming, Systems, Languages, and Applications, San Diego, CA, 2005.
5. Stroustrup, Bjarne. Private communication. Aug. 2007.
6. Hokmann Gerard J. "The Power of Ten - Rules for Developing Safety Critical Code." IEEE Computer June 2006: 93-95.