2039 search results - page 72 / 408 » Teaching Standards to Engineers |
148
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
160
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
174
click to vote
CISSE
2008
Springer
15 years 8 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
181
click to vote
ISM
2006
IEEE
15 years 6 months ago
2006
IEEE
Cooperative knowledge spaces create new potentials for the experimental fields in natural sciences and engineering because they enhance the accessibility of experimental setups th...
232
click to vote
PROCEDIA
2010
15 years 4 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...