product iamge

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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Bernd Holzmüller, Erhard Plödereder (auth.), Keith Hardy, Jim Briggs (eds.)
Series: Lecture Notes in Computer Science 1251
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997

Language: English
Pages: 299
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Special Purpose and Application-Based Systems

Finite unions for Ada 95....Pages 1-12
Ada bindings for C interfaces: Lessons learned from the florist implementation....Pages 13-22
An Ada 95 sort race construction set....Pages 23-34
Computer aided teaching of programming languages....Pages 35-45
The SPIF project....Pages 46-55
Developing scripting capabilities for an Ada-based simulator....Pages 56-63
Systematic unit-testing of Ada programs....Pages 64-75
Ada 95 as a base to architect systems in O4S™....Pages 76-87
Including non-functional issues in Anna/Ada programs for automatic implementation selection....Pages 88-99
Semantics-based support tools for high integrity Ada software....Pages 100-111
An alternative toolset for analysis of Ada programs....Pages 112-124
Implementing application-level sporadic server schedulers in Ada 95....Pages 125-136
Capturing and verifying performance requirements for hard real time systems....Pages 137-148
Task termination in Ada 95....Pages 149-160
Parameter-induced aliasing and related problems can be avoided....Pages 161-172
Towards an integration of syntactic constructs and structural features for formalised object-oriented methods....Pages 173-184
The dangers of inheritance....Pages 185-195
CCO-MARS'96 integrating HOOD, Ada, and XInAda in a full Ada operational software project....Pages 196-208
Code-data consistency in Ada....Pages 209-217
Supporting Ada 95 passive partitions in a distributed environment....Pages 218-229
An Ada library to program fault-tolerant distributed applications....Pages 230-243
T-SMART-task-safe, minimal Ada realtime toolset....Pages 244-253
On programming atomic actions in Ada 95....Pages 254-265
Static analysis and diversity in the software development process — experiences with the use of SPARK....Pages 266-277
Techniques for testing Ada 95....Pages 278-291