Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
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...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
2422 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic methodology and software technology, 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, proceedings, Hélène Kirchner, Christophe Ringeissen (eds.), Berlin, Springer, 2002, 1 vol. (XI-501 p.), Lecture notes in computer science, 3-540-44144-1 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662210017 |
İçindekiler:
- 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.