Formal methods in the undergraduate computer science curriculum (abstract)

ACM SIGCSE Bulletin ◽

10.1145/199691.199899 ◽

1995 ◽

Vol 27 (1) ◽

pp. 398-399

Author(s):

Henry M. Walker ◽

H. Conrad Cunningham ◽

Ruth Davis ◽

Douglas Troeger

Keyword(s):

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Integrating formal methods tools into undergraduate computer science curriculum

ACM SIGCSE Bulletin ◽

10.1145/637610.544500 ◽

2002 ◽

Vol 34 (3) ◽

pp. 232-232

Author(s):

Sotiris Skevoulis ◽

Maria Falidas

Keyword(s):

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Attitudes toward the teaching of formal methods of software development in the undergraduate computer science curriculum

ACM SIGCSE Bulletin ◽

10.1145/209849.209859 ◽

1995 ◽

Vol 27 (3) ◽

pp. 53-59 ◽

Author(s):

Thomas V. Palmer ◽

James C. Pleasant

Keyword(s):

Software Development ◽

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum

Proceedings. Frontiers in Education. 36th Annual Conference ◽

10.1109/fie.2006.322570 ◽

2006 ◽

Author(s):

Sotiris Skevoulis ◽

Vladimir Makarov

Keyword(s):

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Formal methods in the undergraduate computer science curriculum (abstract)

Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education - SIGCSE '95 ◽

10.1145/199688.199899 ◽

1995 ◽

Author(s):

Henry M. Walker ◽

H. Conrad Cunningham ◽

Ruth Davis ◽

Douglas Troeger

Keyword(s):

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Integrating formal methods tools into undergraduate computer science curriculum

Proceedings of the 7th annual conference on Innovation and technology in computer science education - ITiCSE'02 ◽

10.1145/544414.544500 ◽

2002 ◽

Author(s):

Sotiris Skevoulis ◽

Maria Falidas

Keyword(s):

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum (Extended Abstract)

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-45499-3_2 ◽

2000 ◽

pp. 2-7 ◽

Author(s):

Jeannette M. Wing

Keyword(s):

Computer Science ◽

Formal Methods ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

Asserting parallel computational thinking into an undergraduate computer science curriculum

PsycEXTRA Dataset ◽

10.1037/e605122012-018 ◽

2011 ◽

Author(s):

Edusmildo Orozco ◽

Rafael Arce-Nazario ◽

Peter Musial ◽

Cynthia Lucena-Roman ◽

Zoraida Santiago

Keyword(s):

Computer Science ◽

Science Curriculum ◽

Computational Thinking ◽

Computer Science Curriculum

Download Full-text

AN UNDERGRADUATE COMPUTER SCIENCE CURRICULUM FOR THE HEARING IMPAIRED

Journal of Women and Minorities in Science and Engineering ◽

10.1615/jwomenminorscieneng.v2.i3.20 ◽

1995 ◽

Vol 2 (3) ◽

pp. 141-149

Author(s):

A. Louise Perkins

Keyword(s):

Computer Science ◽

Science Curriculum ◽

Hearing Impaired ◽

Computer Science Curriculum

Download Full-text

Integrated parallel computing into a computer science curriculum

Proceedings of IEEE Frontiers in Education Conference - FIE '93 ◽

10.1109/fie.1993.405487 ◽

2002 ◽

Author(s):

M.P. Bivens

Keyword(s):

Parallel Computing ◽

Computer Science ◽

Science Curriculum ◽

Computer Science Curriculum

Download Full-text

On students presenting technical material to non-technical audiences in a computer science curriculum

Proceedings of the thirteenth SIGCSE technical symposium on Computer science education - SIGCSE '82 ◽

10.1145/800066.801347 ◽

1982 ◽

Author(s):

Wm J. Mein

Keyword(s):

Computer Science ◽

Science Curriculum ◽

Computer Science Curriculum ◽

Technical Material

Download Full-text