2nd edition. — Independently published, 2021. — 473 p. — ASIN B091MYKGHC. The ADA programming language was first used by the U.S. Department of Defense in the 1980s. They wanted to develop a centralized and standardized computer programming language, because there were thousands of languages in use, most of which were designed for just one system. ADA was officially...
AdaCore, 2023. — 277 p. This book will teach you the basics of the Ada programming language and is intended for those who already have a basic understanding of programming techniques. You will learn how to apply those techniques to programming in Ada. Today, Ada is heavily used in embedded real-time systems, many of which are safety-critical. While Ada is and can be used as a...
Berlin: Springer, 2013. - 213 p. Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great...
Cambridge University Press, 2014. — 972 p. — ISBN: 9781107424814. Ada is the language of choice for the majority of programmers involved in writing safety-critical and high-integrity software. Previous editions of John Barnes' books established themselves as the definitive references for earlier versions of Ada. With the release of the latest ISO standard, Ada 2012, this new...
Cambridge: Cambridge University Press, 2022. — 993 p. The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features in Ada 2022. The book is in four parts. It begins by introducing the fundamental concepts for newcomers, before moving on to...
Cambridge: Cambridge University Press, 2024. — 969 p. The latest version of 'Programming in Ada' covers the full details of the core language Ada 2022 as approved by ISO in 2023, including new features that aid program proof and the efficient use of multicore architectures. The book is arranged in four parts. The first part introduces the key ideas to the newcomer with a...
Wiley, 2005. - 356 p. - ISBN10: 0471979120 Programming Languages: Ada/Software Engineering Ada for Software Engineers M. Ben-Ari Weizmann Institute of Science, Rehovot, Israel Ada has become the language of choice for high integrity software systems, and is now used extensively in applications such as transportation, finance, aerospace and heavy industry. This book is aimed at...
Second edition. - John Wiley & Sons Inc, 1995. - 153 p. Written from a user's point of view, this text explores many selected advanced features and constructs of ADA and explains how to use them for the best results. It provides examples of how to write clear, correct, maintenance code and gives the reader re-usable components that can be used without modification in their own...
CompreQuest Books, 2024. — 629 p. Master Ada: Reliable, Robust Systems Programming for Professionals. Ada Programming: Reliable, Strongly-Typed Systems Programming offers an in-depth exploration of Ada, a language renowned for its reliability, robustness, and versatility in systems programming. Whether you're a seasoned developer or just beginning your journey, this...
Prentice Hall, 1996. - 437 p. - ISBN10: 0132303507. This book is an introduction to Ada 95. It uses an example-driven approach which gradually develops small trivial programs into large case-study type programs. The main emphasis of this book is on maintenance problems, and using object-oriented technology to write maintainable, extensible programs. Program design is introduced...
New York: Addison-Wesley, 1996. — 658 p. Ideal for large-scale software system development, Ada 95 is the first fully object-oriented language to be internationally standardized by the ISO and the ANSI. Michael Feldman's Software Construction and Data Structures with Ada 95 introduces data structures concepts and their applications using this powerful yet flexible language....
New York: Addison-Wesley, 1999. — 797 p. In this third edition, educators Michael Feldman and Elliot Koffman continue to refine and enhance their balanced presentation of modern programming concepts and Ada 95 language capabilities. Students with no prior programming experience will begin to program with this interesting and powerful, yet flexible language that is used in the...
Cambridge University Press, 2011, -388 p. The task of programming is a difficult one. Over the decades there have been many promises to eliminate this difficulty. It is interesting to recall that Fortran was first promoted on the basis that it would do away with programming, and allow scientists to enter their mathematical equations directly into the computer. Yet, the...
AdaWorks, Jule 2003. - 113 p. This book is aimed at experienced programmers who want to learn Ada at the programming level. It is not a ".for dummies" book, nor is it intended as a program design book. Instead, we highlight some key features of the Ada language, with coded examples, that are essential for getting started as an Ada programmer. Ada is a rich and flexibile...
New York: Apress, 2020. — 348 p. Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release. The goal in this book is to slowly ease you into the different topics. It is understood that you do not always have ample free time, so the text is easy to digest and concepts are spoon fed to the...
New York: Addison-Wesley, 1996. — 657 p. Ada 95 is the first standardised object-oriented language, making it an ideal language to teach programming with. Assuming no previous knowledge of programming techniques this book gives many examples and exercises as well as the syntax and different language rules. It presents the concepts of programming in a logical easy-to-understand...
Second edition. - Intl Thomson Computer Pr (T), 1995. - 446 p. - ISBN10: 185032185X. The book assumes that the reader has learned a first language, such as Pascal, Modula, C++ or even Ada (on any undergraduate or Higher National programme in computing, engineering or science) and concentrates on the design and construction of object-oriented software. There are many examples of...
Berlin: Springer, 2013. - 921 p. The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Amendment 1 with changes and additions that improve the capabilities of the language and the...
2020. ― 474 p. ― ASIN B08N2P5B6S. The ADA programming language was first used by the U.S. Department of Defense in the 1980s. They wanted to develop a centralized and standardized computer programming language, because there were thousands of languages in use, most of which were designed for just one system. ADA was officially standardized in 1979 and exclusively controlled by...
Comments