Michael González Harbour, Juan Antonio de la Puente
Proceedings of the Fourth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 1999.

@proceedings{AdaEurope-1999,
	address       = "Santander, Spain",
	editor        = "Michael González Harbour and Juan Antonio de la Puente",
	isbn          = "3-540-66093-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fourth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 1622,
	year          = 1999,
}

Contents (37 items)

21 ×#ada
5 ×#design
4 ×#embedded
4 ×#implementation
4 ×#realtime
4 ×#using
3 ×#architecture
3 ×#runtime
3 ×#source code
2 ×#development

AdaEurope-1999-Locke #ada #architecture #realtime

An Architectual Perspective of Real-Time Ada Applications (CDL), pp. 1–11.

AdaEurope-1999-LundqvistAM #ada #formal method

A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.

AdaEurope-1999-KamradS #ada #implementation #runtime

An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch (JMKI, BAS), pp. 26–38.

AdaEurope-1999-ChapmanD #safety #using

Re-engeneering a Safety-Critical Application Using SPARK 95 and GNORT (RC, RD), pp. 39–51.

AdaEurope-1999-Frost #ada #certification #embedded #safety

An Ada95 Solution for Certification of Embedded Safety Critical Applications (JF), pp. 52–63.

AdaEurope-1999-Emery #architecture #framework

Architectural Frameworks: Defining the Contents of Architectural Descriptions (DEE), pp. 64–75.

AdaEurope-1999-Strohmeier #ada #design #object-oriented

Mapping Object-Oriented Designs to Ada (AS), pp. 76–90.

AdaEurope-1999-Jimenez-PerisPBA #parallel #performance #thread

Efficient and Extensible Multithreaded Remote Servers (RJP, MPM, FJB, SA), pp. 91–102.

AdaEurope-1999-Hemeury #empirical

Report on the VERA Experiment (BH), pp. 103–113.

AdaEurope-1999-Fernandez #object-oriented #testing

Acceptance Testing of Object Oriented Systems (JLF), pp. 114–123.

AdaEurope-1999-GonzalezC #ada #development #realtime #source code #specification

Environment for the Development and Specification of Real-Time Ada Programs (AG, AC), pp. 124–135.

AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation

Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.

AdaEurope-1999-BrunetonP #ada #automation #concurrent #source code #verification

Automatic Verification of Concurrent Ada Programs (EB, JFPP), pp. 146–157.

AdaEurope-1999-GarciaV #ada #petri net

Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.

AdaEurope-1999-BreguetZ

Railway Scale Model Simulator (PB, LZ), pp. 170–180.

AdaEurope-1999-Korochkin #ada #education

Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine (AK), pp. 181–186.

AdaEurope-1999-Canazzi #ada #framework #runtime

yaRTI, an Ada 95 HLA Run-Time Infrastructure (DC), pp. 187–198.

AdaEurope-1999-Tuosto #ada #coordination #implementation #network

An Ada95 Implementation of a Network Coordination Language with Code Mobility (ET), pp. 199–210.

AdaEurope-1999-PautetQT #corba #question

CORBA & DSA: Divorce or Marriage? (LP, TQ, ST), pp. 211–225.

AdaEurope-1999-MirandaGMG #ada #empirical #how

How to Modify the GNAT Frontend tp Experiment with Ada Extensions (FJMG, FGS, JM, AG), pp. 226–237.

AdaEurope-1999-Hagenauer #distributed #on the #simulation #using

On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems (HH), pp. 238–249.

AdaEurope-1999-Kamrad #ada

An Application (Layer 7) Routing Switch with Ada95 Software (JMKI), pp. 250–262.

AdaEurope-1999-BliebergerKK #ada

Ada Binding to a Shared Object Layer (JB, JK, EK), pp. 263–274.

AdaEurope-1999-RealW #multi #protocol #realtime

The Ceiling Protocol in Multi-moded Real-Time Systems (JR, AJW), pp. 275–286.

AdaEurope-1999-ShenCB #ada #implementation #kernel #linux #multi

A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel (HS, AC, TPB), pp. 287–297.

AdaEurope-1999-RuizG #implementation #low level #runtime

Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.

AdaEurope-1999-Kordon #ada

MetaScribe, an Ada-based Tool for the Construction of Transformation Engines (FK), pp. 308–319.

AdaEurope-1999-MillanLM #ada #adaptation #java #persistent #using

An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogenous Applications using Persistence (TM, ML, FM), pp. 320–331.

AdaEurope-1999-FranchPV #component #library #non-functional #using

Browsing a Component Library Using Non-functional Information (XF, JP, JV), pp. 332–343.

AdaEurope-1999-FornaciariS #co-evolution #design #embedded

HW/SW Co-design of Embedded Systems (WF, DS), pp. 344–355.

AdaEurope-1999-LopezVV #ada #design #embedded #hardware #using

Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL (AL, MV, EV), pp. 356–370.

AdaEurope-1999-Mermet #design #specification #standard

System on Chip Specification and Design Languages Standardization (JM), pp. 371–384.

AdaEurope-1999-RogersW #fault tolerance #incremental

An Incremental RecoveryCache Supporting Sotware Fault Tolerance (PR, AJW), pp. 385–396.

AdaEurope-1999-KienzleS

Shared Recoverable Objects (JK, AS), pp. 397–411.

AdaEurope-1999-WolfS #ada #distributed #fault tolerance #replication

Fault Tolerance by Transparent Replication for Distributed Ada 95 (TW, AS), pp. 412–424.

AdaEurope-1999-VardanegaCP #case study #embedded #realtime #reuse #using

A Case Study in the Reuse of On-board Embedded Real-Time Software (TV, GC, JSP), pp. 425–436.

AdaEurope-1999-Rosskopf #ada #architecture #design #development

Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches (AR), pp. 437–449.