In this issue

Papers published: 8

Total pages: 190

Unique views: 4973

Total views: 6168

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: 563 | Total: 679  | 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: 653 | Total: 785  | 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: 751 | Total: 940  | 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: 569 | Total: 675  | 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: 603 | Total: 776  | 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: 609 | Total: 743  | 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: 588 | Total: 755  | 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: 637 | Total: 815  | Access Period:
 2083-2106
HTML
XML
PDF

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

OK