Sciweavers

285 search results - page 4 / 57
» Discovering New Change Patterns in Object-Oriented Systems
Sort
View
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 27 days ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
OHS
2001
Springer
13 years 11 months ago
METIOREW: An Objective Oriented Content Based and Collaborative Recommending System
The size of Internet has been growing very fast and many documents appear every day in the Net. Users find many problems to obtain the information that they really need. In order t...
David Bueno, Ricardo Conejo, Amos David
ECOOP
1999
Springer
13 years 11 months ago
Object-Oriented Programming on the Network
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
Jim Waldo
ECOOP
1998
Springer
13 years 11 months ago
Synthesizing Object-Oriented and Functional Design to Promote Re-Use
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
Shriram Krishnamurthi, Matthias Felleisen, Daniel ...
ECOOP
2005
Springer
14 years 27 days ago
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
Bertrand Meyer