Sciweavers

983 search results - page 6 / 197
» Object-oriented Abstractions for Distributed Programming
Sort
View
WCRE
2008
IEEE
14 years 4 months ago
Navigating Through the Design of Object-Oriented Programs
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
Epameinondas Gasparis, Jonathan Nicholson, Amnon H...
ECOOP
1994
Springer
14 years 1 months ago
Protection in the Guide Object-Oriented Distributed System
: Support for cooperative distributed applications is an important direction of computer systems research involving developments in operating systems, programming languages and dat...
Daniel Hagimont
FMOODS
2008
13 years 11 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
FORTE
1997
13 years 11 months ago
A Framework for Distributed Object-Oriented Testing
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheu...