Keith Hardy, James S. Briggs
Proceedings of the Second Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 1997.

@proceedings{AdaEurope-1997,
	address       = "London, England, United Kingdom",
	editor        = "Keith Hardy and James S. Briggs",
	isbn          = "3-540-63114-3",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Second Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 1251,
	year          = 1997,
}

Contents (25 items)

18 ×#ada
3 ×#implementation
3 ×#source code
3 ×#tool support
2 ×#development
2 ×#distributed
2 ×#integration
2 ×#realtime

AdaEurope-1997-HolzmullerP #ada #finite

Finite Unions for Ada 95 (BH, EP), pp. 1–12.

AdaEurope-1997-BakerO #ada #c #implementation #interface #lessons learnt

Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation (TPB, DIO), pp. 13–22.

AdaEurope-1997-Feldman #ada #set

An Ada 95 Sort Race Construction Set (MBF), pp. 23–34.

AdaEurope-1997-CoolingDC #development #education #programming language

Computer Aided Teaching of Programming Languages: An Ada-specific Development (JEC, ND, JC), pp. 35–45.

AdaEurope-1997-DupouyHPT

The SPIF Project (BD, OH, LP, ST), pp. 46–55.

AdaEurope-1997-JovanovicSA #ada

Developing Scripting Capabilities for an Ada-Based Simulator (SSJ, DMS, PvA), pp. 56–63.

AdaEurope-1997-WegenerF #ada #source code

Systematic Unit-Testing of Ada Programs (JW, IF), pp. 64–75.

AdaEurope-1997-Ogren #ada #architecture

Ada 95 as a Base to Architect Systems in O4STM (IÖ), pp. 76–87.

AdaEurope-1997-Franch #ada #automation #implementation #non-functional #source code

Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selection (XF), pp. 88–99.

AdaEurope-1997-Yeung #ada #semantics #tool support

Semantics-Based Support Tools for High Integrity Ada Software (WLY), pp. 100–111.

AdaEurope-1997-Bell #ada #analysis #source code #tool support

An Alternative Toolset for Analysis of Ada Programs (AEB), pp. 112–124.

AdaEurope-1997-HarbourGG #ada #implementation

Implementing Application-Level Sporadic Server Schedulers in Ada 95 (MGH, JJGG, JCPG), pp. 125–136.

AdaEurope-1997-PierceAWSCG #performance #realtime #requirements #verification

Capturing and Verifying Performance Requirements for Hard Real Time Systems (RHP, SA, RW, JS, HC, JG), pp. 137–148.

AdaEurope-1997-WellingsBP #ada #termination

Task Termination in Ada 95 (AJW, AB, OP), pp. 149–160.

AdaEurope-1997-GellerichP #alias #problem

: Parameter-Induced Aliasing and Related Problems can be Avoided (WG, EP), pp. 161–172.

AdaEurope-1997-CheungCC #integration #object-oriented #towards

Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods (KSC, PKOC, TYC), pp. 173–184.

AdaEurope-1997-English #inheritance

Tha Dangers of Inheritance (JE), pp. 185–195.

AdaEurope-1997-Pichon #ada #integration

CCO-Mars’96 Integration HOOD, Ada and XInAda in a full Ada Operational Software Project (PP), pp. 196–208.

AdaEurope-1997-CelierST #ada #consistency

Code-Data Consistency in Ada (VC, DMS, CJT), pp. 209–217.

AdaEurope-1997-Mueller #ada #distributed

Supporting Ada 95 Passive Partitions in a Distributed Environment (FM), pp. 218–229.

AdaEurope-1997-GuerraMAA #ada #distributed #fault tolerance #library

An Ada Library to Program Fault-Tolerant Distributed Applications (FGS, FJMG, AA, SA), pp. 230–243.

AdaEurope-1997-DobbingR #ada #named #realtime #tool support

T-SMART — Task-Safe, Minimal Ada Realtime Toolset (BD, MRF), pp. 244–253.

AdaEurope-1997-RomanovskyMW #ada #on the #programming

On Programming Atomic Actions in Ada 95 (ABR, SEM, AJW), pp. 254–265.

AdaEurope-1997-Thornley #case study #development #experience #static analysis #using

Static Analysis and Diversity in the Software Development Process- Experiences with the Use of SPARK (JPT), pp. 266–277.

AdaEurope-1997-Waterman #ada #testing

Techniques for Testing Ada 95 (SRW), pp. 278–291.