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

Orders over $89.00 qualify for free shipping.

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

AI for Good

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

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Research Advances in Intelligent Computing

Volume 3

Agentic AI For Dummies

For Dummies (Computer/Tech)

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Beyond Vibe Coding

From Coder to Ai-Era Developer

Secrets Of Machine Learning

How It Works And What It Means For You

Turing's Mistake

Escaping the Yoke of Unintelligent Machines

Turing's Mistake

Escaping the Yoke of Unintelligent Machines

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

AI for a Just World

Power, Liberation, and the People Left Behind

Pioneers in AI

OpenAI and the Builders of Artificial Intelligence

AI for Marketing

The Consumer Perspective

Advancement in Engineering and Science

Recent Trends and Applications

Advancement in Engineering and Science

Recent Trends and Applications

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

This product is categorised by