This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
In this paper we present the concept of hybrid personalization, the combination of multiple atomic personalization mechanisms. The idea of hybrid personalization is related to hyb...
Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we di...
Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P....
- A new system of curriculum evaluation of formative assessment has been established in secondary education system in China for seven years. Attention has been given to teaching an...
The undergraduate process control course and how it is taught is a controversial subject that generates lively discussions among control academicians, control practitioners, and c...
Thomas F. Edgar, Babatunde A. Ogunnaike, James J. ...