In this issue

Papers published: 7

Total pages: 104

Unique views: 6139

Total views: 7643

open access

Go to issue

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

Download
Tool Support for the Interactive Derivation ...
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: 869 | Total: 1080
 173-188
HTML
XML
PDF
HOL-Z 2.0: A Proof Environment for Z-Specifications
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: 958 | Total: 1153
 152-172
HTML
XML
PDF
A Case Study in Verification of UML Statecharts: ...
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: 846 | Total: 1098
 138-151
HTML
XML
PDF
Optimized Temporal Logic Compilation
Research Article
Optimized Temporal Logic Compilation
Andreas Krebs, Jürgen Ruf
10.3217/jucs-009-02-0120
 28-02-2003
 Unique: 922 | Total: 1207
 120-137
HTML
XML
PDF
Checking Object System Designs Incrementally
Research Article
Checking Object System Designs Incrementally
Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger
10.3217/jucs-009-02-0106
 28-02-2003
 Unique: 829 | Total: 1006
 106-119
HTML
XML
PDF
Moby/RT: A Tool for Specification and ...
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: 889 | Total: 1088
 88-105
HTML
XML
PDF
J.UCS Special Issue on Tools for System ...
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: 826 | Total: 1011
 86-87
HTML
XML
PDF

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

OK