Название: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Автор: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Издательство: Springer
Серия: Computer Science Foundations and Applied Logic
Год: 2024
Страниц: 708
Язык: английский
Формат: pdf (true), epub
Размер: 64.7 MB

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products. Acknowledging the fact that no single technique will ever be able to fit all software verification needs, the Frama-C platform features a wide set of plug-ins that can be used or combined for solving specific verification tasks. This guidebook presents a large panorama of basic usages, research results, and concrete applications of Frama-C since the very first open-source release of the platform in 2008. It covers the ACSL specification language, core verification plug-ins, advanced analyses and their combinations, key ingredients for developing new plug-ins, as well as successful industrial case studies in which Frama-C has helped engineers verify crucial safety or security properties. The C programming language continues to be used in foundational software such as device drivers, networking software, operating systems, and controllers, and such software is of growing importance as computers are used in more and more products and cyber-physical systems. C is an attractive programming language for such systems because it provides low-level access to machine capabilities, explicit storage allocation, and pointer arithmetic. However, these same features make it difficult to use C safely and reliably. Programming safely and reliably in language such as C benefits greatly from tool support, which can record a programmer’s decisions and check that they are carried out consistently and without running into any semantic problems.

Название: DevSecOps Adventures: A Game-Changing Approach with Chocolate, LEGO, and Coaching Games, 2nd Edition
Автор: Dana Pylayeva
Издательство: Apress
Год: 2024
Страниц: 386
Язык: английский
Формат: pdf (true), epub
Размер: 35.4 MB

Discover a groundbreaking approach to introducing DevSecOps. DevSecOps Adventures uses three innovative games to help you to maximize engagement in your training and transform learners’ mindsets, turning even reluctant sceptics into supporters and advocates of the DevOps culture. The book’s first coaching game uses LEGO, Chocolate, and role cards to explore the roles and interdependencies of Dev, Ops, and Security. Readers will experience Aha! moments, expand their individual roles, develop T-shaped skills, and experiment with changing organizational culture. The simulations depict an end-to-end product delivery process, highlighting bottlenecks in the value delivery flow. Additionally, the book is updated with two new games, "Fear in the Workplace" and "Safety in the Workplace" which provide insights into safety culture, drawing inspiration from the works of Ron Westrum, William Kahn, Amy C. Edmondson, and Dr. David Rock. Through open conversations, participants learn to identify signs of a fear-ridden culture and apply safety-enhancing practices to foster a culture of experimentation and learning. This Second Edition is enhanced with real-life examples and includes the insights from important State of DevOps reports. For programmers or system admins/project managers who are new to DevOps.

Название: Разработка веб-приложений на PHP 8
Автор: Колесниченко Дмитрий
Издательство: Питер
Год: 2024
Формат: PDF
Страниц: 498
Размер: 288 Mb
Язык: Русский

На практических примерах описано создание веб-приложений на языке PHP версии 8.x. Даны начала разработки на PHP: установка и настройка Apache 2.4, PHP, MySQL и кроссплатформенной сборки XAMPP, выбор редактора PHP-кода, синтаксис языка, самые полезные функции и нововведения PHP 8.x. Рассмотрено создание веб-приложений с использованием популярного фреймворка Laravel и шаблонизатора Blade. В качестве хранилища данных использованы два сервера – самая современная версия MySQL и набирающая популярность СУБД MongoDB. Раскрыты особенности создания индикатора загрузки файла и разыменовывания массивов, приведены примеры устранения типичных SEO-ошибок, допускаемых программистами, описана работа с PDO, JSON, MP3, Curl, MobileDetec Особое внимание уделяется безопасности веб-приложений – рассматривается, как уберечь их от основных атак, как установить SSL-сертификат и как уберечь сам сервер от неприятностей.

Название: C# Microservices Web Applications: Building Scalable, Service-Oriented, Modern, Enterprise Applications
Автор: Theophilus Edet
Издательство: CompreQuest Books
Год: 2024
Страниц: 726
Язык: английский
Формат: pdf, epub, mobi
Размер: 10.1 MB

Unlock the Power of Microservices with C# and .NET Core. Are you ready to revolutionize your approach to building web applications? "C# Microservices Web Applications: Building Scalable, Service-Oriented, Modern, Enterprise Applications" is your essential guide to mastering microservices architecture with C# and .NET Core. This book is designed for developers and IT professionals eager to enhance their skills and build applications that are not only scalable but also resilient and maintainable. Dive into the world of microservices and discover how to create robust, efficient, and highly responsive web applications that can handle the demands of modern enterprise environments. Why should you consider microservices architecture for your next project? Microservices offer a modular approach to building applications, breaking down complex systems into smaller, independent services. This allows for greater flexibility, easier maintenance, and improved scalability. "C# Microservices Web Applications" provides a detailed, step-by-step guide to designing, developing, and deploying microservices using C# and .NET Core. The book covers everything from the fundamentals of microservices and domain-driven design to advanced topics like containerization, orchestration with Kubernetes, and security best practices. With practical examples and hands-on exercises, you'll gain the skills and confidence needed to apply these concepts in real-world projects. Don't wait any longer to take your skills to the next level. "C# Microservices Web Applications" is more than just a book—it's a comprehensive resource that will empower you to build modern, enterprise-grade web applications. Whether you're new to microservices or looking to deepen your knowledge, this book provides the insights, techniques, and best practices you need to succeed. Purchase your copy today and start your journey towards mastering microservices with C# and .NET Core. Transform your approach to software development and position yourself as a leader in the field. Your future in microservices starts here!

Название: Symbolic Regression
Автор: Gabriel Kronberger, Bogdan Burlacu, Michael Kommenda, Stephan M. Winkler
Издательство: CRC Press
Год: 2025
Страниц: 308
Язык: английский
Формат: pdf (true)
Размер: 12.9 MB

Symbolic Regression (SR) is one of the most powerful Machine Learning (ML) techniques that produces transparent models, searching the space of mathematical expressions for a model that represents the relationship between the predictors and the dependent variable without the need of taking assumptions about the model structure. Currently, the most prevalent learning algorithms for SR are based on Genetic Programming (GP), an evolutionary algorithm inspired from the well-known principles of natural selection. This book is an in-depth guide to GP for SR, discussing its advanced techniques, as well as examples of applications in science and engineering. The basic idea of GP is to evolve a population of solution candidates in an iterative, generational manner, by repeated application of selection, crossover, mutation, and replacement, thus allowing the model structure, coefficients, and input variables to be searched simultaneously. Given that explainability and interpretability are key elements for integrating humans into the loop of learning in Artificial Intelligence (AI), increasing the capacity for data scientists to understand internal algorithmic processes and their resultant models has beneficial implications for the learning process as a whole. This book represents a practical guide for industry professionals and students across a range of disciplines, particularly Data Science, engineering, and applied mathematics. Focused on state-of-the-art SR methods and providing ready-to-use recipes, this book is especially appealing to those working with empirical or semi-analytical models in science and engineering.

Название: User Experience Methods and Tools in Human-Computer Interaction
Автор: Constantine Stephanidis, Gavriel Salvendy
Издательство: CRC Press
Год: 2025
Страниц: 488
Язык: английский
Формат: pdf (true)
Размер: 15.1 MB

This book covers user experience methods and tools in designing user‑friendly products and servicesby encompassing widely utilized successful methods, including elicitation, analysis and establishment of requirements, collaborative idea generation with design teams and intended users, prototype testing and evaluation of the user experience through empirical and non‑empirical means. This book, titled "User Experience Methods and Tools in Human-Computer Interaction", serves as a comprehensive reference for user experience methods and tools in the design process of user‑friendly products and services. It provides an extensive overview of methods and tools tailored for each stage of the design process, with a primary focus on user research and prototyping. Methods discussed for the active involvement of users in the human‑centered design process entail requirements elicitation, ethnography, user observation, interviews, ideation, focus groups, brainstorming, participatory design, and crowdsourcing in UX research. This book equips readers with a comprehensive toolset for use throughout the design process, ensuring that what is created aligns with user needs and desires. In this regard, this book encompasses chapters on personas, scenarios, journey maps, storyboarding, task analysis and modeling, user modeling, digital human modeling, prototyping techniques, gamification design, and UX design tools. It covers a wide array of research and evaluation methods employed in HCI during design, from the initiation of the human‑centered development cycle to its culmination, elaborating on questionnaires and surveys, inspection methods for usability evaluation, usability testing, as well as eye tracking and physiological measurements for UX evaluation, along with approaches to facilitate user assistance and support.

Название: Quick Start Kubernetes (2024 Edition)
Автор: Nigel Poulton
Издательство: Leanpub
Год: 2024-01-02
Страниц: 118
Язык: английский
Формат: epub
Размер: 10.1 MB

Demystify Kubernetes, the architecture and how to deploy apps. Brought to you by best-selling author and global training guru Nigel Poulton, Quick Start Kubernetes is the fastest way to wrap your head around Kubernetes and get your hands-on deploying a simple app. When you've finished the book, you'll be ready to rock-and-roll with Kubernetes. The 2024 edition is fully updated for Kubernetes v1.29 and all the latest trends in the cloud-native ecosystem. Do you need to figure out what Kubernetes is all about? Do you like learning through hands-on? If yes, this is the book for you... Quick Start Kubernetes, brought to you by best-selling author Nigel Poulton, assumes zero prior experience and gets you to the point you can hold your own in a conversation with an expert, and deploy simple applications. And it does it in less than 100 pages! Along the way, Nigel will explain everything as clearly as possible and bust every piece of jargon. When you're done, you'll be in love with Kubernetes and ready to put your skills to use.

Название: Artificial Intelligence in application: Legal aspects, application potentials and use scenarios
Автор: Thomas Barton, Christian Müller
Издательство: Springer
Год: 2024
Страниц: 197
Язык: английский
Формат: pdf (true), epub
Размер: 15.0 MB

The book shows application potentials of Artificial Intelligence (AI) in various industries and presents application scenarios on how a practical implementation can take place. The starting point is the description of legal aspects, which includes a European regulation for Artificial Intelligence and addresses the question of the permissibility of automated decisions. The description of various application potentials, mostly industry-related, and the presentation of some application scenarios form the focus of the topic volume. Four mobility scenarios, in which cars are privately owned or shared on the one hand and are driven by a driver or move autonomously on the other, are changing the most important business processes in the automotive trade, such as car sales, maintenance, repairs and used car purchases. In all processes, application scenarios for the Artificial Intelligence (AI) subfields computer vision, natural language processing (NLP) and machine learning can be identified. The analysis shows that the current degree of implementation varies widely, from the already widespread predictive maintenance in maintenance, to the first approaches of computer vision for diagnosis in repair and used car purchase, to the still novel use of chatbots in consulting and Machine Learning in recommendation processes. For car dealers, the question arises of specialization, e.g. as a service factory or for the fleet management of a mobility service provider, each of which requires different AI scenarios. The book is based on the question of how Artificial Intelligence can be used in entrepreneurial practice. It offers important information that is just as relevant for practitioners as for students and teachers.

Название: Python for Natural Language Processing: Programming with NumPy, Scikit-learn, Keras, and PyTorch, 3rd Edition
Автор: Pierre M. Nugues
Издательство: Springer
Год: 2024
Страниц: 536
Язык: английский
Формат: pdf (true), epub
Размер: 30.2 MB

Since the last edition of this book, progress has been astonishing in all areas of Natural Language Processing, with recent achievements in Text Generation that spurred a media interest going beyond the traditional academic circles. Text Processing has meanwhile become a mainstream industrial tool that is used, to various extents, by countless companies. As such, a revision of this book was deemed necessary to catch up with the recent breakthroughs, and the author discusses models and architectures that have been instrumental in the recent progress of Natural Language Processing.

Название: Numbers and Functions : Theory, Formulation, and Python Codes
Автор: G.R. Liu
Издательство: World Scientific Publishing
Год: 2024
Страниц: 226
Язык: английский
Формат: pdf (true)
Размер: 38.1 MB

This unique volume covers two fundamental elements of computational methods — numbers and functions. It provides an in-depth discussion of the behaviors of numbers, including both real and complex numbers. The discussion leads to the important closure properties of numbers, ensuring solution consistence and existence, and also possible failure in numerical computations in science and engineering.This text then introduces types of functions that take numbers as independent variables and produce a single number. Approaches for constructing inverse functions are also provided. Frequently used basis functions are introduced, with detailed studies on their properties and behaviors. Techniques are presented for constructing basis functions and their use in function approximation in computational methods. Taking advantage of the fast development of computer hardware and software, our discussions will largely be accompanied by computer codes, so that the concepts, theories, and formulations can be immediately demonstrated using examples with results plotted. We will use primarily Python in the first handful of volumes on more fundamental topics and possibly other suitable languages for more advanced topics. Python codes are used because they are currently, and in the foreseeable time, the most popular and easy-to-use tool. The idea is to break down all these difficult topics into simpler ones and conquere one by one immediately using the codes provided. As Python codes are provided, readers can easily see how the theory is formulated and how the solutions are obtained in terms of formulas, numbers, and graphs. Readers may also deepen their understanding via playing with codes and even further develop his/her own codes for solving other related problems. The book is written in Jupyter Notebook format, so that description of theory, formulation, derivation, and coding can all be done in a unified document.