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

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

AI ChatBots For Dummies

For Dummies (Computer/Tech)

Computational Intelligence for Patient Care

Blockchain, AI, and ML in Healthcare

Non-prioritized Belief Change

Foundations, Theory, and Algorithms

Futuristic Information and Communication

A Multimodal Multidisciplinary Signal Analysis

Futuristic Information and Communication

A Multimodal Multidisciplinary Signal Analysis

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Agentic AI For Dummies

For Dummies (Computer/Tech)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

Scaling Responsible AI

From Enthusiasm to Execution

SECRETS OF MACHINE LEARNING

How It Works and What It Means for You

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

The Ultimate ChatGPT Prompt Book

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

Artificial Intelligence For Dummies

For Dummies (Computer/Tech)

Next-Generation Smart Cities

The Integration of AI, Blockchain, IoT and Emergent Networks

Next-Generation Smart Cities

The Integration of AI, Blockchain, IoT and Emergent Networks

Agentic AI for Healthcare

Building Scalable Models for Production

Marketing with AI For Dummies

For Dummies (Business & Personal Finance)

AI for Marketing

The Consumer Perspective

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

The Introduction of Artificial Intelligence into Legal Systems

AI for a Just World

Power, Liberation, and the People Left Behind

This product is categorised by