Search Sciweavers | Sciweavers

983 search results - page 25 / 197

» Object-oriented Abstractions for Distributed Programming

120

click to vote

CAISE
1995
Springer

99views Information Technology» more CAISE 1995»

Process Improvement - The Way Forward

15 years 5 months ago

Download www.doc.ic.ac.uk

, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...

M. M. Lehman

claim paper

Read More »

135

click to vote

VMCAI
2004
Springer

149views Software Engineering» more VMCAI 2004»

Automatic Inference of Class Invariants

15 years 7 months ago

Download research.microsoft.com

Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...

Francesco Logozzo

claim paper

Read More »

click to vote

JOT
2002

105views more JOT 2002»

Java Distributed Separate Objects

15 years 1 months ago

Download www.jot.fm

Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...

Miguel Katrib, Iskander Sierra, Mario del Valle, T...

claim paper

Read More »

click to vote

ESOP
2004
Springer

120views Programming Languages» more ESOP 2004»

Modal Proofs as Distributed Programs (Extended Abstract)

15 years 7 months ago

Download www.cs.princeton.edu

Limin Jia, David Walker

claim paper

Read More »