738 search results - page 123 / 148 » Object Orientation and Formal Techniques |
SIGCSE
2008
ACM
14 years 11 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...
91
Voted
MMS
2010
14 years 9 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...
83
Voted
JMLR
2002
14 years 10 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...
85
Voted
OOPSLA
2010
Springer
14 years 9 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 ...
79
Voted
SIGSOFT
2003
ACM
15 years 11 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...