Sciweavers

2039 search results - page 20 / 408
» Teaching Standards to Engineers
Sort
View
VMCAI
2012
Springer
13 years 8 months ago
Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
Tobias Nipkow
102
Voted
ITICSE
2003
ACM
15 years 6 months ago
Systematic testing should not be a topic in the computer science curriculum!
In this paper we argue that treating “testing” as an isolated topic is a wrong approach in computer science and software engineering teaching. Instead testing should pervade p...
Henrik Bærbak Christensen
IUI
2005
ACM
15 years 6 months ago
Adaptive teaching strategy for online learning
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...
Jungsoon P. Yoo, Cen Li, Chrisila C. Pettey
EUROMICRO
2005
IEEE
15 years 6 months ago
Model Interchange Using OMG Standards
Marcus Alanen, Ivan Porres
70
Voted
ICSR
2004
Springer
15 years 6 months ago
Reuse, Standardization, and Transformation of Requirements
Miguel A. Laguna, Oscar López, Yania Crespo