In this issue

Papers published: 8

Total pages: 190

Printed version: Paperback

open access

Go to issue

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

Download
Editorial
Quo Vadis Abstract State Machines?
Egon Börger, Andreas Prinz
10.3217/jucs-014-12
 28-06-2008
 Unique: 95 | Total: 113  | Access Period:
 1921-1928
HTML
XML
PDF
Research Article
ASM Refinement Preserving Invariants
Gerhard Schellhorn
10.3217/jucs-014-12-1929
 28-06-2008
 Unique: 107 | Total: 131  | Access Period:
 1929-1948
HTML
XML
PDF
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: 116 | Total: 150  | Access Period:
 1949-1983
HTML
XML
PDF
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: 102 | Total: 119  | Access Period:
 1984-2006
HTML
XML
PDF
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: 99 | Total: 129  | Access Period:
 2007-2033
HTML
XML
PDF
Research Article
ASMs in Service Oriented Architectures
Michael Altenhofen, Andreas Friesen, Jens Lemcke
10.3217/jucs-014-12-2034
 28-06-2008
 Unique: 103 | Total: 124  | Access Period:
 2034-2058
HTML
XML
PDF
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: 99 | Total: 123  | Access Period:
 2059-2082
HTML
XML
PDF
Research Article
What is Correctness of Security Protocols?
Giampaolo Bella
10.3217/jucs-014-12-2083
 28-06-2008
 Unique: 105 | Total: 130  | Access Period:
 2083-2106
HTML
XML
PDF

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

OK