Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kirchner, Helene (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Ringeissen, Christophe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2422
• Θέματα: Computers.; Software engineering.; Algebra.; Computer logic.; Mathematical logic.; Theory of Computation.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Software Engineering.

This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9-13, 2002, in Saint-Gilles-les-Bains, R´eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to...

Πίνακας περιεχομένων:

• 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.