Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
JSI
1998
125views more  JSI 1998»
10 years 1 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
ROOM
2000
10 years 2 months ago
Object-Oriented Refinement and Proof using Behaviour Functions
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
Tony Clark
FDL
2004
IEEE
10 years 5 months ago
On Actors and Objects - OOP in System Level Design
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
Joachim K. Anlauf, Philipp A. Hartmann
ISOOMS
1994
10 years 5 months ago
Testing of Object-Oriented Programming Systems (OOPS): A Fault-Based Approach
The goal of this paper is to examine the testing of object-oriented systems and to compare and contrast it with the testing of conventional programming language systems, with empha...
Jane Huffman Hayes
TOOLS
1998
IEEE
10 years 5 months ago
Declarative Reasoning about the Structure of Object-Oriented Systems
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
Roel Wuyts
books