Reliable software technologies – Ada-Europe &#039,99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings

Reliable Software Technologies — Ada-Europe’ 99: 1999 Ada-Europe International Conference on Reliable Software Technologies Santander, Spain, June 7–11, 1999 Proceedings
Author: Michael González Harbour, Juan A. de la Puente
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66093-4
DOI: 10.1007/3-540-48753-0

Table of Contents:

• An Architectural Perspective of Real-Time Ada Applications
• A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
• An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch
• Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT
• An Ada95 Solution for Certification of Embedded Safety Critical Applications
• Architectural Frameworks: Defining the Contents of Architectural Descriptions
• Mapping Object-Oriented Designs to Ada
• Efficient and Extensible Multithreaded Remote Servers?
• Report on the VERA Experiment
• Acceptance Testing of Object Oriented Systems
• Environment for the Development and Specification of Real-Time Ada Programs
• Interprocedural Symbolic Evaluation of Ada Programs with Aliases
• Automatic Veri.cation of Concurrent Ada Programs
• Translating Time Petri Net Structures in Ada 95 Statements
• Railway Scale Model Simulator
• Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine
• yaRTI, a Ada 95 HLA Run-Time Infrastructure
• An Ada95 Implementation of a Network Coordination Language with Code Mobility
• CORBA & DSA: Divorce or Marriage?
• How to Modify the GNAT Frontend to Experiment with Ada Extensions?

Includes bibliographical references and index