218 search results - page 2 / 44 » A tool for teaching curve design |
SPIN
2009
Springer
14 years 4 days ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
VL
2003
IEEE
13 years 11 months ago
2003
IEEE
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
ROBOCUP
2001
Springer
13 years 10 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
ITICSE
2003
ACM
13 years 11 months ago
2003
ACM
We have students understand, enjoy, and actually use CRC cards in the introductory object-oriented design process that we teach. We attempted to teach a more sophisticated design ...
IEEECIT
2010
IEEE
13 years 4 months ago
2010
IEEE
—In need of interesting material and effective teaching approach in programming learning, students were ely to drop out of the course for the abstract concepts and complex struct...