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 [...]
Ada for the Embedded C Developer
This book introduces Ada for embedded C developers, comparing it to C syntax while providing guidance on real-time, multithreading features and verifying concurrent programs with SPARK and static analysis tools for safety-critical systems programming.
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, [...]
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 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 [...]
Introduction to the GNAT Toolchain
“Introduction to the GNAT Toolchain” is a comprehensive tutorial aimed at beginners who want to set up an Ada development environment using the GNU Ada (GNAT) toolchain. The book provides step-by-step guidance on installing and configuring the necessary build tools for compiling and managing Ada projects from the command line. It focuses [...]
Open Softwear
Fashionable prototyping and wearable computing using the Arduino
This free, open-source book teaches the fundamentals of integrating microcontrollers, electronics and coding into fashion and textile designs using the popular Arduino platform. It covers all aspects of getting started with wearable technology projects, from choosing hardware components to uploading finished programs. Examples explore utilizing digital and analog pins, programming inputs and [...]
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 [...]