1565 search results - page 144 / 313 » Teaching |
145
click to vote
SIGCSE
2000
ACM
15 years 10 months ago
2000
ACM
The paper elucidates two views (models) of algorithmic problem solving. The first one is static; it is based on the identification of several principal dimensions of algorithmic p...
162
Voted
AH
2000
Springer
15 years 10 months ago
2000
Springer
We present the adaptive features of Test++, an adaptive system for training and teaching on the Internet. The system integrates an adaptive training environment for personalized tr...
128
click to vote
BIRTHDAY
1999
Springer
15 years 10 months ago
1999
Springer
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more...
239
click to vote
SIGADA
1999
Springer
15 years 10 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
157
click to vote
SIGCSE
1998
ACM
15 years 10 months ago
1998
ACM
We present a series of programming exercises that use scaling as a theme for teaching design techniques in the introductory computer science course sequence. All exercises are on ...