Sciweavers

8 search results - page 2 / 2
» pdse 1998
Sort
View
PDSE
1998
105views more  PDSE 1998»
13 years 6 months ago
A Case-Based Parallel Programming System
This paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base fo...
Katsuhiro Yamazaki, Shoichi Ando
PDSE
1998
114views more  PDSE 1998»
13 years 6 months ago
Tool Supported Specification and Simulation of Distributed Systems
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
Franz Huber, Sascha Molterer, Andreas Rausch, Bern...
PDSE
1998
126views more  PDSE 1998»
13 years 6 months ago
Validation and Test Generation for Object-Oriented Distributed Software
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
Thierry Jéron, Jean-Marc Jézé...