AuthorASM 2003 (2003 : Taormina, Italy)
TitleAbstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings / Egon Borger, Angelo Gargantini, Elvinia Riccobene (eds.)
Imprint Berlin : Springer, c2003
Descript xi, 424 p. : ill. ; 24 cm

CONTENT

Software testing research and practice -- Abstratc state processes -- Recent advances in refinement -- Partial updates exploration II -- Experiments with test case generation and runtime analysis -- A framework for proving contract-equipped classes -- Mobile UNITY schemes for agent coordination -- UML and concurrency -- A unified formal specification and analysis of the new Java memory models -- Modelling conditional knowledge discovery and belief revision by abstract state machines -- Formal description of a distributed location service for mobile Ad Hoc networks -- Remarks on turbo ASMs for functional equations and recursion schemes -- Integrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines -- The hidden computation steps of turbo abstract state machines -- Using spin to generate tests from AS specifications -- Interfacing ASM with the MDG tool -- ASMs versus natural semantics: a comparison with new insights -- Quantum computing and abstract state machines -- Consistent integration for equential abstract state machines -- Deciding the verification problem for abstract state machines -- An ASM semantics of UML derived from the meta-model and incorporating actions -- Privacy, abstract encryption and protocols: an ASM model - part I -- A framework for modeling the semantics of expression evaluation with abstract state machines -- Using AsmL for runtime verification -- Modeling information services on the basis of ASM semantics -- Design the parlay call-control using ASMs -- Test case generation from AsmL specifications -- Teching ASMs, teaching with ASMs: opportunities in undergraduate education -- Using ASM specifications for compiler testing -- ASMs as integration platform towards verification and validation of distributed production control systems at multiple levels of abstraction --AsmL specification of a Ptolemy II scheduler -- SM specification of database systems -- The computable kernel of ASM -- A non-standard approach to operational semantics -- Parallelism versus nondeterminism: on the semantics of abstract state machines


SUBJECT

  1. Machine theory -- Congresses

LOCATIONCALL#STATUS
Central Library (4th Floor)511.3 A836A 2003 CHECK SHELVES