Johann Blieberger, Alfred Strohmeier
Proceedings of the Seventh Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2002.

@proceedings{AdaEurope-2002,
	address       = "Vienna, Austria",
	editor        = "Johann Blieberger and Alfred Strohmeier",
	isbn          = "3-540-43784-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Seventh Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 2361,
	year          = 2002,
}

Contents (28 items)

12 ×#ada
4 ×#analysis
4 ×#development
4 ×#using
3 ×#embedded
3 ×#object-oriented
2 ×#case study
2 ×#concurrent
2 ×#design
2 ×#distributed

AdaEurope-2002-Boasson #embedded #object-oriented

Embedded Systems Unsuitable for Object Orientation (MB), pp. 1–12.

AdaEurope-2002-Jazayeri #architecture #evolution #on the

On Architectural Stability and Evolution (MJ), pp. 13–23.

AdaEurope-2002-DoudouGG #detection #encapsulation

Encapsulating Failure Detection: From Crash to Byzantine Failures (AD, BG, RG), pp. 24–50.

AdaEurope-2002-Ferscha #named #physics

Contextware: Bridging Physical and Virtual Worlds (AF), pp. 51–64.

AdaEurope-2002-ChatzigeorgiouS #embedded #object-oriented #performance #power of #programming

Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors (AC, GS), pp. 65–75.

AdaEurope-2002-LobatoL #memory management

OMC-INTEGRAL Memory Management (JMPL, EML), pp. 76–87.

AdaEurope-2002-WardA #ada #compilation #hardware

Language Issues of Compiling Ada to Hardware (MW, NCA), pp. 88–99.

AdaEurope-2002-Hoe #case study #development #experience #re-engineering

Software Development Reengineering — An Experience Report (AH), pp. 100–112.

AdaEurope-2002-OrtizMAIF #ada #development #uml #using

Development of a Control System for Teleoperated Robots Using UML and Ada95 (FJO, ASM, BÁ, AI, JMF), pp. 113–124.

AdaEurope-2002-BinderL #embedded #execution #java #kernel #reliability #using

Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications (WB, BL), pp. 125–135.

AdaEurope-2002-RivasH #interface #scheduling

A POSIX-Ada Interface for Application-Defined Scheduling (MAR, MGH), pp. 136–150.

AdaEurope-2002-Amey #analysis #design

Closing the Loop: The Influence of Code Analysis on Design (PA), pp. 151–162.

AdaEurope-2002-ParkinsonG #composition #development #using

High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT (PP, FG), pp. 163–178.

AdaEurope-2002-GonzalezSMMG #ada #how

How to Use GNAT to Efficiently Preprocess New Ada Sentences (FJMG, FGS, EM, JM, AG), pp. 179–192.

AdaEurope-2002-DewarHCW #ada #runtime

Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada (RD, OH, DC, PW), pp. 193–204.

AdaEurope-2002-Lamm #ada #contract #design

Adding Design by Contract to the Ada Language (EL), pp. 205–218.

AdaEurope-2002-ChenBZY #ada #analysis #concurrent #dependence #source code

Static Dependency Analysis for Concurrent Ada 95 Programs (ZC, BX, JZ, HY), pp. 219–230.

AdaEurope-2002-CzarneckiHRVR #ada #analysis #approach #data flow #named

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95 (KC, MH, ER, FV, AR), pp. 231–244.

AdaEurope-2002-YuL #empirical #testing

Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study (YTY, MFL), pp. 245–256.

AdaEurope-2002-RybinS #ada #pretty-printing

About the Difficulties of Building a Pretty-Printer for Ada (SR, AS), pp. 257–268.

AdaEurope-2002-MartelSG #distributed #programming

A Tailorable Distributed Programming Environment (EM, FGS, FJMG), pp. 269–281.

AdaEurope-2002-MedinaGDH #ada #analysis #component #distributed #modelling #realtime #scheduling

Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components (JLM, JJG, JMD, MGH), pp. 282–296.

AdaEurope-2002-PinhoV

Transparent Environment for Replicated Ravenscar Applications (LMP, FV), pp. 297–308.

AdaEurope-2002-Patino-MartinezJKA #concurrent #transaction

Concurrency Control in Transactional Drago (MPM, RJP, JK, SA), pp. 309–320.

AdaEurope-2002-MinguetGC #ada #standard

An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard (AEM, AGF, AC), pp. 321–333.

AdaEurope-2002-Erdmann #ada #database #development

GNAT Ada Database Development Environment (ME), pp. 334–343.

AdaEurope-2002-Rosen #ada #interface #paradigm

Ada, Interfaces and the Listener Paradigm (JPR), pp. 344–356.

AdaEurope-2002-AlonsoLVP #case study #object-oriented #using

Using Object Orientation in High Integrity Applications: A Case Study (AA, RL, TV, JAdlP), pp. 357–366.