Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Front Cover
Environmental chemistry is a new, fast developing science aimed at deciphering fundamental mechanisms ruling the behaviour of pollutants in ecosystems. Applying this knowledge to current environmental issues leads to the remediation of environmental media, and to new, low energy, low emission, sustainable processes. This book describes the state-of-the-art advances regarding the pollution of water, soils, atmosphere, food and living organisms by toxic metals, fossil fuels, pesticides and other organic pollutants. Furthermore, the eco-toxicology section presents novel bio-assays to assess the toxicity of various pollutants such as dioxins and endocrine disrupters within complex media. The green chemistry section highlights novel chemical reactions based upon environmentally friendly conditions. The analytical chemistry section describes very sensitive methods which trace the fate of pollutants in complex ecosystems.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Software Testing Research and Practice
1
Abstract State Processes
22
Recent Advances in Refinement
33
Partial Updates Exploration II
57
Experiments with Test Case Generation and Runtime Analysis
87
A Framework for Proving Contract Equipped Classes
108
Mobile UNITY Schemas for Agent Coordination
126
UML and Concurrency
151
Deciding the Verification Problem for Abstract State Machines
341
An ASM Semantics of UML Derived from the Metamodel and Incorporating Actions
356
An ASM Model Part I
372
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines
391
Using AsmL for Runtime Verification
407
Modeling Information Services on the Basis of ASM Semantics
408
Designing the Parlay CallControl Using ASMs
411
Test Case Generation from AsmL Specifications
413

A Unified Formal Specification and Analysis of the New Java Memory Models
166
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines
186
Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks
204
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes
218
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines
229
The Hidden Computation Stepsof Turbo Abstract State Machines
244
Using Spin to Generate Testsfrom ASM Specifications
263
Interfacing ASM with the MDG Tool
278
A Comparison with New Insights
293
Quantum Computing and Abstract State Machines
309
Consistent Integration for Sequential Abstract State Machines
324
Opportunities in Undergraduate Education
414
Using ASM Specifications for Compiler Testing
415
ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction
416
AsmL Specification of a Ptolemy II Scheduler
417
ASM Specification of Database Systems
418
The Computable Kernel of ASM
421
A Nonstandard Approach to Operational Semantics for Timed Systems
423
Parallelism versus Nondeterminism On the Semantics of Abstract State Machines
425
Author Index
426
Copyright

Other editions - View all

Common terms and phrases