Ada for the C++ or Java Developer
The course covers a wide range of Ada topics, from the basics of the language to advanced features and programming techniques. It is well-suited for experienced programmers who want to expand their skillset and learn a powerful, modern systems programming language.
Ada for the Embedded C Developer
"Ada for the Embedded C Developer" serves as an invaluable resource for embedded developers who want to enhance their expertise in developing ultra-high dependable systems. It takes into account the GNAT toolchain, a powerful set of development tools that significantly aid Ada development.
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 [...]
Automate the Boring Stuff with Python
This 504 page book teaches Python programming to automate tedious tasks and “do in minutes what would take hours.” Written by Al Sweigart for complete beginners, readers learn Python by writing scripts for practical tasks like finding/changing text, manipulating documents and spreadsheets, web automation, and more. Recommended for: Beginner-to-intermediate readers. This book [...]
Eloquent JavaScript
Fourth Edition
Discover "Eloquent JavaScript" by Marijn Haverbeke, a classic and comprehensive online programming guide to the JavaScript language. Suitable for beginners and experienced developers, it covers both client-side and server-side JavaScript, guiding readers from fundamentals to building full-stack applications. Ideal for self-learners, students, and professionals expanding their JavaScript skills.
Introduction to Ada
This course is ideal for beginner-to-intermediate programmers looking to expand their skillset by learning the Ada language. No prior experience with Ada is required, but some familiarity with programming concepts and languages will be helpful.
Introduction to Ada: Laboratories
This course provides a comprehensive introduction to the Ada programming language, covering its key features and concepts. It starts with the basics, such as imperative programming constructs and modular design, and gradually progresses to more advanced topics like strong typing, subprograms, and exception handling.
Introduction to Embedded Systems Programming
This course is ideal for beginner to intermediate programmers interested in developing embedded systems, as well as experienced C or C++ developers looking to explore the benefits of the Ada language for this domain.
Introduction to Spark
The course covers a wide range of SPARK topics, from the basics of designating SPARK code to more advanced techniques for proving functional correctness. It provides a solid foundation for developers interested in leveraging the benefits of formal verification in their Ada projects.
Introduction to the GNAT Toolchain
This course is ideal for beginner to intermediate programmers who are new to the Ada and SPARK programming languages and want to get hands-on experience with the industry-leading GNAT toolchain. It provides a solid foundation for those looking to develop high-reliability, safety-critical, and security-critical applications using these powerful programming technologies.
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 [...]