Alexander Romanovsky, Tullio Vardanega
Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2011.

@proceedings{AdaEurope-2011,
	address       = "Edinburgh, Scotland, United Kingdom",
	doi           = "10.1007/978-3-642-21338-0",
	editor        = "Alexander Romanovsky and Tullio Vardanega",
	isbn          = "978-3-642-21337-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 6652,
	year          = 2011,
}

Contents (20 items)

6 ×#ada
3 ×#design
3 ×#framework
3 ×#implementation
3 ×#parallel
3 ×#realtime
3 ×#using
2 ×#analysis
2 ×#manycore
2 ×#modelling

AdaEurope-2011-OLeary #reliability #using #web #web service

Assuring Software Reliability While Using Web Services and Commercial Products (JO), pp. 1–16.

AdaEurope-2011-RazaFP #detection #fault #parallel #source code

Detecting High-Level Synchronization Errors in Parallel Programs (SAR, SF, EP), pp. 17–30.

AdaEurope-2011-ChouteauR #design #implementation #multi

Design and Implementation of a Ravenscar Extension for Multiprocessors (FC, JFR), pp. 31–45.

AdaEurope-2011-SaezTC #ada #framework #multi #platform #realtime #using

A Real-Time Framework for Multiprocessor Platforms Using Ada 2012 (SS, ST, AC), pp. 46–60.

AdaEurope-2011-CoqR #ada #analysis #modelling #quality #source code

The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code (TC, JPR), pp. 61–74.

AdaEurope-2011-EilersK #adaptation #framework #testing

Adapting ACATS to the Ahven Testing Framework (DE, TK), pp. 75–88.

AdaEurope-2011-MedinaC #ada #analysis #design #distributed #modelling #realtime #uml

Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.

AdaEurope-2011-JohnsenL

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (AJ, KL), pp. 103–117.

AdaEurope-2011-CarnevaliLPV #approach #design #formal method #scheduling #verification

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems (LC, GL, AP, EV), pp. 118–131.

AdaEurope-2011-Rodriguez-LopezG #abstraction #architecture #middleware #paradigm

Architecting a Common Bridge Abstraction over Different Middleware Paradigms (IRL, MGV), pp. 132–146.

AdaEurope-2011-ChilAOP #ada #interface #using

Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot (RC, DA, FJO, JAP), pp. 147–159.

AdaEurope-2011-EsquinasZPMRC #ada #clustering #framework #platform

ORK+/XtratuM: An Open Partitioning Platform for Ada (ÁE, JZ, JAdlP, MM, IR, AC), pp. 160–173.

AdaEurope-2011-BaruahB #ada #implementation

Implementing Mixed Criticality Systems in Ada (SKB, AB), pp. 174–188.

AdaEurope-2011-Ploedereder #manycore #programming language

Programming Languages Meet Multicore (EP), pp. 189–192.

AdaEurope-2011-Burns #hardware #parallel #programming language #realtime

Programming Languages for Real-Time Applications Executing on Parallel Hardware (AB), pp. 193–195.

AdaEurope-2011-Taft #implementation #manycore #parallel #programming #specification

Multicore Programming in ParaSail — Parallel Specification and Implementation Language (STT), pp. 196–200.

AdaEurope-2011-ChapmanJ

OOT, DO-178C and SPARK (RC, TJ), pp. 206–210.

AdaEurope-2011-Daniels #object-oriented

Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems (DD), pp. 211–213.

AdaEurope-2011-Rosen #object-oriented

Object Orientation in Critical Systems: Yes, in Moderation (JPR), pp. 214–218.

AdaEurope-2011-Hatton #evolution #natural language #on the

On the Evolution of Unnatural Language (LH), pp. 219–225.