+612 9045 4394
 
CHECKOUT
Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 1997. Proceedings - Kimber Hardy

Reliable Software Technologies - Ada-Europe '97

1997 Ada-Europe International Conference on Reliable Software Technologies, London, Uk, June 2-6, 1997. Proceedings

By: Kimber Hardy (Editor), Jim Briggs (Editor)

Paperback Published: 21st May 1997
ISBN: 9783540631149
Number Of Pages: 299

Share This Book:

Paperback

$125.05
or 4 easy payments of $31.26 with Learn more
Ships in 5 to 9 business days

This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.

Finite Unions for Ada 95p. 1
Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementationp. 13
An Ada 95 Sort Race Construction Setp. 23
Computer Aided Teaching of Programming Languages: An Ada-specific Developmentp. 35
The SPIF Projectp. 46
Developing Scripting Capabilities for an Ada-Based Simulatorp. 56
Systematic Unit-Testing of Ada Programsp. 64
Ada 95 as a Base to Architect Systems in 04Sp. 76
Including Non-functional Issues in Anna/Ada Programs for Automatic Implementation Selectionp. 88
Semantics-Based Support Tools for High Integrity Ada Softwarep. 100
An Alternative Toolset for Analysis of Ada Programsp. 112
Implementing Application-Level Sporadic Server Schedulers in Ada 95p. 125
Capturing and Verifying Performance Requirements for Hard Real Time Systemsp. 137
Task Termination in Ada 95p. 149
Parameter-Induced Aliasing and Related Problems Can Be Avoidedp. 161
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methodsp. 173
The Dangers of Inheritancep. 185
CCO-MARS'96 Integrating HOOD, Ada and XInAda in a full Ada Operational Software Projectp. 196
Code-Data Consistency in Adap. 209
Supporting Ada 95 Passive Partitions in a Distributed Environmentp. 218
An Ada Library to Program Fault-Tolerant Distributed Applicationsp. 230
T-Smart - Task-Safe, Minimal Ada Realtime Toolsetp. 244
On Programming Atomic Actions in Ada 95p. 254
Static Analysis and Diversity in the Software Development Process - Experiences with the Use of SPARKp. 266
Techniques for Testing Ada 95p. 278
Author Indexp. 293
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540631149
ISBN-10: 3540631143
Series: Lecture Notes in Computer Science,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 299
Published: 21st May 1997
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.65
Weight (kg): 0.44