Product Description
Proceedings of the 6th Intl Conference on Reliable Software Technologies, Ada-Europe 2001, held in Leuven, Belgium, May 2001. Softcover. ... Read more

Product Description
The purpose of the Ada 95 Quality and Style Guidelines is to help computer professionals produce better Ada programs by identifying a set of stylistic guidelines that will directly impact the quality of their Ada 95 programs. This guide is ideally suited to be used in combination with the Ada 95 Reference Manual and the Ada 95 Rationale; both volumes also appeared in this series, as volumes 1246 and 1247 respectively. Together, these three volumes form an indispensable working companion for anyone using Ada professionally or learning the language systematically. ... Read more

Product Description
The purpose of this book is to give a comprehensive introduction to Ada. The book covers all basic aspects of the language with reference to the particular strengths of Ada in real-time systems. It is written primarily for the novice programmer who lacks experience of modern high-level languages. The prime objective of the book is to get the student involved in writing Ada programs as soon as possible, so the broader subject of software design is subordinated to the task of learning how to use the language. However, the vital relationship between design requirements and language support is always shown in order to illustrate how the structures of Ada are used to produce quality software. The text is built around the development of a number of small illustrative programs which the student is required to work on as part of the learning process. A special feature of the book is the emphasis on real-time systems to reflect the design concept of Ada and its main areas of use. The text is supported by a range of examples, problems and student exercises. All programs have been fully tested. This book should be of interest to all students learning Ada as a first language. ... Read more

Product Description
This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the symposium was to provide a platform for developers and users with experience in the areas of distributed and parallel environments to reveal the advantages and difficulties encountered. The impact of Ada-9X and other enhancements to the language were also explored. ... Read more

Product Description
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to the reliable software engineering capabilities provided and proven for over a decade by the predecessor version Ada 83; furthermore, upward compatibility from Ada 83 to Ada 95 has been achieved. ... Read more

Customer Reviews (2)

Excellent reference, but don't buy this version -- read for explanation
This book basically contains the printed version of the official Ada 95 standard. You can obtain the text of the standard online, but for those who want a nicely printed copy, this is the book to buy.

However, the Ada 95 specification has since been updated with a number of errata fixes, such as typo corrections, fixed omissions and inconsistencies, etc. Those fixes have been rolled up into the standard text and are printed in the Consolidated Ada Reference Manual. That is the book you should buy. I believe it is also a bit less expensive.

The official Ada 95 Standard.
This book is the official standards manual for the Ada 95 language (ISO standard). It takes an advanced reader, and is not a spead read.

This manual is part of a two manual release, with Ada 95 Rationale manual beingthe other in the series.This manual gives JUST the facts, that manualgives the reasons behind the facts. ... Read more

Product Description
This book presents the proceedings of the Ada-Europe International Conference held in Dublin, June 1990. These meetings constitute the most significant events in this field within Europe, and attract delegates from around the world.This year's conference takes as its theme the impact of technical and management issues in the software engineering economics of Ada, as well as technology transfer and training. With the start of a new decade in which Ada comes of age both in terms of use and acceptability, these papers also assess the impact of Ada through descriptions of projects in which Ada has been used throughout their life cycle. Discussion of topical issues affecting the development of Ada-9X is also presented. ... Read more

Product Description
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe. The 42 papers accepted for presentation address general Ada-related software engineering aspects as well as Ada language issues; the majority of the papers are stimulated by research and development done in the aerospace and aircraft industry. Among the topics covered are compiler issues, safety, criticality and formal methods, object-orientation, management and training, life cycle, reuse, Ada-libraries, run-time, and real-time aspects. ... Read more

Product Description
When forming a new product the conventional engineer can take advantage of subassemblies.To the software engineer reusable software components offer the same possibilities; the same components can be incorporated into many whole new systems, thus saving considerable time and effort. Here, the authors introduce software reuse and discuss its feasibility.Ada was designed with reuse very much in mind and in this book the authors give the complete Ada source code for many software components and discuss how they might be used, making it essentially a small but invaluable library. This book will be a resource of great interest and practical use to everyone whose field is software engineering, both novices and experts alike.Its unique value is that all source code is provided in the book, which makes this reference considerably less expensive than contemporary Ada packages. ... Read more

Product Description
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. ... Read more

Product Description
This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996. The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds. ... Read more

Product Description
This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies. ... Read more

Product Description
Reports about recent developments of ADA, especially in the UK. It contains an introduction to ADA 9X and reports about the improved support for object-oriented programming and the tasking model. It also discusses high-integrity applications, safety critical software development and the mapping of ADA projects on the 2157A standard. ... Read more

Product Description
The author's aim is to introduce those involved in writing software in ADA to the proper ways to develop and maintain these programmes. The new material presented in this edition includes coverage of the applications of ADA and their implementation, new sections on system design, management of the development process and cost control and cost estimates. ... Read more

Product Description
This book constitutes the refereed proceedings of the 5th International Conference on Reliable Software Technologies, Ada-Europe 2000, held in Potsdam, Germany, in June 2000. The 23 revised full papers presented were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on real-time and safety-critical systems, tools, APIs and components, ASIS, risk and reliability management, UML, formal analysis, methods, and software testing. ... Read more