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

Dirk Craeynest, Alfred Strohmeier
Proceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2001.

PLT
DBLP
Scholar
Full names Links ISxN
@proceedings{AdaEurope-2001,
	address       = "6th Ade-Europe International Conference Leuven, Belgium",
	editor        = "Dirk Craeynest and Alfred Strohmeier",
	isbn          = "3-540-42123-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 2043,
	year          = 2001,
}

Contents (32 items)

AdaEurope-2001-Lamsweerde #modelling #reliability #requirements
Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.
AdaEurope-2001-HeraudL #ada #interactive #using
Using Ada in Interactive Digital Television Systems (PH, TL), pp. 21–34.
AdaEurope-2001-Gaudel #approach #specification #testing
Testing from Formal Specifications, a Generic Approach (MCG), pp. 35–48.
AdaEurope-2001-Amey #logic
Logic versus Magic in Critical Systems (PA), pp. 49–67.
AdaEurope-2001-BrosgolD #java #question #realtime
Can Java Meet Its Real-Time Deadlines? (BMB, BD), pp. 68–87.
AdaEurope-2001-GellerichP #ada #alias
Parameter-Induced Aliasing in Ada (WG, EP), pp. 88–99.
AdaEurope-2001-ChenBY #ada #slicing
Slicing Tagged Objects in Ada (ZC, BX, HY), pp. 100–112.
AdaEurope-2001-KuchumovRS #ada #library #named #object-oriented
OASIS — An ASIS Secondary Library for Analyzing Object-Oriented Ada Code (AK, SR, AS), pp. 113–122.
AdaEurope-2001-PautetQT #distributed
Building Modern Distributed Systems (LP, TQ, ST), pp. 123–135.
AdaEurope-2001-PinhoV #communication #distributed #reliability
Reliable Communication in Distributed Computer-Controlled Systems (LMP, FV), pp. 136–147.
AdaEurope-2001-SantanaGEC #legacy #reuse #robust
Building Robust Applications by Reusing Non-robust Legacy Software (FGS, FJMG, JMSE, JCRC), pp. 148–159.
AdaEurope-2001-Tokar #ada #runtime
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements (JLT), pp. 160–166.
AdaEurope-2001-CrespoBT #ada #implementation
Complex Task Implementation in Ada (AC, PB, ST), pp. 167–178.
AdaEurope-2001-BernatB #ada #flexibility #implementation
Implementing a Flexible Scheduler in Ada (GB, AB), pp. 179–190.
AdaEurope-2001-Duret-Lutz #ada
Expression Templates in Ada (ADL), pp. 191–202.
AdaEurope-2001-Sanden #concurrent #design pattern #process #state machine
A Design Pattern for State Machines and Concurrent Activities (BS), pp. 203–214.
AdaEurope-2001-Lamm #component #library
Component Libraries and Language Features (EL), pp. 215–228.
AdaEurope-2001-FoulgerK #fault #runtime #safety #tool support #using
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software (DF, SK), pp. 229–240.
AdaEurope-2001-Kuball #assessment
Scenario-Based System Assessment (SK), pp. 241–252.
AdaEurope-2001-ChenL #detection #effectiveness #empirical #evaluation #fault #reduction #testing
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation (TYC, MFL), pp. 253–265.
AdaEurope-2001-English #education #library #named #user interface
JEWL: A GUI Library for Educational Use (JE), pp. 266–277.
AdaEurope-2001-CaronKS #object-oriented
Object-Oriented Stable Storage Based on Mirroring (XC, JK, AS), pp. 278–289.
AdaEurope-2001-KienzleJRM #ada #transaction
Transaction Support for Ada (JK, RJP, ABR, MPM), pp. 290–304.
AdaEurope-2001-Rivas #ada #embedded #kernel #realtime
Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications (MAR), pp. 305–316.
AdaEurope-2001-ZamoranoRP #ada #implementation #kernel #realtime
Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels (JZ, JFR, JAdlP), pp. 317–327.
AdaEurope-2001-Burns #ada #policy
Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
AdaEurope-2001-OppenheimerZN #communication #interface #modelling
Modelling Communication Interfaces with COMIX (FO, DZ, WN), pp. 337–348.
AdaEurope-2001-Alves #ada #web #xml
Safe Web Forms and XML Processing with Ada (MAA), pp. 349–358.
AdaEurope-2001-TaylorK #ada #uml
Mapping UML to Ada (BT, EWK), pp. 359–370.
AdaEurope-2001-KallbergS #architecture #evolution
Ship System 2000, a Stable Architecture under Continuous Evolution (BK, RS), pp. 371–379.
AdaEurope-2001-WaroquiersVCHD #ada #migration #scalability
Migrating Large Applications from Ada83 to Ada95 (PW, SvV, DC, AH, ED), pp. 380–391.
AdaEurope-2001-VardanegaGP #migration
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK (TV, RG, JAdlP), pp. 392–404.

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.