Mats Brorsson, Luís Miguel Pinho
Proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2012.

@proceedings{AdaEurope-2012,
	address       = "Stockholm, Sweden",
	doi           = "10.1007/978-3-642-30598-6",
	editor        = "Mats Brorsson and Luís Miguel Pinho",
	isbn          = "978-3-642-30597-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 7308,
	year          = 2012,
}

Contents (15 items)

6 ×#ada
5 ×#development
3 ×#realtime
2 ×#component
2 ×#design
2 ×#implementation
2 ×#modelling
2 ×#performance
2 ×#source code

AdaEurope-2012-PanunzioV #ada #component #development

Ada Ravenscar Code Archetypes for Component-Based Development (MP, TV), pp. 1–17.

AdaEurope-2012-SaezRC #framework #multi #realtime

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications (SS, JR, AC), pp. 18–34.

AdaEurope-2012-Garcia-VallsI #ada #configuration management #distributed #middleware #realtime

Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA (MGV, FIV), pp. 35–48.

AdaEurope-2012-RuizCM #ada #development #source code

Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012 (JFR, CC, YM), pp. 49–59.

AdaEurope-2012-Tempelmeier #ada #concept #education #programming language

Teaching “Concepts of Programming Languages” with Ada (TT), pp. 60–74.

AdaEurope-2012-ForlerLW #api #design #encryption #library #programming

Designing the API for a Cryptographic Library — A Misuse-Resistant Application Programming Interface (CF, SL, JW), pp. 75–88.

AdaEurope-2012-MartinezV #component #development #modelling #requirements

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development (PLM, TV), pp. 89–104.

AdaEurope-2012-FariaMP #ada #approach #model checking #source code

An Approach to Model Checking Ada Programs (JMF, JM, JSP), pp. 105–118.

AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling

Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.

AdaEurope-2012-Iliasov #case study #development #reasoning

Augmenting Formal Development with Use Case Reasoning (AI), pp. 133–146.

AdaEurope-2012-PereverzevaTL #development

Formal Goal-Oriented Development of Resilient MAS in Event-B (IP, ET, LL), pp. 147–161.

AdaEurope-2012-PoonCT #classification

Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology (PLP, TYC, THT), pp. 162–176.

AdaEurope-2012-GregertsenS #execution #hardware #performance #using

Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit (KNG, AS), pp. 177–192.

AdaEurope-2012-FairbairnB #implementation #verification

Implementing and Verifying EDF Preemption-Level Resource Control (MLF, AB), pp. 193–206.

AdaEurope-2012-PolzlbauerBB #constraints #design #performance #realtime #reliability

Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems (FP, IB, EB), pp. 207–220.