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