In this issue

Papers published: 8

Total pages: 186

Unique views: 7574

Total views: 9564

open access

Go to issue

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

Download
Quo Vadis Abstract State Machines?
Editorial
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz
10.3217/jucs-014-12
 28-06-2008
 Unique: 877 | Total: 1074
 1921-1928
HTML
XML
PDF
ASM Refinement Preserving Invariants
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 934 | Total: 1152
 1929-1948
HTML
XML
PDF
A Metamodel-based Language and a Simulation ...
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: 1108 | Total: 1384
 1949-1983
HTML
XML
PDF
Simulation of Timed Abstract State Machines ...
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: 879 | Total: 1111
 1984-2006
HTML
XML
PDF
The Timed Abstract State Machine Language: ...
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: 1014 | Total: 1334
 2007-2033
HTML
XML
PDF
ASMs in Service Oriented Architectures
Research Article
ASMs in Service Oriented Architectures
Michael Altenhofen, Andreas Friesen, Jens Lemcke
10.3217/jucs-014-12-2034
 28-06-2008
 Unique: 944 | Total: 1151
 2034-2058
HTML
XML
PDF
Modularizing Theorems for Software Product ...
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: 899 | Total: 1152
 2059-2082
HTML
XML
PDF
What is Correctness of Security Protocols?
Research Article
What is Correctness of Security Protocols?
Giampaolo Bella
10.3217/jucs-014-12-2083
 28-06-2008
 Unique: 919 | Total: 1206
 2083-2106
HTML
XML
PDF

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

OK