Sciweavers

234 search results - page 37 / 47
» Teaching Software Engineering in a Compiler Project Course
Sort
View
ICSE
2007
IEEE-ACM
14 years 8 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
HT
2000
ACM
14 years 29 days ago
Reusable hypertext structures for distance and JIT learning
Software components for distance and just-in-time (JIT) learning are an increasingly common method of encouraging reuse and facilitating the development process[58], but no analog...
Anne Morgan Spalter, Rosemary Michelle Simpson
ICMI
2000
Springer
104views Biometrics» more  ICMI 2000»
14 years 6 days ago
Jacob - An Animated Instruction Agent in Virtual Reality
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
Marc Evers, Anton Nijholt
SIGCSE
2002
ACM
152views Education» more  SIGCSE 2002»
13 years 8 months ago
Learning styles and performance in the introductory programming sequence
This paper reports on the implication of different preferred learning styles on students'performance in the introductory programming sequence and on work in progress on how t...
Lynda Thomas, Mark Ratcliffe, John Woodbury, Emma ...
CN
2000
128views more  CN 2000»
13 years 8 months ago
The Network Workbench: network simulation software for academic investigation of Internet concepts
Simulation offers significant advantages as a basis for academic projects in computer networking. many unimportant details can be abstracted away, and also because simulations can...
J. Mark Pullen