15779 search results - page 2784 / 3156 » Change-oriented software engineering |
128
click to vote
NJC
2006
15 years 3 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
127
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...
132
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
126
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Process reference models play an important role for the alignment and configuration of commercial off-the-shelf Enterprise Systems to requirements of an organization. Recently, Co...
150
click to vote
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...