Alfred Strohmeier
Proceedings of the First Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 1996.

@proceedings{AdaEurope-1996,
	address       = "Montreux, Switzerland",
	editor        = "Alfred Strohmeier",
	isbn          = "3-540-61317-X",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 1088,
	year          = 1996,
}

Contents (39 items)

28 ×#ada
4 ×#distributed
4 ×#object-oriented
3 ×#development
3 ×#implementation
3 ×#realtime
3 ×#scalability
3 ×#source code
3 ×#testing
3 ×#using

AdaEurope-1996-Taft #ada #internet #programming

Programming the Internet in Ada 95 (STT), pp. 1–16.

AdaEurope-1996-Schneidewind #modelling #reliability #safety

Reliability Modeling for Safety Critical Software (NFS), pp. 17–37.

AdaEurope-1996-GuerraouiS #distributed #fault tolerance #replication

Fault-Tolerance by Replication in Distributed Systems (RG, AS), pp. 38–57.

AdaEurope-1996-BurnsW #ada #concurrent #effectiveness #programming language

Ada 95: An Effective Concurrent Programming Language (AB, AJW), pp. 58–77.

AdaEurope-1996-PuenteAA #ada #design #library

Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries (JAdlP, AA, AA), pp. 78–88.

AdaEurope-1996-KimB #ada #approach #component #reuse #usability

An Approach to Increasing Software Component Reusability in Ada (HK, CB), pp. 89–100.

AdaEurope-1996-KruchtenT #ada #development #scalability #source code

Iterative Software Development for Large Ada Programs (PK, CJT), pp. 101–110.

AdaEurope-1996-EmeryM #development #process

HCSD Unit Development Process: Step-Wise Process Improvement (DEE, JM), pp. 111–122.

AdaEurope-1996-Madhav #ada #architecture #consistency #source code #testing

Testing Ada 95 Programs for Conformance to Rapide Architectures (NM), pp. 123–134.

AdaEurope-1996-ChengU #ada #detection #source code

Tasking Deadlocks in Ada 95 Programs and Their Detection (JC, KU), pp. 135–146.

AdaEurope-1996-ChenY #on the #problem #testing

On Some Characterisation Problems of Subdomain Testing (TYC, YTY), pp. 147–158.

AdaEurope-1996-FletcherS #framework #object-oriented #specification #testing #using

A Framework for Testing Object-Oriented Software Using Formal Specifications (RF, ASMS), pp. 159–170.

AdaEurope-1996-CraigenSM #ada #approach

Ada 95 and Critical Systems: An Analytical Approach (DC, MS, SM), pp. 171–182.

AdaEurope-1996-Rosskopf #ada #assessment #safety #static analysis #using

Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment (AR), pp. 183–197.

AdaEurope-1996-KienzleWS #ada #communication #distributed

Secure Communication in Distributed Ada (JK, TW, AS), pp. 198–210.

AdaEurope-1996-LundqvistW #ada #object-oriented #using

Using Object-Oriented Methods in Ada 95 to Implement Linda (KL, GW), pp. 211–222.

AdaEurope-1996-WallL

Shared Packages Through Linda (GW, KL), pp. 223–234.

AdaEurope-1996-MirandaAAG #ada #distributed #fault tolerance #named

Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications (FJMG, AA, SA, FGS), pp. 235–246.

AdaEurope-1996-Brosgol #ada

The Dining Philosophers in Ada 95 (BMB), pp. 247–261.

AdaEurope-1996-RealEC #ada #prototype #realtime #using

Using Ada 95 for Prototyping Real-Time Systems (JR, AE, AC), pp. 262–274.

AdaEurope-1996-OhBM #ada #implementation

The GNARL Implementation of POSIX/Ada Signal Services (DIO, TPB, SJM), pp. 275–286.

AdaEurope-1996-MundieFK #embedded #implementation

Implementing Protected Types on Embedded Targets (DM, JF, EK), pp. 287–297.

AdaEurope-1996-RybinSKF #implementation #prototype

ASIS for GNAT: From the Prototype to the Full Implementation (SR, AS, AK, VF), pp. 298–311.

AdaEurope-1996-SotirovskiK #ada

Handling Irregular Grammars in Ada (DMS, PK), pp. 312–318.

AdaEurope-1996-BirusCS #interprocedural #optimisation

Interprocedural Call Optimization (TB, CC, DS), pp. 319–329.

AdaEurope-1996-BliebergerLB #ada #realtime

Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.

AdaEurope-1996-OudshoornC #ada #persistent

Beyond Ada 95: The Addition of Persistence and Its Consequences (MO, SC), pp. 342–356.

AdaEurope-1996-Holzmuller #ada

Extending the Object-Orientedness of Ada 95 (BH), pp. 357–369.

AdaEurope-1996-Bondeli #ada #object-oriented #programming

An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming (PdB), pp. 370–384.

AdaEurope-1996-GellerichKP #goto #question

Where Does GOTO Go to? (WG, MK, EP), pp. 385–395.

AdaEurope-1996-MillanB #ada #performance #persistent

Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 (TM, PB), pp. 396–412.

AdaEurope-1996-Gliss #ada #fortran #legacy

An Ada 95 Harness for Converting Legacy Fortran Applications (BG), pp. 413–426.

AdaEurope-1996-Bremmon #ada #case study #experience #information management #legacy #object-oriented

The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 (CB), pp. 427–438.

AdaEurope-1996-Molenmaker #ada

Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.

AdaEurope-1996-Celier #ada #interface #migration #scalability

Visibility Control and Migration of Interfaces in Large Ada Systems (VC), pp. 451–459.

AdaEurope-1996-Waroquiers #ada #exclamation #memory management

Ada Tasking and Dynamic Memory: To Use or Not To Use, That’s a Question! (PW), pp. 460–470.

AdaEurope-1996-EmeryHR #architecture #case study #experience

Experiences Applying a Practical Architectural Method (DEE, RFHI, TBR), pp. 471–484.

AdaEurope-1996-Smart #ada #development #distributed

A Decade of Development and Development of Distributed Ada Systems (JDS), pp. 485–499.

AdaEurope-1996-FeithT #ada #realtime #scalability

Planning the Transition to Ada 95 for a Large Real-Time Project (RF, MT), pp. 500–511.