In this issue

Papers published: 8

Total pages: 190

Unique views: 5035

Total views: 6275

open access

Go to issue

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

Download
Quo ...
Editorial
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz
10.3217/jucs-014-12
 28-06-2008
 Unique: 567 | Total: 689  | Access Period:
 1921-1928
HTML
XML
PDF
ASM ...
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 660 | Total: 797  | Access Period:
 1929-1948
HTML
XML
PDF
A ...
Research Article
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
10.3217/jucs-014-12-1949
 28-06-2008
 Unique: 761 | Total: 956  | Access Period:
 1949-1983
HTML
XML
PDF
Simulation ...
Research Article
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
10.3217/jucs-014-12-1984
 28-06-2008
 Unique: 580 | Total: 688  | Access Period:
 1984-2006
HTML
XML
PDF
The ...
Research Article
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering
Martin Ouimet, Kristina Lundqvist
10.3217/jucs-014-12-2007
 28-06-2008
 Unique: 614 | Total: 801  | Access Period:
 2007-2033
HTML
XML
PDF
ASMs ...
Research Article
ASMs in Service Oriented Architectures
Michael Altenhofen, Andreas Friesen, Jens Lemcke
10.3217/jucs-014-12-2034
 28-06-2008
 Unique: 613 | Total: 750  | Access Period:
 2034-2058
HTML
XML
PDF
Modularizing ...
Research Article
Modularizing Theorems for Software Product Lines: The Jbook Case Study
Don Batory, Egon Börger
10.3217/jucs-014-12-2059
 28-06-2008
 Unique: 600 | Total: 771  | Access Period:
 2059-2082
HTML
XML
PDF
What ...
Research Article
What is Correctness of Security Protocols?
Giampaolo Bella
10.3217/jucs-014-12-2083
 28-06-2008
 Unique: 640 | Total: 823  | Access Period:
 2083-2106
HTML
XML
PDF

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

OK