44 search results - page 1 / 9 » From a Specification to an Equivalence Proof in Object-Orien... |
IPPS
1999
IEEE
13 years 8 months ago
1999
IEEE
ROOM
2000
13 years 6 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...
ICCL
1994
IEEE
13 years 8 months ago
1994
IEEE
This paper presents a model of concurrent objectoriented programming in which specification of computational behavior is separated from specification of interaction behavior of me...
ISORC
2000
IEEE
13 years 9 months ago
2000
IEEE
To apply the component-based approach to distributed real-time software development, it is necessary to identify components based on both functional and real-time requirements. Si...
APSEC
2002
IEEE
13 years 9 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...