518 search results - page 4 / 104 » Specification, Implementation, and Validation of Object-Orie... |
ROOM
2000
13 years 8 months ago
2000
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...
ATC
2006
Springer
13 years 11 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
DATESO
2006
13 years 8 months ago
2006
Abstract. The aim of this article is to explore and investigate possibilities of reuse already known techniques from object and objectoriented processing for effective processing i...
TOOLS
1998
IEEE
13 years 11 months ago
1998
IEEE
The structure of object-oriented systems typically forms a complicated, tangled web of interdependent classes. Understanding this implicit and hidden structure poses severe proble...
ISORC
2000
IEEE
13 years 11 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...