ASM 2003 | Sciweavers

13

ASM
2003
ASM

147views Computational Biology» more ASM 2003»

An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions

13 years 10 months ago

We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...

Ileana Ober

claim paper

Read More »

19

click to vote

ASM
2003
ASM

153views Computational Biology» more ASM 2003»

UML and Concurrency

13 years 10 months ago

Download homepages.inf.ed.ac.uk

Perdita Stevens

claim paper

Read More »

15

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

Privacy, Abstract Encryption and Protocols: An ASM Model - Part I

13 years 10 months ago

Download titan.fsb.hr

d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...

Dean Rosenzweig, Davor Runje, Neva Slani

claim paper

Read More »

16

click to vote

ASM
2003
ASM

138views Computational Biology» more ASM 2003»

A Framework for Proving Contract-Equipped Classes

13 years 10 months ago

Download se.ethz.ch

r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...

Bertrand Meyer

claim paper

Read More »

15

click to vote

ASM
2003
ASM

93views Computational Biology» more ASM 2003»

Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education

13 years 10 months ago

Download www.cs.mtu.edu

James Huggins, Jean Mayo, Charles Wallace

claim paper

Read More »

15

click to vote

ASM
2003
ASM

106views Computational Biology» more ASM 2003»

Partial Updates Exploration II

13 years 10 months ago

Download research.microsoft.com

Yuri Gurevich, Nikolai Tillmann

claim paper

Read More »

17

click to vote

ASM
2003
ASM

121views Computational Biology» more ASM 2003»

ASMs versus Natural Semantics: A Comparison with New Insights

13 years 10 months ago

Download www.info.uni-karlsruhe.de

Abstract. We compare three speciﬁcation frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...

Sabine Glesner

claim paper

Read More »

17

click to vote

ASM
2003
ASM

123views Computational Biology» more ASM 2003»

Designing the Parlay Call-Control Using ASMs

13 years 10 months ago

Download softeng.polito.it

Paolo Falcarin, Alessandra Cavarra

claim paper

Read More »

13

click to vote

ASM
2003
ASM

103views Computational Biology» more ASM 2003»

Remarks on Turbo ASMs for Functional Equations and Recursion Schemes

13 years 10 months ago

Download www.di.unipi.it

The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as deﬁned in [7] allow one to faithfully reﬂ...

Egon Börger, Tommaso Bolognesi

claim paper

Read More »

16

click to vote

ASM
2003
ASM

142views Computational Biology» more ASM 2003»

Abstract State Processes

13 years 10 months ago