Software Engineering with Ada PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Software Engineering with Ada PDF full book. Access full book title Software Engineering with Ada by Grady Booch. Download full books in PDF and EPUB format.
Author: Grady Booch
Publisher: Addison-Wesley Professional
ISBN: 9780805306088
Category : Computers
Languages : en
Pages : 580
Get Book
Book Description
Provides complete coverage of the Ada language and Ada programming in general by recognized authorities in Ada software engineering. Demonstrates the power and performance of Ada in the management of large-scale object-oriented systems, and shows how to use Ada features such as generics, packages, and tasking.
Author: Grady Booch
Publisher: Addison-Wesley Professional
ISBN: 9780805306088
Category : Computers
Languages : en
Pages : 580
Get Book
Book Description
Provides complete coverage of the Ada language and Ada programming in general by recognized authorities in Ada software engineering. Demonstrates the power and performance of Ada in the management of large-scale object-oriented systems, and shows how to use Ada features such as generics, packages, and tasking.
Author: Grady Booch
Publisher:
ISBN:
Category : Ada (Computer program language)
Languages : en
Pages : 504
Get Book
Book Description
Author: Mordechai Ben-Ari
Publisher: Springer Science & Business Media
ISBN: 1848823142
Category : Computers
Languages : en
Pages : 510
Get Book
Book Description
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.
Author: National Research Council
Publisher: National Academies Press
ISBN: 0309055970
Category : Computers
Languages : en
Pages : 114
Get Book
Book Description
The Ada programming language was created by the U.S. Department of Defense (DOD) nearly two decades ago to provide a general-purpose programming language for defense and commercial use, but has evolved into a niche solution for safety-critical systems, primarily in defense applications. Ada and Beyond presents an approach for the DOD to move beyond the debate over its policy that requires the use of Ada for all new software development. It describes the importance of the software engineering process and recommends to DOD mechanisms for more effective review of software development and improved collection of data on software project outcomes. The volume also analyzes the technical, empirical, and business cases for using Ada and other programming languages, makes recommendations regarding the appropriate conditions under which DOD should continue to require the use of Ada, and details activities that require funding by DOD in order for Ada to remain a viable programming language.
Author: David C. C. Bover
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Ada (Computer program language)
Languages : en
Pages : 426
Get Book
Book Description
Author: John Gilbert Presslie Barnes
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 724
Get Book
Book Description
Ada 95 is the first fully object-oriented programming language to be internationally standardized. John Barnes was a key member of the language's design team, and this is a new edition of his definitive text and reference for the Ada 95 language.
Author: R. J. A. Buhr
Publisher: Prentice Hall
ISBN:
Category : Computers
Languages : en
Pages : 282
Get Book
Book Description
Author: Gary Bray
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 378
Get Book
Book Description
Designed for advanced undergraduates majoring in computer science, software engineering or computer engineering, this text treats all important aspects of Ada (statements, types, subprograms, packages, exceptions, generics, tasks, input/output, representation clauses, compilation rules, and Ada programming support environment). Discusses not only the rules and features of Ada, but also the reasons behind the rules, to show how Ada can contribute to reliable, understandable, and reusable programs. Includes a wealth of examples.
Author: Grady Booch
Publisher: Benjamin-Cummings Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 664
Get Book
Book Description
Author: Alan Burns
Publisher: Cambridge University Press
ISBN: 9780521629119
Category : Computers
Languages : en
Pages : 414
Get Book
Book Description
A major feature of the Ada programming language is the facilities it provides for concurrent programming. Alan Burns and Andy Wellings provide here a thorough and self-contained account of concurrent programming in Ada, and so show users, even beginners, how to harness the full power of the whole language. After giving an overview of the non-concurrent features of Ada, the authors proceed to examine in detail the uses of concurrent programming and the inherent difficulties in providing inter-process communication. The Ada tasking model is then introduced; the way it deals with these and related matters is explained in a number of separate chapters, covering system programming, real-time issues, distribution, object-oriented programming and re-use. This is the first book which deals with concurrent features in the new Ada standard, and it offers practical advice to the programmer needing to use it for embedded systems, while those interested more broadly in the development of programming languages will find many otherwise inaccessible issues probed in depth. It will thus be of value to professional software engineers and advanced students of programming alike; indeed, every Ada programmer will find it essential reading and a primary reference work. For the paperback edition the authors have made revisions throughout the text, updating and correcting where appropriate.
