Sciweavers

ISOOMS
1994
13 years 7 months ago
Quantitative and Qualitative Aspects of Object-Oriented Software Development
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
Gustav Pomberger, Wolfgang Pree
FM
1994
Springer
104views Formal Methods» more  FM 1994»
13 years 7 months ago
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
Tom Mens, Kim Mens, Patrick Steyaert
GI
1997
Springer
13 years 7 months ago
Functional Object-Oriented Programming with Object-Gofer
Object-Gofer is a small, practical extension of the functional programming language Gofer incorporating the following ideas from the object-oriented community: objects and toplevel...
Wolfram Schulte, Klaus Achatz
ECOOP
1998
Springer
13 years 7 months ago
Classifying Inheritance Mechanisms in Concurrent Object Oriented Programming
Abstract. Inheritance is one of the key concepts in object-oriented programming. However, the usefulness of inheritance in concurrent objectoriented programming is greatly reduced ...
Lobel Crnogorac, Anand S. Rao, Kotagiri Ramamohana...
ECOOP
1999
Springer
13 years 8 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
CSL
2000
Springer
13 years 8 months ago
Interactive Programs in Dependent Type Theory
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
Peter Hancock, Anton Setzer
ATAL
2000
Springer
13 years 8 months ago
Generalised Object-Oriented Concepts for Inter-agent Communication
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
Rogier M. van Eijk, Frank S. de Boer, Wiebe van de...
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
13 years 8 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
SIGCSE
2000
ACM
146views Education» more  SIGCSE 2000»
13 years 8 months ago
Programming patterns and design patterns in the introductory computer science course
We look at the essential thinking skills students need to learn in the introductory computer science course based on object-oriented programming. We create a framework for such a ...
Viera K. Proulx
FCCM
2000
IEEE
162views VLSI» more  FCCM 2000»
13 years 8 months ago
StReAm: Object-Oriented Programming of Stream Architectures Using PAM-Blox
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
Oskar Mencer, Heiko Hübert, Martin Morf, Mich...