Proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.