Sciweavers

1398 search results - page 32 / 280
» Teaching Software Maintenance
Sort
View
VMCAI
2012
Springer
12 years 4 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
CHI
2008
ACM
13 years 10 months ago
Using information scent to model the dynamic foraging behavior of programmers in maintenance tasks
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...
Joseph Lawrance, Rachel K. E. Bellamy, Margaret M....
SOFSEM
1999
Springer
14 years 1 months ago
Software Change and Evolution
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...
Vaclav Rajlich
ACE
2004
218views Education» more  ACE 2004»
13 years 10 months ago
Executable/Translatable UML in Computing Education
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
Shayne Flint, Henry Gardner, Clive Boughton
IADIS
2004
13 years 10 months ago
Multimedia interactive learning objects (MILO's)
This paper looks at the use of Interactive Learning Objects in teaching using a number of media types, we refer to these as Multimedia Interactive Learning Objects (MILO's) T...
John Shearer