Ada-Europe 2009: Brest, France

• Alessandro Zovi, Tullio Vardanega:
  Requirements on the Target Programming Language for High-Integrity MDE. 1-15
  
• Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente:
  A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. 16-29
  
• Julien Delange, Laurent Pautet, Peter H. Feiler:
  Validating Safety and Security Requirements for Partitioned Architectures. 30-43
  
• Man Fai Lau, Yuen-Tak Yu:
  On Comparing Testing Criteria for Logical Decisions. 44-58
  
• Didier Buchs, Levi Lucio, Ang Chen:
  Model Checking Techniques for Test Generation from Business Process Models. 59-74
  
• Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos:
  An Experience on Ada Programming Using On-Line Judging. 75-89
  
• Claude Kaiser, Jean-François Pradat-Peyre:
  Weak Fairness Semantic Drawbacks in Java Multithreading. 90-104
  
• Mario Aldea Rivas, Michael González Harbour, José F. Ruiz:
  Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT. 105-118
  
• Alan Burns, Andy J. Wellings, Fengxiang Zhang:
  Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005. 119-133
  
• Amine Marref, Guillem Bernat:
  Predicated Worst-Case Execution-Time Analysis. 134-148
  
• Sergio Saez, Silvia Terrasa, Vicente Lorente Garcés, Alfons Crespo:
  Implementing Reactive Systems with UML State Machines and Ada 2005. 149-163
  
• José L. Fernández-Sánchez, Gloria Mármol Acitores:
  Modelling and Evaluating Real-Time Software Architectures. 164-176
  
• Liliana Favre:
  A Formal Foundation for Metamodeling. 177-191
  
• Lei Pi, Jean-Paul Bodeveix, Mamoun Filali:
  Modeling AADL Data Communication with BIP. 192-206
  
• Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat:
  Formal Verification of AADL Specifications in the Topcased Environment. 207-221
  
• Oleg Sokolsky, Insup Lee, Duncan Clarke:
  Process-Algebraic Interpretation of AADL Models. 222-236
  
• Gilles Lasnier, Bechir Zalila, Laurent Pautet, Jérôme Hugues:
  Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. 237-250
  
• Eric Le Pors, Olivier Grisvard:
  Conceptual Modeling for System Requirements Enhancement. 251-265
  
• Christine Choppy, Olivier Bertrand, Patrice Carle:
  Coloured Petri Nets for Chronicle Recognition. 266-281