Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. The 26 revised full papers presented together with 6 invited papers and 2 system descriptions were carefully reviewed and selected from 59 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, process algebras, algebraic specification, semantic specification, model checking, mu-calculus, Petri box algebras, unification, verification of Java for smart cards, security, JML specification, and formal software development
proceedings (reports)
1 online resource (xi, 501 pages) : illustrations
9783540457190, 3540457194
50707628
Print version:International Conference on Algebraic Methodology and Software Technology (9th : 2002 : Saint-Gilles-les-Bains, R♭union)
Invited Papers
From Specifications to Code in Casl
Automata and Games for Synthesis
Pragmatics of Modular SOS
Tool-Assisted Specification and Verification of the JavaCard Platform
Higher-Order Quantification and Proof Search*
Algebraic Support for Service-Oriented Architecture
Regular Papers
Fully Automatic Adaptation of Software Components Based on Semantic Specifications*
HasCasl: Towards Integrated Specification and Development of Functional Programs
Removing Redundant Arguments of Functions*
A Class of Decidable Parametric Hybrid Systems
Vacuity Checking in the Modal Mu-Calculus*
On Solving Temporal Logic Queries
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations*
An Algebra of Non-safe Petri Boxes
Refusal Simulation and Interactive Games
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
Equational Axioms for Probabilistic Bisimilarity
Bisimulation by Unification*
Transforming Processes to Check and Ensure Information Flow Security*
On Bisimulations for the Spi Calculus*
Specifying and Verifying a Decimal Representation in Java for Smart Cards*
A Method for Secure Smartcard Applications
Extending JML Specifications with Temporal Logic
Algebraic Dynamic Programming
Analyzing String Buffers in C
A Foundation of Escape Analysis*
A Framework for Order-Sorted Algebra
Guarded Transitions in Evolving Specifications
Revisiting the Categorical Approach to Systems*
Proof Transformations for Evolutionary Formal Software Development
Sharing Objects by Read-Only References
Class-Based versus Object-Based: A Denotational Comparison
System Descriptions
BRAIN: Backward Reachability Analysis with Integers
The Development Graph Manager Maya
English