Nabil Abdennadher, Fabrice Kordon
Proceedings of the 12th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2007.

@proceedings{AdaEurope-2007,
	address       = "Geneva, Switzerland",
	editor        = "Nabil Abdennadher and Fabrice Kordon",
	isbn          = "978-3-540-73229-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 4498,
	year          = 2007,
}

Contents (18 items)

9 ×#ada
4 ×#approach
4 ×#realtime
3 ×#modelling
2 ×#architecture
2 ×#compilation
2 ×#component
2 ×#detection
2 ×#distributed
2 ×#fault

AdaEurope-2007-WellingsB #ada #realtime

Real-Time Utilities for Ada 2005 (AJW, AB), pp. 1–14.

AdaEurope-2007-PulidoUZP #ada #fault

Handling Temporal Faults in Ada 2005 (JAP, SU, JZ, JAdlP), pp. 15–28.

AdaEurope-2007-RivasR #ada #implementation #realtime

Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT (MAR, JFR), pp. 29–40.

AdaEurope-2007-LanoixHHS #component #dependence

Enhancing Dependability of Component-Based Systems (AL, DH, MH, JS), pp. 41–54.

AdaEurope-2007-LauLCY #detection #fault #on the

On Detecting Double Literal Faults in Boolean Expressions (MFL, YL, TYC, YTY), pp. 55–68.

AdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis

Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.

AdaEurope-2007-ChanCCTZ #network #power management #testing #towards

Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks (WKC, TYC, SCC, THT, ZZ), pp. 84–99.

AdaEurope-2007-WooCJ #approach #compilation #representation #testing

An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers (GW, HSC, HJ), pp. 100–113.

AdaEurope-2007-BordinV #approach #correctness #metamodelling #realtime

Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach (MB, TV), pp. 114–127.

AdaEurope-2007-PanunzioV #analysis #metamodelling #modelling #process

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis (MP, TV), pp. 128–141.

AdaEurope-2007-ElleuchKA #approach #development #embedded #realtime

ArchMDE Approach for the Development of Embedded Real Time Systems (NE, AK, SBA), pp. 142–154.

AdaEurope-2007-ZalilaHHP #architecture #distributed #generative

Generating Distributed High Integrity Applications from Their Architectural Description (BZ, IH, JH, LP), pp. 155–167.

AdaEurope-2007-AlonsoVSAL #ada #approach #automation #code generation #modelling #using

Automatic Ada Code Generation Using a Model-Driven Engineering Approach (DA, CVC, PS, BÁ, FL), pp. 168–179.

AdaEurope-2007-SinghoffP #ada #empirical #library #towards

Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar (FS, AP), pp. 180–191.

AdaEurope-2007-KaiserPP #ada #concurrent #modelling

Modelling Remote Concurrency with Ada (CK, CP, JFPP), pp. 192–207.

AdaEurope-2007-BarbariaHP #component #design #distributed #performance

Design and Performance of a Generic Consensus Component for Critical Distributed Applications (KB, JH, LP), pp. 208–220.

AdaEurope-2007-MosteoM #ada #architecture #mobile #named #research

Sancta: An Ada 2005 General-Purpose Architecture for Mobile Robotics Research (ARM, LM), pp. 221–234.

AdaEurope-2007-Garcia-RodriguezMG #ada #compilation #garbage collection #precise

Incorporating Precise Garbage Collection in an Ada Compiler (FGR, JM, JFG), pp. 235–245.