Software Engineering with Ada


Book Description

A revision of Booch's bestselling book on Ada as it is used from a software engineering perspective. Features include a thorough introduction to Syntax, new example programs, more real-world examples and summaries.




System Design with Ada


Book Description




Programming in Ada 95


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.










Software Engineering with Ada


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.




Programming in Ada 2012 with a Preview of Ada 2022


Book Description

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 onto algorithmic aspects and then structural features such as OOP and multitasking. The fourth part gives details of the standard library and interaction with the external environment. Six complete executable programs illustrate the core features of the language in action. The book concludes with an appendix focussing on the new features in Ada 2022. These new features aid program proof and the efficient use of multicore architectures.




Towards a Formal Description of Ada


Book Description




Concurrency in Ada


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.




Building Design Systems


Book Description

Learn how to build a design system framed within the context of your specific business needs. This book guides you through the process of defining a design language that can be understood across teams, while also establishing communication strategies for how to sell your system to key stakeholders and other contributors. With a defined set of components and guidelines, designers can focus their efforts on solving user needs rather than recreating elements and reinventing solutions. You'll learn how to use an interface inventory to surface inconsistencies and inefficient solutions, as well as how to establish a component library by documenting existing patterns and creating new ones. You'll also see how the creation of self-documenting styles and components will streamline your UX process. Building Design Systems provides critical insights into how to set up a design system within your organization, measure the effectiveness of that system, and maintain it over time. You will develop the skills needed to approach your design process systematically, ensuring that your design system achieves the purpose of your organization, your product, and your team. What You'll Learn Develop communication strategies necessary to gain buy-in from key stakeholders and other teams Establish principles based on your specific needs Design, build, implement, and maintain a design system from the ground up Measure the effectiveness of your system over time Who This Book Is For All teams, large and small, seeking to unify their design language through a cohesive design system and create buy-in for design thinking within their organization; UX, visual, and interaction designers, as well as product managers and front-end developers will benefit from a systematic approach to design.