This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.

Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems.

This the fifth issue of the annual publication organized by ADA UK. The intended audience includes managers (needing contact addresses and access to information about ADA products), software and systems engineers using ADA or those intending to use it, requiring detailed technical information about the language. Moreover, those readers new to ADA will be able to gain useful insights about the language and its evolution.

"The book reviews the current practice in Ada applications, innovative developments in Ada technology, how Ada can be applied in more demanding systems in the safety-critical area and reports on the Ada 9X revision effort"--Preface.

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada-Europe 2006, held in Porto, Portugal, in June 2006. The 19 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on real-time systems, static analysis, verification, applications, reliability, compilers, and distributed systems.

Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax without overwhelming the student. The book focuses on the development of good programming habits. This text offers superior pedagogy that has long defined computer science education, including problem solving case studies, testing and debugging sections, quick checks, exam preparation, programming warm-up exercises, and programming problems. The extensive coverage of material in such a student-friendly resource means that more rigor, more theory, greater use of abstraction and modeling, and the earlier application of software engineering principles can be employed.

This textbook introduces the Ada programming language in a manner suitable for students with little or no previous experience of programming. It shows how solutions can be systematically designed and how these solutions can then be implemented on a computer. The early parts of the book concentrate on solving small problems while the later parts show how packages can be used in the construction of reliable large programs. As Ada is a complex and versatile language, no attempt is made to cover it all. The author concentrates on central features such as data types, subprograms, packages, separate compilation, exceptions and files. He provides in addition a large number of complete Ada programs, all of which have been tested on the York Ada compiler. The final version of the Ada language (ANSI/MIL-STD-1815A-1983) is used throughout.

This synthesis documents current and innovative practices of U.S. transit agencies in the development and implementation of passenger no-show and late cancellation policies for paratransit programs operated under the regulatory requirements of the Americans with Disabilities Act of 1990 (ADA). It describes how some policies are administered, the community response, and their effectiveness in small, medium, and large transit agencies surveyed. It examines policies both as a way to improve system productivity, efficiency, and capacity, and as a means to better serve riders with disabilities who may experience difficulties with the advance reservation aspect of most ADA complementary paratransit operations. This topic is of interest to transit agencies that are responsible for providing ADA complementary paratransit that is efficient, cost-effective, and responsive to customer needs. It is also of interest to the disability community and other stakeholders who are concerned about having access to transportation services that are efficient, cost-effective, and appropriate for customer needs.

Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception handling; a package structure for information hiding, decomposition and separate compilation; facilities for low-level programming; and a tasking model of concurrency. It is perhaps this last area that has generated most debate, criticism and disagreement. The purpose of this book is to review the tasking model in the light of the extensive analysis and comment which has appeared in the literature. The review is necessarily wide-ranging, including discussion of - Ada as a general purpose concurrent programming language, - Ada as a language for embedded and distributed systems, - implementation issues, with particular reference to distributed systems, - formal semantics, specification and verification, - proposed language modifications. By consolidating this discussion within the confines of a single review, potential users of the tasking facility are enabled to familiarise themselves with all the factors which may impinge upon the performance, reliability and correctness of their software. The book also provides a focus for any debate on modifications to the Ada language, or developments from it.

This report reflects the commitment of the U.S. Commission on Civil Rights to ensure that Americans with disabilities are afforded equal opportunity. This report focuses specifically on the efforts of the EEOC to enforce title I of the ADA, which prohibits discrimination based on disability in employment. It evaluates & analyzes EEOC's regulations & policies clarifying the language of the statute, processing of charges of discrimination based on disability; litigation activities under title I of the ADA; & outreach, education, & technical assistance efforts relating to the act. Offers findings & recommendations.