Sciweavers

1398 search results - page 96 / 280
» Teaching Software Maintenance
Sort
View
ECLIPSE
2004
ACM
15 years 9 months ago
Supporting model checking education using BOGOR/Eclipse
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier
XPU
2004
Springer
15 years 9 months ago
Going Interactive: Combining Ad-Hoc and Regression Testing
Abstract. Different kinds of unit testing activities are used in practice. Organised unit testing (regression testing or test-first activities) are very popular in commercial pract...
Michael Kölling, Andrew Patterson
APL
1994
ACM
15 years 8 months ago
The Impact of APL on First Year Mathematics
ct In 1993, the Australian Federal Government's Committee for the Advancement of University Teaching (CAUT) funded a project to develop an integrated computationally rich firs...
Walter G. Spunde
CSMR
2009
IEEE
15 years 10 months ago
EvoSpaces: Multi-dimensional Navigation Spaces for Software Evolution
EvoSpaces is a Swiss-wide research project sponsored by the Hasler foundation. It involves three partners: University of Zurich, University of Lugano and the University of Applied...
Michele Lanza, Harald Gall, Philippe Dugerdil
KBSE
2007
IEEE
15 years 10 months ago
Using information retrieval to support design of incremental change of software
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...
Denys Poshyvanyk, Andrian Marcus