Lecture Notes in Computer Science

Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

By: Marcel Toussaint (Editor)

Write A Review

Paperback | 10 January 1996

At a Glance

Paperback
476 Pages

Dimensions(cm)
23.39 x 15.6 x 2.44

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995.
The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Computer Science Systems Analysis & Design Operating Systems Software Engineering Artificial Intelligence Expert Systems & Knowledge-Based Systems Compilers & Interpreters Computer Architecture & Logic Design

Ada: A Sceptical Assessment	p. 1
Ada95 - An Approach to Overcome the Software Crisis?	p. 4
Safe Ada Executive: An Executive for Ada Safety Critical Applications	p. 11
Developing Fault Tolerant Software in Ada for Real-Time Dependable Systems	p. 21
The Practical Application of Safety Techniques on an Ada Based Project	p. 51
Ada in Mixed Language Applications	p. 58
Heterogeneous Data Structures and Cross-Classification of Objects with Ada95	p. 71
An ANDF Based Ada 95 Compiler System	p. 81
Performance Tuning of a Check-Out System Coded in Ada	p. 99
Ariane 5: Development of the On-Board Software	p. 111
PRONAOS Ground Control Center: First Operational Ada Application in C.N.E.S	p. 124
ASIS for GNAT: Goals, Problems and Implementation Strategy	p. 139
KBSE and Ada - Object and Enabling Technology	p. 152
Extending the Ada 95 Initial Conditions for Preelaboration for use in Real-Time Systems	p. 164
The Use of Ada for the ENVISAT-1 Simulator	p. 170
Objects at Use in Nautical Simulators	p. 178
DIS - An Interface to Distributed Interactive Simulation	p. 187
PARIS - Partitioned Ada for Remotely Invoked Services	p. 191
Programming Distributed Systems with Both Ada 95 and PVM	p. 206
Distributed Object Oriented Programming and Interoperability for Ada 95: An OMG/CORBA Approach	p. 217
Distributed and Parallel Systems and HOOD 4	p. 228
ReverseNICE: A Re-Engineering Methodology and Supporting Tool	p. 244
Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada95	p. 249
The Introduction of an Object-Oriented Analysis/Design Method and ObJect-Oriented Metrics in the Software Development Life-Cycle	p. 271
Modeling and Validation of Tasks with Algebraic Structured Nets	p. 284
Design of Concurrent Software Based on Problem Concurrency	p. 298
ECLIPS - A Successful Experiment Combining CCSDS SFDUs, X/Motif, HOOD and Ada	p. 311
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application	p. 331
Breaking Through the V and V Bottleneck	p. 344
Periodic Processing in Hard Real-Time Systems: Assessment of Different Design Models in Ada	p. 355
Transaction Specification for Object-Oriented Real-Time Systems in HRT-HOOD	p. 365
Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC)	p. 379
Ada and Timed Automata	p. 389
Testing Ada 95 Object-Oriented Programs	p. 406
Achieving Reusable and Reliable Client-Server Code using HOOD automated code generation for Ada95 and C++ targets	p. 419
Round Table Discussion: "Tools and Design Methods"	p. 439
LAMPBADA: Logiciel d'Aide a la Mise au Point de Bibliotheques Ada (Ada Librairies Validation Tool)	p. 444
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Expert Systems & Knowledge-Based Systems

Claude For Dummies

AI for Public Relations

A How-To Guide for Implementation and Management

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

Artificial Intelligence For Dummies, 3rd Edition

For Dummies (Computer/Tech)

Untangling AI: Driving Business Success Through En terprise Automation and AI Agents

Driving Business Success Through Enterprise Automation and AI Agents

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Generative AI For Dummies

For Dummies (Business & Personal Finance)

AI Agents - The Definitive Guide

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

The God Test

Beyond Vibe Coding

From Coder to Ai-Era Developer

MCP For Dummies

AI-Ready Data

Robust Safety-Critical Control

Theory, Application and Experiments

Shaping Tomorrow

The Human Journey with AI

Smart, Inclusive, and Sustainable Digital Societies

AI and Human-Centred Innovation

Smart, Secure, and Sustainable Digital Futures

AI, Cybersecurity, and Governance in Emerging Digital Systems

Agentic AI For Dummies

For Dummies (Computer/Tech)

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Pioneering AI Companies: The Innovators and Mathem atical Insights of Shaping the Future of AI

OpenAI and the Builders of Artificial Intelligence

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

Ontological Prisms

Knowledge Engineering for Enterprise & Agentic Systems

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

This product is categorised by