Verifiable Programming of Object-Oriented and Distributed Systems

Timethread-role maps for object-oriented design of real-time-and-distributed systems

Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications - OOPSLA '94 ◽

10.1145/191080.191125 ◽

1994 ◽

Cited By ~ 2

Author(s):

R. J. A. Buhr ◽

R. S. Casselman

Keyword(s):

Distributed Systems ◽

Real Time ◽

Object Oriented ◽

Object Oriented Design

Download Full-text

A Probabilistic Framework for Object-Oriented Modeling and Analysis of Distributed Systems

Formal Verification of Object-Oriented Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-31762-0_8 ◽

2012 ◽

pp. 105-122 ◽

Cited By ~ 1

Author(s):

Lucian Bentea ◽

Olaf Owe

Keyword(s):

Distributed Systems ◽

Object Oriented ◽

Probabilistic Framework ◽

Modeling And Analysis

Download Full-text

Local Class Name Space Facility for Worldwide Object-Oriented Distributed Systems Environment

Lecture Notes in Computer Science - Worldwide Computing and Its Applications ◽

10.1007/3-540-63343-x_39 ◽

1997 ◽

pp. 74-89

Author(s):

Toshihiro Nishioka ◽

Yoichi Hamazaki ◽

Michiharu Tsukamoto

Keyword(s):

Distributed Systems ◽

Object Oriented

Download Full-text

Object-Oriented Specification and Open Distributed Systems

From Object-Orientation to Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39993-3_9 ◽

2004 ◽

pp. 137-164 ◽

Cited By ~ 10

Author(s):

Einar Broch Johnsen ◽

Olaf Owe

Keyword(s):

Distributed Systems ◽

Object Oriented ◽

Open Distributed Systems

Download Full-text

Mach and Matchmaker: kernel and language support for object-oriented distributed systems

ACM SIGPLAN Notices ◽

10.1145/960112.28705 ◽

1986 ◽

Vol 21 (11) ◽

pp. 67-77 ◽

Cited By ~ 4

Author(s):

Michael B. Jones ◽

Richard F. Rashid

Keyword(s):

Distributed Systems ◽

Object Oriented ◽

Language Support

Download Full-text

UML Based Performance Modeling Framework for Object-Oriented Distributed Systems

Lecture Notes in Computer Science - «UML»’99 — The Unified Modeling Language ◽

10.1007/3-540-46852-8_26 ◽

1999 ◽

pp. 356-371 ◽

Cited By ~ 15

Author(s):

Pekka Kähkipuro

Keyword(s):

Distributed Systems ◽

Performance Modeling ◽

Object Oriented ◽

Modeling Framework

Download Full-text

Programming distributed systems with the delegation-based object-oriented language dSelf

Proceedings of the 2002 ACM symposium on Applied computing - SAC '02 ◽

10.1145/508791.508971 ◽

2002 ◽

Cited By ~ 4

Author(s):

Robert Tolksdorf ◽

Kai Knubben

Keyword(s):

Distributed Systems ◽

Object Oriented

Download Full-text

An evaluation of the middleware’s impact on the performance of object oriented distributed systems

Journal of Systems and Software ◽

10.1016/j.jss.2006.09.038 ◽

2007 ◽

Vol 80 (7) ◽

pp. 1169-1181 ◽

Cited By ~ 3

Author(s):

Christos Tselikis ◽

Sarandis Mitropoulos ◽

Christos Douligeris

Keyword(s):

Distributed Systems ◽

Object Oriented

Download Full-text

Object-oriented concepts for distributed systems

Computer Standards & Interfaces ◽

10.1016/0920-5489(93)90013-h ◽

1993 ◽

Vol 15 (2-3) ◽

pp. 167-274 ◽

Cited By ~ 1

Author(s):

Calvin J Taylor

Keyword(s):

Distributed Systems ◽

Object Oriented

Download Full-text

A hierarchical object-oriented approach to fault tolerance in distributed systems

Proceedings of 1993 IEEE International Symposium on Software Reliability Engineering ◽

10.1109/issre.1993.624286 ◽

2002 ◽

Cited By ~ 3

Author(s):

S. Krishna ◽

T. Diamond ◽

V.S.S. Nair

Keyword(s):

Distributed Systems ◽

Fault Tolerance ◽

Object Oriented ◽

Object Oriented Approach ◽

Oriented Approach

Download Full-text