Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings

Front Cover
Springer Science & Business Media, May 21, 1997 - Computers - 291 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Finite Unions for Ada 95
1
Lessons Learned from the Florist Implementation
13
An Ada 95 Sort Race Construction Set
23
An Adaspecific Development
35
The SPIF Project
46
Developing Scripting Capabilities for an AdaBased Simulator
56
Systematic UnitTesting of Ada Programs
64
Ada 95 as a Base to Architect Systems in O4S Objects For Systems
76
ParameterInduced Aliasing and Related Problems can be Avoided
161
Towards an Integration of Syntactic Constructs and Structural Features for Formalised ObjectOriented Methods
173
The Dangers of Inheritance
185
CCOMARS96 Integrating HOOD Ada and XInAda in a Full Ada Operational Software Project
196
CodeData Consistency in Ada
209
Supporting Ada 95 Passive Partitions in a Distributed Environment
218
An Ada Library to Program FaultTolerant Distributed Applications
230
TSMART TaskSafe Minimal Ada Realtime Toolset
244

Including Nonfunctional Issues in AnnaAda Programs for Automatic Implementation Selection
88
SemanticsBased Support Tools for High Integrity Ada Software
100
An Alternative Toolset for Analysis of Ada Programs
112
Implementing ApplicationLevel Sporadic Server Schedulers in Ada 95
125
Capturing and Verifying Performance Requirements for Hard Real Time Systems
137
Task Termination in Ada 95
149
On Programming Atomic Actions in Ada 95
254
Static Analysis and Diversity in the Software Development Process Experiences with the Use of SPARK
266
Techniques for Testing Ada 95
278
Author Index
Copyright

Common terms and phrases

Bibliographic information