Softwareudvikling

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

This Springer Brief presents a selection of tools and techniques which either enable or improve the use of DevOps for airborne software engineering. They are evaluated against the unique challenges of the aviation industry such as safety and airworthiness, and exercised using a demonstrator in order to gather first experience.The book is structured as follows: after a short introduction to the main topics of the work in chapter 1, chapter 2 provides more information on the tools, techniques, software and standards required to implement the subsequently presented ideas. In particular, the development practice BDD, the relation between DevOps, CI & CD and both the Rust & the Nix programming language are introduced. In chapter 3 the authors explain and justify their ideas towards advancing the state of the art, mapping the aforementioned tools and techniques to the DevOps Cycle while considering aspects of Do-178C. Next, in chapter 4 the experiences gathered while implementing a demonstrator using the tools and techniques are described. Eventually, chapter 5 briefly summarizes the findings and presents a compilation of open points and missing pieces which are yet to be resolved.The book targets three different reader groups. The first one are development managers from the aerospace industry who need to see examples and experience reports for the application of DevOps for airborne software. The second group are investigators in the safety-critical embedded systems domain who look for benchmarks at various application domains. And the third group are lecturers who offer graduate level software engineering courses for safety-critical software engineering.

This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021*.The 16 revised full papers were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: problem solving infrastructures, experiment organization, and machine learning applications; data analysis in astronomy; data analysis in material and earth sciences; information extraction from text* The conference was held virtually due to the COVID-19 pandemic.

This book guides the reader through a design process that was tested and optimized in companies and design bureaus. It not only smoothly integrates modern product development techniques, but also addresses, for each phase, issues related to the management of intangible assets. There are several books on the product design process, as well as on the development of innovative products in general. However, none of them addresses how to integrate the engineering techniques with the necessary aspects of Intellectual Property Management. With a focus on software intensive products in general, the book presents a meta-process that adapts to product design in any area where the software element is an important factor in product functionality and innovation.

This volume constitutes the papers of several workshops which were held in conjunction with the 27th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held as virtual event in April 2022.The 30 revised full papers presented in this book were carefully reviewed and selected from 65 submissions. DASFAA 2022 presents the following five workshops:nbsp;        First  workshop on Pattern mining and Machine learning in Big complex Databases (PMBD 2021)nbsp;        6th International Workshop on Graph Data Management and Analysis (GDMA 2022)nbsp;        First International Workshop on Blockchain Technologies (IWBT2022)nbsp;        8th International Workshop on Big Data Management and Service (BDMS 2022)nbsp;        First workshop on Managing Air Quality Through Data Sciencenbsp;        7th International Workshop on Big Data Quality Management (BDQM 2022).

The study of software engineering and its applications to system engineering is critical in computer science research. Modern research methodologies, as well as the use of machine and statistical learning in software engineering research, are covered in this book. This book contains the refereed proceedings of the Software Engineering Perspectives in Systems part of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online.

With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++. It is divided into three parts plus several appendices. Part I provides a foundation for real-time C++ by covering language technologies, including object-oriented methods, template programming and optimization. Next, part II presents detailed descriptions of a variety of C++ components that are widely used in microcontroller programming. It details some of C++'s most powerful language elements, such as class types, templates and the STL, to develop components for microcontroller register access, low-level drivers, custom memory management, embedded containers, multitasking, etc. Finally, part III describes mathematical methods and generic utilities that can be employed to solve recurring problems in real-time C++. The appendices include a brief C++ language tutorial, information on the real-time C++ development environment and instructions for building GNU GCC cross-compilers and a microcontroller circuit.For this second edition, the most recent specification of C++14 in ISO/IEC 14882:2014 is used throughout the text. Several sections on new C++14 functionality have been added, and various others reworked to reflect changes in the standard. Also two new sample projects are introduced, and various user suggestions have been incorporated. To facilitate portability, no libraries other than those specified in the language standard itself are used. Efficiency is always in focus and numerous examples are backed up with real-time performance measurements and size analyses that quantify the true costs of the code down to the very last byte and microsecond.The target audience of this book mainly consists of students and professionals interested in real-time C++. Readers should be familiar with C or another programming language and will benefit most if they have had some previous experience with microcontroller electronics and the performance and size issues prevalent in embedded systems programming.

Software Quality is not a result of great testing and processes. It is an act of deliberate design.Do you understand the attributes that affect the quality of your software?Have you considered the long-term implications of your software design?How do we design software to mitigate quality issues early?Have you considered the non-functional implications of our software design?Is there alignment between software design and testing processes?Do you understand how and where to test and how to approach designing test frameworks?Quality By Design answers these questions and many others to direct development teams on the correct path to designing quality software.

This book is a detailed guide that will help learners get started with Ubuntu Linux. It talks about the basics and then moves on to practical exercises to help readers quickly gain the required knowledge.

This book is a detailed guide that will help learners get started with NativeScript programming. It talks about the basics and then moves on to practical exercises to help readers quickly gain the required knowledge. This book is meant for both NativeScript developers as well as learners without a formal NativeScirpt background

This book is a detailed guide that will help learners get started with Django programming. It talks about the basics and then moves on to practical exercises to help readers quickly gain the required knowledge. This book is meant for both Python developers as well as learners without a formal coding background.

The book explores information security concepts and applications from an organizational information perspective and explains the process of audit planning and preparation. It further demonstrates audit techniques and collecting evidence to write important documentation by following the ISO 27001 standards.

This book covers themes related to artificial intelligence in systems and networks application. Selected papers explore modern neural networks application, optimization and hybrid and bio-inspired algorithms are covered too. The refereed proceedings of the Artificial Intelligence Trends in Systems part of the 11th Computer Science On-line Conference 2022 (CSOC 2022), conducted online in April 2022, are included in this volume.

This book constitutes the refereed post-conference proceedings of the 7th International Conference on IoT as a Service, IoTaaS 2021, which took place in Sydney, Australia, in December 2021. Due to COVID-19 pandemic the conference was held virtually. The 17 revised full papers were carefully reviewed and selected from 129 submissions. The papers are divided in content-related tracks: Intelligent IoT communication solutions; Social Internet of Things: security, management; Machine learning prediction and recommendation in IoT.

This book contains the refereed proceedings of the Cybernetics Perspectives in Systems session of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online. Papers on modern cybernetics and informatics in the context of networks and systems are an important component of current research issues. This volume contains an overview of recent method, algorithms and designs.

This book is about object-oriented programming and how it is implemented in Microsoft Visual Basic. Accordingly, the book has two separate, but inter- twined, goals. The first is to describe the general concepts of object orientation and the second is to describe how to do object-oriented programming in Visual Basic. I intend this to be a short, no-nonsense book that can be read through once and then easily referred to at later times. (Long stories about a mythical company and its programming problems are seldom interesting the first time through, let alone the second, third or fourth times!) To read this book, you need only a minimal acquaintance with Visual Basic. In particular, I assume you can construct a simple Visual Basic program and have some rudimentary knowledge of fundamental programming tech- niques. This book does not teach Visual Basic - it teaches you how to pro- gram Visual Basic in an object-oriented way. The issue here is not how much Visual Basic you already know - it is that you want to learn about object- oriented programming techniques. With regard to the first goal of the book, it is my feeling that a discussion of the underlying concepts of object orientation Oust what is an object, a class, encapsulation, abstraction, and so on) is essential in order to take full advan- tage of any object-oriented language. Simply put, it will help you understand what you are doing if you know why you are doing it.