In this issue

Papers published: 7

Total pages: 104

Unique views: 3759

Total views: 4502

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: 510 | Total: 594  | 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: 516 | Total: 588  | 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: 510 | Total: 612  | 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: 541 | Total: 688  | 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: 546 | Total: 666  | 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: 572 | Total: 681  | 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: 564 | Total: 673  | Access Period:
 173-188
HTML
XML
PDF

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

OK