cdc-coteauxdegaronne
» » Ada for Software Engineers
eBook Ada for Software Engineers ePub

eBook Ada for Software Engineers ePub

by Mordechai Ben-Ari

  • ISBN: 1848823134
  • Category: Programming
  • Subcategory: Computers
  • Author: Mordechai Ben-Ari
  • Language: English
  • Publisher: Springer; 2nd ed. 2009 edition (April 16, 2009)
  • Pages: 524
  • ePub book: 1409 kb
  • Fb2 book: 1214 kb
  • Other: docx lrf mobi mbr
  • Rating: 4.2
  • Votes: 635

Description

Extracts from the ARM are used throughtout and there are extensive cross references to the ARM.

Ada for Software Engineers. Authors: Ben-Ari, Mordechai. Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and quizzes assist the reader in developing the ability to use the ARM as a practical reference.

by Mordechai Ben-Ari(Author) . I have several books on Ada, starting with used ones about Ada 83/95 to Barne's work on Ada 2005, but this book explains some of the more complicated concepts of Ada in such simple terms that I understood them for the first time despite the fact that I read over the explanations a couple of times in those more complicated works.

Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference.

Mordechai (Moti) Ben-Ari (Hebrew: מרדכי (מוטי) בן-ארי‎) is a professor of computer science education at the Weizmann Institute of Science. Ben-Ari has published numerous textbooks in computer science, developed software tools for teaching Computer Science, and written many influential papers in computer science education. His primary focus has been on books and tools for learning theoretical concepts in computer science, such as concurrency and mathematical logic.

Mordechai (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He has written many textbooks including Mathematical Logic for Computer Science (Springer, 2012). Ben-Ari is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. Francesco Mondada is with the Laboratory of Robotics Systems at the Ecole Polytechnique Fédérale de Lausanne (EPFL).

Extracts from the ARM are used throughtout and there are extensive cross references to the ARM.

Principles of the Spin Model Checker.

Finding books BookSee BookSee - Download books for free. Ada for software engineers.

Ada puts unique emphasis on, and provides strong support for, good software engineering practices that scale well to very large software systems (millions of lines of code, and very large development . Mordechai Ben-Ari (2009).

Ada puts unique emphasis on, and provides strong support for, good software engineering practices that scale well to very large software systems (millions of lines of code, and very large development teams). ISBN 978-1-84882-313-6.

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM. A comprehensive glossary and technical quizzes assist the reader in developing the ability to use the ARM as a practical reference. Comparisons with familiar languages like C and Java are given to facilitate the transition to Ada. The features of Ada 2005 are used routinely, but they are carefully identified, so that programmers using Ada 95 will also find the textbook useful. The companion website contains the full source code of nearly 100 case studies and 100 technical quizzes.

Comments

Xanzay Xanzay
I have several books on Ada, starting with used ones about Ada 83/95 to Barne's work on Ada 2005, but this book explains some of the more complicated concepts of Ada in such simple terms that I understood them for the first time despite the fact that I read over the explanations a couple of times in those more complicated works. You need the book by Barnes since it is the Ada bible, but for a beginner like myself, I would definitely recommend this book. I cant understand the complains some of the other reviewers have with this book. It takes the important stuff from Ada and makes it clear. Once you know these things you can dive into the more complicated aspects of the type system, the OO technology and concurrency (for the latter there are separate books).
I subtracted one star because this book does not cover the complete Ada language, but then in this this case it would have to be thick like Barne's book, so it's not really a minus, yet since it claims "Ada" in the title I feel it must be made clear in a review that you won't master "Ada" by the end of this book, but instead about 75% of Ada.
Still I highly recommend this book
Lilegha Lilegha
If you are new to the ADA language stay away from this book. I have been programming for over 30 years and this is the worst language book I have ever come across. Being new to ADA myself I tried looking up things like how to use 'if' or using 'files' and they are not even listed in the index. The author explicitly states that syntax and semantics are not important?????? If your an ADA expert maybe you can use this book for something. For me it is useless and a complete waste of money. I got ripped-off, don't let it happen to you.
Pedar Pedar
Ada is a programming language I had never tried to learn, but coming from VLSI Hardware design with a proficiency of VHDL (syntax borrowed from Ada) I was interested in giving Ada a shot.

I chose this book after reading carefully all the material freely available and I found everything said TRUE:

it requires at least 2 years of previous programming knowledge. This means if you have used something before THAT IS FINE! Engineering background is mandatory... this is not a tutorial nor it is implied in any word.

it instructs you using the TERMS from the ARM - Ada reference manual, If I am correct - (obviously there is no free lunch: you need those terms... damn it!)

even to proceed without the ARM (but it is useful at the end) you need to carefully understand every chapter of this book in the order clearly stated in the introduction. (if you need, read the chapter twice it helps!)

Nevertheless it is written in a clear form: I read a good number of pages traveling by plane :) with no computer access...

I found helpful to copy somewhere the difficult terms with an example of the meaning in plain English (or Italian in my case) the first times so that it is easier to find. It helps you translate and catch immediately the sense of a sentence.

I got what I wanted... AND I LIKE IT... I let you know if I change my mind at the end of the journey.

p.s. everyone who writes ADA or ada or whatever it is not Ada does not even know the name of the programming language... who cares what he/she says!
Direbringer Direbringer
Some reviewers have panned this book as too complex or too formal. Well, this complexity and formality is what the author of the book clearly sets out to do, and accomplishes well.
This book is for veteran software developers, coders with at least a few years experience writing software. The introductory program is not a "Hello World" - it includes a subfunction, a loop, a case statement, and custom types. If you're looking to learn Ada as your first language, or to pick up some Ada for a quick little project, this is not a book for you.
However, if you're an experienced developer and have been hired to design a complex safety-critical system in Ada, then this book will help you learn how to use Ada, its documentation and its features to build something that can be properly certified.
Ada is a highly complex language, designed from the ground up to provide an extremely formal, over-documented way of building software. It is overkill for 99.99% of the software projects. This book clearly lays out how to use it properly for the 0.01%.
Broadcaster Broadcaster
I have found this book (and its predecessor edition) extremely valuable to learn Ada.

The author (rightly, in my humble opinion) focuses on the language concepts, which are introduced in a clear and practical manner. He underpins his explanations with plenty of examples to illustrate the usage and syntax.
More advanced material is marked so that the reader can skip it at first if he wishes.

Ada is a very rich language, with its own terminology, and takes time to learn. As with every other programming language, to learn and be able to use it productively one has to eventually accept its terminology, i.e. "wrap your head around it".

The author does not teach avoidance of the sometimes complex terminology, but instead confronts this complexity with gentle introductions to the canonical language references and solid explanations of the important concepts.
In my mind, this is actually a very positive feature of the book. It does a service to the dedicated learner, who - sooner or later - will need to look at the language reference manuals, even if just to clarify some detail. After reading this book and implementing its examples, (s)he will have a sufficiently solid grasp of the language and its terms to do so.

This book was worth every cent to me.