Sciweavers

833 search results - page 95 / 167
» Computer science as an integrated part of engineering educat...
Sort
View
ICSOC
2007
Springer
15 years 6 months ago
Let It Flow: Building Mashups with Data Processing Pipelines
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
Biörn Biörnstad, Cesare Pautasso
SIGCSE
2009
ACM
167views Education» more  SIGCSE 2009»
16 years 1 months ago
Python CS1 as preparation for C++ CS2
How suitable is a Python-based CS1 course as preparation for a C++-based CS2 course? After fifteen years of using C++ for both CS1 and CS2, the Computer Science Department at Mich...
Richard J. Enbody, William F. Punch, Mark McCullen
117
Voted
CSEE
1999
Springer
15 years 4 months ago
Replacing a Hospital Information System: An Example of a Real-World Case Study
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
Klaas Sikkel, Ton A. M. Spil, Rob L. W. van de Weg
ROBOCUP
1999
Springer
157views Robotics» more  ROBOCUP 1999»
15 years 4 months ago
Big Red: The Cornell Small League Robot Soccer Team
In this paper we describe Big Red, the Cornell University Robot Soccer team. The success of our team at the 1999 competition can be mainly attributed to three points: 1) An integra...
Raffaello D'Andrea, Jin-Woo Lee, Andrew Hoffman, A...
94
Voted
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 2 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman