Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum

2006 ◽  
Author(s):  
Sotiris Skevoulis ◽  
Vladimir Makarov
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Science Curriculum ◽  
Computer Science Curriculum

Formal methods in the undergraduate computer science curriculum (abstract)

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

Asserting parallel computational thinking into an undergraduate computer science curriculum

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
Sign in / Sign up

Export Citation Format

Share Document