738 search results - page 123 / 148 » Object Orientation and Formal Techniques |
166
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
149
click to vote
MMS
2010
15 years 4 months ago
2010
-- In this paper, we present a theoretical framing of the functions of a mirror by breaking the synchrony between the state of a reference object and its reflection. This framing p...
177
click to vote
JMLR
2002
15 years 5 months ago
2002
This paper introduces the problem of combining multiple partitionings of a set of objects into a single consolidated clustering without accessing the features or algorithms that d...
154
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...