Sciweavers

3444 search results - page 3 / 689
» A Theory of Object-Oriented Design
Sort
View
IRREGULAR
1998
Springer
13 years 11 months ago
The Distributed Object-Oriented Threads System DOTS
Abstract. We describe the design and implementation of the Distributed ObjectOriented Threads System (DOTS). This system is a complete redesign of the Distributed Threads System (D...
Wolfgang Blochinger, Wolfgang Küchlin, Andrea...
LOPSTR
2007
Springer
14 years 1 months ago
Snapshot Generation in a Constructive Object-Oriented Modeling Language
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
Mauro Ferrari, Camillo Fiorentini, Alberto Momigli...
ICFEM
2010
Springer
13 years 6 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
CORR
2002
Springer
131views Education» more  CORR 2002»
13 years 7 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
SIGCSE
1998
ACM
310views Education» more  SIGCSE 1998»
13 years 11 months ago
Traffic simulation: a case study for teaching object oriented design
act In teaching object oriented design, it is important for students to work on projects that use a variety of design patterns, interaction between objects, and provide the opportu...
Viera K. Proulx