Ada for the C++ or Java Developer
This guide introduces the Ada programming language for experienced C++ or Java developers. It covers all core Ada concepts through numerous side-by-side code examples that map constructs between the languages. The document helps readers rapidly develop a working knowledge of Ada by leveraging their existing skills in C++ or Java. It covers [...]
Advanced Journey with Ada
A Flight in Progress
This textbook provides an in-depth technical reference on Ada’s advanced features. It builds upon core fundamentals by delving into intricate language details through rigorous but accessible explanations and examples. Key topics include advanced data types, controlled visibility, OO, contracts, generics and exception handling. Developers learn how to optimize programs and solve sophisticated [...]
Computer Networks: A Systems Approach
This textbook by Peterson and Davie serves as a comprehensive guide to fundamental computer networking concepts, algorithms, protocols, and technologies. It uses a layered systems model to provide context for how discrete components interconnect. It begins with an overview of OSI and TCP/IP networking models before thoroughly covering physical transmission media, signals, [...]
Heritage Dynamics
Understanding and adapting to change in diverse heritage contexts
This book develops a new theoretical framework called “heritage dynamics” to analyse heritage as an adaptive and transformative socio-cultural practice rather than something fixed. Through case studies, it applies this framework to examine how heritage responds to change in various contexts. The book aims to reorient heritage management thinking towards approaches embracing [...]
Introduction to Ada
This comprehensive beginner’s guide introduces the Ada programming language. It provides an overview of Ada’s history and design philosophy emphasizing safety, reliability and maintainability. The tutorial explains core syntax and programming constructs through numerous code examples. It also covers advanced features like packages, generics, exceptions and concurrency. Later sections address technically demanding [...]
Introduction to Ada: Laboratories
This workbook complements the Introduction to Ada online textbook by providing over 150 hands-on exercises. Spanning 18 chapters, it offers a learn-by-doing approach to help readers develop practical skills in Ada programming. The exercises directly apply concepts from the Introduction to Ada tutorial, reinforcing learned topics through realistic problems. Early labs focus [...]
Introduction to Embedded Systems Programming
This in-depth technical course teaches programmers how to effectively use Ada for developing safety-critical and resource-constrained embedded software. It provides a comprehensive overview of low-level programming techniques, multi-language interfacing, interrupt handling, and interacting with common peripherals from an Ada-oriented perspective. Real code samples demonstrate techniques using the Ada Drivers Library. Recommended for: [...]
Introduction to Networking
How the Internet works
This intro book aims to explain the key concepts, design, protocols, and infrastructure behind today’s Internet connectivity in plain language that anyone can understand. Originally coming from a popular online networking course it shows the clever way global digital networks are put together through topics like TCP/IP, hardware pieces, and a quick [...]
Introduction to Spark
This tutorial introduces the SPARK language and its associated analysis tools. It explains key differences from Ada that enable formal verification. Readers learn about adding basic contracts and analyzing code with tools like GNATprove. Advanced topics like state abstraction and ghost code are demonstrated. Numerous examples of varying complexity cement understanding. Recommended [...]
Materialising the Roman Empire
Materializing the Roman Empire is a book that looks at using archaeology to understand the Roman Empire better. It’s edited and has different authors explore how stuff and objects – material culture – shaped how the Empire worked as it got bigger and eventually fell apart. There are three main sections: First [...]
Spark Ada for the MISRA C Developer
This technical resource compares the SPARK subset of the Ada programming language and its verification tools to the MISRA C coding standard. It outlines issues in C like weak typing and undefined behaviors that make analysis difficult. The document shows how SPARK/Ada addresses these through language features and principles, enforcing properties like [...]
The discipline of organizing
The Discipline of Organizing by Glushko is a popular textbook for figuring out how groups organize information and connections in different situations. It sets up something called the Organizing System to look at how collections arrange resources and interactions no matter where they show up. It gives both theoretical basics and practical [...]