In this issue

Papers published: 7

Total pages: 104

Printed version: Paperback

Unique views: 2746

Total views: 3285

open access

Go to issue

« Previous
Issue 9(2)
 Next »
Issue No
from 0 to 30
Number No
JUCS - Journal of Universal Computer Science 9(2) (2003)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
J.UCS Special Issue on Tools for System Design and Verification
Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
10.3217/jucs-009-02
 28-02-2003
 Unique: 361 | Total: 423  | Access Period:
 86-87
HTML
XML
PDF
Research Article
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
10.3217/jucs-009-02-0088
 28-02-2003
 Unique: 392 | Total: 438  | Access Period:
 88-105
HTML
XML
PDF
Research Article
Checking Object System Designs Incrementally
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
10.3217/jucs-009-02-0106
 28-02-2003
 Unique: 376 | Total: 447  | Access Period:
 106-119
HTML
XML
PDF
Research Article
Optimized Temporal Logic Compilation
Andreas Krebs, Jürgen Ruf
10.3217/jucs-009-02-0120
 28-02-2003
 Unique: 387 | Total: 494  | Access Period:
 120-137
HTML
XML
PDF
Research Article
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol
Robi Malik, Reinhard Mühlfeld
10.3217/jucs-009-02-0138
 28-02-2003
 Unique: 390 | Total: 478  | Access Period:
 138-151
HTML
XML
PDF
Research Article
HOL-Z 2.0: A Proof Environment for Z-Specifications
Achim Brucker, Frank Rittinger, Burkhart Wolff
10.3217/jucs-009-02-0152
 28-02-2003
 Unique: 427 | Total: 514  | Access Period:
 152-172
HTML
XML
PDF
Research Article
Tool Support for the Interactive Derivation of Formally Correct Functional Programs
Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs
10.3217/jucs-009-02-0173
 28-02-2003
 Unique: 413 | Total: 491  | Access Period:
 173-188
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK