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

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

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

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.

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.