3021 search results - page 275 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
165
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
164
click to vote
CN
1998
15 years 6 months ago
1998
The World Wide Web currently has a huge amount of data, with practically no classification information, and this makes it extremely difficult to handle effectively. It has been re...
154
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
176
click to vote
WCRE
2006
IEEE
16 years 20 days ago
2006
IEEE
Current literature on the topic of duplicated (cloned) code in software systems often considers duplication harmful to the system quality and the reasons commonly cited for duplic...
176
click to vote
AVI
2008
15 years 9 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...