Proceedings of the Eighth 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

Jean-Pierre Rosen, Alfred Strohmeier
Proceedings of the Eighth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2003.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{AdaEurope-2003,
	address       = "Toulouse, France",
	editor        = "Jean-Pierre Rosen and Alfred Strohmeier",
	isbn          = "3-540-40376-0",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 2655,
	year          = 2003,
}

Contents (32 items)

AdaEurope-2003-Leroy #ada
An Invitation to Ada 2005 (PL), pp. 1–23.
AdaEurope-2003-MeziniO #modelling
Modules for Crosscutting Models (MM, KO), pp. 24–44.
AdaEurope-2003-Kienzle #fault tolerance #overview #perspective
Software Fault Tolerance: An Overview (JK), pp. 45–67.
AdaEurope-2003-AmeyD
High Integrity Ravenscar (PA, BD), pp. 68–79.
AdaEurope-2003-BurnsL #verification
Adding Temporal Annotations and Associated Verification to Ravenscar Profile (AB, TML), pp. 80–91.
AdaEurope-2003-HolstiL #framework #platform #strict
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software (NH, TL), pp. 92–101.
AdaEurope-2003-Lamm #ada #design #education #java
Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design (EL), pp. 102–112.
AdaEurope-2003-BrosgolW #ada #comparison #java #realtime
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for Java (BMB, AJW), pp. 113–128.
AdaEurope-2003-BriotGDCW #ada #memory management
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada (EB, FG, RD, DC, PW), pp. 129–141.
AdaEurope-2003-BliebergerBS #analysis
Busy Wait Analysis (JB, BB, BS), pp. 142–152.
AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.
AdaEurope-2003-EvangelistaKPR #ada #analysis #concurrent #named #source code
Quasar: A New Tool for Concurrent Ada Programs Analysis (SE, CK, JFPP, PR), pp. 168–181.
AdaEurope-2003-MartelSMH #visual notation
A Graphical Environment for GLADE (EM, FGS, JM, LH), pp. 182–195.
AdaEurope-2003-AlvesJH #ada #using #xml
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project (MAA, AJ, MH), pp. 196–207.
AdaEurope-2003-Patinno-MartinezJR #fault tolerance #transaction
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance (MPM, RJP, ABR), pp. 208–219.
AdaEurope-2003-MinguetGFL #metric #using
Getting System Metrics Using POSIX Tracing Services (AEM, VLG, AGF, ACiL), pp. 220–231.
AdaEurope-2003-EvancoV #ada #architecture #fault
Some Architectural Features of Ada Systems Affecting Defects (WME, JMV), pp. 232–245.
AdaEurope-2003-KuballH #approach #certification
Evidential Volume Approach for Certification (SK, GH), pp. 246–257.
AdaEurope-2003-GreinKW #ada #overview #physics
A Survey of Physical Unit Handling Techniques in Ada (CG, DAK, FW), pp. 258–270.
AdaEurope-2003-Heaney #ada #data type #library #named
Charles: A Data Structure Library for Ada95 (MH), pp. 271–282.
AdaEurope-2003-FranchM #ada #library #quality #standard
A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
AdaEurope-2003-Mikkonen #case study #experience #specification #tool support #using
Experiences on Developing and Using a Tool Support for Formal Specification (TM), pp. 297–308.
AdaEurope-2003-LinM #behaviour #object-oriented #programming #type system
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95 (TML, JAM), pp. 309–321.
AdaEurope-2003-MasmanoRRC #ada #linux #realtime
Running Ada on Real-Time Linux (MM, JR, IR, AC), pp. 322–333.
AdaEurope-2003-BurnsHW #ada #policy #scheduling
A Round Robin Scheduling Policy for Ada (AB, MGH, AJW), pp. 334–343.
AdaEurope-2003-GonzalezH #ada
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 (FJMG, MGH), pp. 344–358.
AdaEurope-2003-AlonsoPZ #development #testing
A Test Environment for High Integrity Software Development (AA, JAdlP, JZ), pp. 359–267.
AdaEurope-2003-ChanCT #normalisation #random testing #strict #testing
Normalized Restricted Random Testing (KPC, TYC, DT), pp. 368–381.
AdaEurope-2003-JeppuKS #ada #realtime #safety #testing #using
Testing Safety Critical Ada Code Using Non Real Time Testing (YVJ, KK, PSS), pp. 382–392.
AdaEurope-2003-Thom #ada #standard #uml
The Standard UML-Ada Profile (FT), pp. 394–404.
AdaEurope-2003-MazziniDNDLV #named #uml
HRT-UML: Taking HRT-HOOD onto UML (SM, MD, MDN, AD, GL, TV), pp. 405–416.
AdaEurope-2003-OrtizAPS #architecture #case study #evaluation #performance #realtime #uml #using
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST (FJO, , JAP, PS), pp. 417–428.

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.