Softwareudvikling

This book constitutes the jointly proceedings of the 3rd International Conference on Intelligent Edge Processing in the IoT Era, Edge-IoT 2022, and the 4th International Conference on Smart Governance for Sustainable Smart Cities, SmartGov 2022. Both conferences were held online due to COVID-19 pandemic in November 2022, held as virtual events, in November 16-18, 2022.The 12 full papers were selected from 31 submissions. SmartGov 2022 was to promote the development of secure and sustainable smart cities with smart governance, while the theme of Edge-IoT 2022 was to address the decentralization of contemporary processing paradigms, notably Edge processing, focusing on the increasing demand for intelligent processing at the edge of the network, which is paving the way to the Intelligent IoT Erä. Both the EAI SmartGov 2022 and EAI Edge-IoT 2022 conferences were co-located with EAI SmartCity360 international convention.The papers are organized in the following topical sections: Edge-IoT Applications; IoT Architectures, Forecasting and Adversarial Training; Artificial Intelligence and Machine Learning for smart governance; and Smart Transportation.

This book constitutes the refereed proceedings of five International Workshops held as parallel events of the 18th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2022, virtually and in Hersonissos, Crete, Greece, in June 2022: the 11th Mining Humanistic Data Workshop (MHDW 2022); the 7th 5G-Putting Intelligence to the Network Edge Workshop (5G-PINE 2022); the 1st workshop on AI in Energy, Building and Micro-Grids (AIBMG 2022); the 1st Workshop/Special Session on Machine Learning and Big Data in Health Care (ML@HC 2022); and the 2nd Workshop on Artificial Intelligence in Biomedical Engineering and Informatics (AIBEI 2022).The 35 full papers presented at these workshops were carefully reviewed and selected from 74 submissions.

Learn how to make the right technical decisions to achieve your organization's business objectives. This book is a guide for software engineers who are responsible for making technical decisions that impact the business objectives of their organization. You'll start by reviewing business priorities, technical decision-making, and see how to overcome common challenges. Using real world case studies, this book offers a comprehensive overview of the skills and strategies required for senior engineers to effectively navigate complex technical and business challenges. You will also gain advice on building trust and credibility with business stakeholders and communicating technical challenges and opportunities to them.The Technical-Business Equilibrium reveals practical strategies for assessing technical feasibility and risk, selecting the best solutions to meet your company's goals, and communicating those decisions to business stakeholders.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions.The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.

This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile network; system security estimation and analysis of data network; and AI-based system model and algorithm.

This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 35th International Conference on Advanced Information Systems Engineering, CAiSE 2023, which was held in Zaragoza, Spain, during June 12-16, 2023.The workshops included in this volume are:· 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS)· 1st Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE)· Blockchain and Decentralized Governance Design for Information Systems (BC4IS and DGD)They reflect a broad range of topics and trends ranging from blockchain technologies via digital factories, ethics, and ontologies, to the agile methods for business and information systems. The theme of this year¿s CAiSE was ¿Cyber-Human Systems¿.The 10 full papers and 9 short paper presented in this book were carefully reviewed and selected from 25 submissions.

This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers and 2 short papers presented were carefully reviewed and selected from 13 submissions. The presented research and technical works cover system-level design methods, algorithms, verification and validation techniques, estimation of system properties and characteristics, performance analysis, and real-time systems design. Also, the book presents industrial and real-world application case studies that discuss the challenges and realizations of modern embedded systems, especially when it comes to including artificial intelligence algorithms and techniques in embedded systems.

In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call. Since then, by modifying crowdsourcing into different forms, some of the most successful new companies on the market have used this idea to make people's lives easier and better. On the other hand, software testing has long been recognized as a time-consuming and expensive activity. Mobile application testing is especially difficult, largely due to compatibility issues: a mobile application must work on devices with different operating systems (e.g. iOS, Android), manufacturers (e.g. Huawei, Samsung) and keypad types (e.g. virtual keypad, hard keypad). One cannot be 100% sure that, just because a tested application works well on one device, it will run smoothly on all others.Crowdsourced testing is an emerging paradigm that can improve the cost-effectiveness of software testing and accelerate the process, especially for mobile applications. It entrusts testing tasks to online crowdworkers whose diverse testing devices/contexts, experience, and skill sets can significantly contribute to more reliable, cost-effective and efficient testing results. It has already been adopted by many software organizations, including Google, Facebook, Amazon and Microsoft. This book provides an intelligent overview of crowdsourced testing research and practice. It employs machine learning, data mining, and deep learning techniques to process the data generated during the crowdsourced testing process, to facilitate the management of crowdsourced testing, and to improve the quality of crowdsourced testing.

This book provides a comprehensive learning journey aimed at helping you master Ansible and efficiently automate a range of enterprise network devices, such as routers, switches, firewalls, Wireless LAN Controller (WLC), and Linux servers. Introduction to Ansible Network Automation combines the fundamentals of three books into one, covering basics of Linux administration, Ansible concepts, and Ansible network automation.Authors Brendan Choi and Erwin Medina have created a structured learning path that starts with the fundamentals and allows you to progressively enhance your skill sets with each chapter. Part I serves as an Ansible primer, guiding you through Linux basics using WSL on Windows 11 and assisting in the setup of your learning environment. Part II covers essential Ansible concepts through practical lab activities involving four Linux servers. In Part III, you will learn how to apply your Linux skills from Part I and the concepts from Part II to real-world scenarios by creating Ansible automation YAML scripts.What sets this book apart is its unique focus on Ansible and Network Automation, combined with a strong emphasis on understanding Linux. It is specifically designed for novice network automation engineers and students, assuming no prior Linux expertise, and provides first-hand experience starting from scratch. It also offers practical insights by sharing real-life examples of Ansible playbooks derived from production enterprise infrastructure, allowing you to gain an understanding of how Ansible can be effectively applied in real-world enterprise network environments. Upon completion of this book, you will have developed foundational skills in Ansible network automation and general Linux administration, and will understand how to apply this newly acquired knowledge to real-life scenarios. What You Will LearnDevelop a comprehensive understanding of Ansible and its essentialconcepts for automating enterprise network devices and applying them to real-world scenariosMaster the basics of Ansible operations within Linux automation and progress to applying Ansible concepts specifically to network device automationExecute Ansible ad-hoc commands and playbooks for a range of network operational tasks, including configuration management, software and system updates, and upgradesWork with real-life examples of Ansible playbooks derived from actual enterprise infrastructure, gaining practical experience in writing Ansible YAML scriptsAcquire the skills to automate network operations using Ansible, streamline network management processes, and replace manual-driven tasks with directives in Ansible playbooks Who is This Book ForNetwork, security, UC and systems engineers, as well as technical leaders, IT managers and network students.

"Software engineers and architects who work with large, complex code bases need to scale and maintain them effectively. With this cookbook, author Maximiliano Contieri takes you beyond the concept of clean code by showing you how to identify improvement opportunities and assess their impact on production code. When it comes to reliability and system evolution, these techniques provide benefits that pay off over time. Using real-world examples in JavaScript, PHP, Python, Java, and many other programming languages, this cookbook provides proven recipes to help you scale and maintain large systems. Every section covers fundamental concepts including readability, coupling, testability, security, and extensibility, as well as code smells and the corresponding recipes to address them"--Page 4 of cover.

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2023, held in Lisbon, Portugal, during June 19-23, 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.The 7 full papers presented in this book were carefully reviewed and selected from 13 submissions. The papers cover the following topics: distributed algorithms and systems; data management; and distributed architectures.

This book constitutes the refereed proceedings of four International Workshops, held as parallel events of the 19th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2023, held in León, Spain, during June 14¿17, 2023: the 12th Workshop on Mining Humanistic Data (MHDW 2023); the 8th Workshop on ¿5G¿Putting Intelligence to the Network Edge (5G-PINE 2023); the second Workshop on AI in Energy, Buildings and Micro-Grids Workshop (¿¿BMG 2023); and the First Workshop on Visual Analytics Approaches for Complex Problems in Engineering and Biomedicine" (VAA-CP-EB 2023). This event was held in hybrid mode.The 37 regular papers presented at these workshops were carefully reviewed and selected from 86 submissions.

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.

This book constitutes the refereed proceedings of the 16th International Conference on Artificial General Intelligence, AGI 2023, held in Stockholm, Sweden in June 2023. The 35 full papers and one short paper presented in this book were carefully reviewed and selected from 72 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more.

This book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23¿26, 2023. It focused on the special theme "Information Science and the Connected World".The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice.The 28 full papers presented in this volume were carefully reviewed and selected from a total of 87 submissions. The book also includes 15 Forum papers and 6 Doctoral Consortium papers. The contributions were organized in topical sections named: Requirements; conceptual modeling and ontologies; machine learning and analytics; conceptual modeling and semantic networks; business process design and computing in the continuum; requirements and evaluation; monitoring and recommending; business process analysis and improvement; user interface and experience; forum papers; doctoral consortium papers. Two-page abstracts of the tutorials can be found in the back matter of the volume.

Learn how to effectively utilize the Bash shell in your programming. This refreshed and expanded third edition has been updated to Bash 5.2, and many scripts have been rewritten to make them more idiomatically Bash, taking better advantage of features specific to Bash. It is easy to read, understand, and will teach you how to get to grips with Bash programming without drowning you in pages and pages of syntax.Using this book you will be able to use the shell efficiently, make scripts run faster using expansion and external commands, and understand how to overcome many common mistakes that cause scripts to fail. This book is perfect for all beginning Linux and Unix system administrators who want to be in full control of their systems, and really get to grips with Bash programming.The Bash shell is a complete programming language, not merely a glue to combine external Linux commands. By taking full advantage of Shell internals, Shell programs can perform as snappily as utilities written in C or other compiled languages. And you will see how, without assuming UNIX lore, you can write professional Bash programs through standard programming techniques.What You'll Learn Use the Bash shell to write utilities and accomplish most programming tasksReplace many external commands with shell parameter expansion making scripts very fastAvoid many common mistakes that cause scripts to failSee how Bash¿s read line and history libraries can save typing when getting user inputBuild shell scripts that get information from the WebWho This Book Is ForDevelopers, programmers, and open source enthusiasts who want to write scripts using Bash on multiple platforms

This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023.XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.¿ XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year¿s conference was held with the theme ¿Whole Team Sustainability¿.The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.

In diesem umfassenden Leitfaden zur Low-Code-Entwicklung werden alle wesentlichen Aspekte dieses innovativen Ansatzes behandelt. Das Buch ist in klar strukturierte Kapitel unterteilt, die Ihnen dabei helfen, ein fundiertes Verständnis für die Low-Code-Technologie zu entwickeln und Ihre Fähigkeiten in der Anwendungsentwicklung auf ein neues Niveau zu bringen.Im ersten Kapitel werden die Grundlagen der Low-Code-Entwicklung eingeführt. Sie erhalten einen Überblick über die Konzepte, Vorteile und Einsatzmöglichkeiten von Low-Code-Plattformen. Anschließend wird in den weiteren Kapiteln detailliert auf die verschiedenen Phasen des Low-Code-Entwicklungsprozesses eingegangen. Sie lernen, wie Sie effektiv Anforderungen erfassen, Benutzeroberflächen gestalten, Geschäftslogik implementieren und Datenbanken verwalten.Ein zentraler Schwerpunkt des Buches liegt auf der Erstellung komplexer Anwendungen. In speziellen Kapiteln erfahren Sie, wie Sie Herausforderungen bei der Erstellung komplexer Anwendungen bewältigen und welche Fähigkeiten und Kenntnisse Sie als Entwickler dafür benötigen. Sie lernen auch, wie Sie mit Legacy-Systemen integrieren und Sicherheits- sowie Compliance-Anforderungen berücksichtigen.Ein weiterer wichtiger Aspekt des Buches ist die Zusammenarbeit zwischen Entwicklern und Citizen-Developern. Es werden bewährte Methoden und Empfehlungen für eine effektive Zusammenarbeit aufgezeigt, um das Potenzial von Low-Code-Entwicklungswerkzeugen optimal auszuschöpfen.Abschließend bietet das Buch Empfehlungen zur Bewältigung der Herausforderungen, die mit der Verwendung von Low-Code-Entwicklungswerkzeugen verbunden sind. Diese wertvollen Ratschläge helfen Ihnen dabei, Ihre Entwicklungsfähigkeiten zu verbessern und erfolgreiche Low-Code-Projekte umzusetzen.Egal, ob Sie ein erfahrener Entwickler sind oder gerade erst in die Welt der Low-Code-Entwicklung eintauchen, dieses Buch bietet Ihnen eine umfassende und praxisorientierte Anleitung. Tauchen Sie ein in die Welt des Low-Code und entdecken Sie neue Wege, um innovative Anwendungen zu entwickeln.

The "Black Magic Probe" is a debug probe for ARM Cortex microcontrollers, supporting SWD and JTAG. What sets it apart from other debug probes is that it directly supports the Remote Server Protocol of GDB (also used by LLDB and other debugging and development tools). This quashes the need for additional middleware, services or drivers, and thereby makes the software/hardware toolchain simpler, more portable and more reliable.What you can do with the Black Magic Probe is:¿ Download code into Flash ROM or RAM of the microcontroller.¿ Step through code, look at a backtrace of the call stack.¿ Set up to six breakpoints in Flash ROM (as well as unlimited breakpoints in RAM).¿ Set up to four data watchpoints, to check for data reads or writes.¿ Inspect and modify variables, memory and registers.¿ Run the code and follow it with real-time tracing.¿ Profile your code, to gain insight in where it spends its cycles.This book focuses on the original Black Magic Probe, but it also covers a few "open hardware" variants - such as the ctxLink probe, which offers truly remote debugging, due to its Wi-Fi interface and rechargeable battery.

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Professor, while also a full professor at Universidad Politécnica de Madrid (UPM).He has published more than 300 scientific publications, given numerous keynotes and invited talks at major conferences, coordinated many national and international projects, and served the community in major conference roles, on journal boards, and on funding, scientific, and research committees. Among his awards are the Julio Rey Pastor prize in Mathematics and Information Science and Technologyand the Aritmel prize in Computer Science; he is an elected member of the Academia Europaea; and in 2022 he was elected a Fellow of the ACM for contributions to program analysis, verification, parallelism, logic programming, and the IMDEA Software Institute.Throughout his career, Manuel has been at the forefront of the fields of logic programming, constraint programming, parallel programming, program analysis, program transformation, and programming environment design. The contributions in this volume reflect the quality and the scope of his personal and collaborative successes.

This volume represents the 20th International Conference on Information Technology - New Generations (ITNG), 2023. ITNG is an annual event focusing on state of the art technologies pertaining to digital information and communications. The applications of advanced information technology to such domains as astronomy, biology, education, geosciences, security, and health care are the among topics of relevance to ITNG. Visionary ideas, theoretical and experimental results, as well as prototypes, designs, and tools that help the information readily flow to the user are of special interest. Machine Learning, Robotics, High Performance Computing, and Innovative Methods of Computing are examples of related topics. The conference features keynote speakers, a best student award, poster award, service award, a technical open panel, and workshops/exhibits from industry, government and academia. This publication is unique as it captures modern trends in IT with a balance of theoretical and experimental work. Most other work focus either on theoretical or experimental, but not both. Accordingly, we do not know of any competitive literature.

Das Buch zur Komponenten-Entwicklung für Delphi-Programmierer ist ein unverzichtbarer Leitfaden für alle, die ihr Wissen vertiefen möchten. Es richtet sich an Entwickler, die bereits über Grundkenntnisse in Delphi verfügen und ihre Fähigkeiten auf die nächste Stufe bringen möchten.Das Buch beginnt mit einer Einführung in die Grundlagen der Komponentenentwicklung und führt die Leser schrittweise durch die Erstellung eigener Komponenten und ganzer Packages. Anhand von zahlreichen Beispielen wird gezeigt, wie man Komponenten und Packages erstellt, installiert und weitergibt. Dabei werden sowohl die theoretischen Grundlagen als auch praktische Tipps und Tricks vermittelt.Das Buch bietet eine umfassende Einführung in die Welt der Komponenten-Entwicklung, einschließlich der Verwendung von VCL und FireBird-Komponenten. Es behandelt Themen wie die Erstellung von benutzerdefinierten Komponenten, die Verwendung von Eigenschaften und Ereignissen, die Erstellung von Dialogfeldern und vieles mehr.Durch die klare Struktur und das verständliche Layout ist das Buch einfach zu lesen und ermöglicht es dem Leser, die Inhalte schnell und einfach zu erfassen. Die zahlreichen Beispiele und Übungen fördern das Verständnis und helfen dem Leser, das Gelernte praktisch umzusetzen.Insgesamt ist das Buch zur Komponenten-Entwicklung ein unverzichtbarer Leitfaden für Delphi-Programmierer, die ihre Fähigkeiten verbessern und in die Welt der Komponenten-Entwicklung eintauchen möchten. Es ist ein hervorragendes Nachschlagewerk für jeden, der seine Entwicklungsfähigkeiten erweitern möchte.

This edited book presents scientific results of the 24th ACIS International Winter Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2022-Summer) which was held on December 7¿9, 2022, at Taichung, Taiwan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way.The conference organizers selected the best papers from those papers accepted for presentation at the workshop. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 15 of the most promising papers are then published in this Springer (SCI) book and not the conference proceedings.

"TypeScript is one of the most important tools for JavaScript developers. Still, even experienced developers wonder why the TypeScript compiler is throwing squiggly red lines at them. Enter TypeScript Cookbook. With this practical guide, author Stefan Baumgartner provides senior engineers with solutions for everyday TypeScript problems. If you're conversant with TypeScript as well as JavaScript basics, this book provides actionable recipes to help you tackle a wide array of issues. From setting up complex project structures to developing advanced helper types, each self-contained recipe guides you through the problem and discusses why and how a solution works." --

Go is an increasingly popular language for programming everything from web applications to distributed network services. This practical guide provides recipes to help you unravel common problems and perform useful tasks when working with Go. Each recipe includes self-contained code solutions that you can freely use, along with a discussion of how and why they work. Programmers new to Go can quickly ramp up their knowledge while accomplishing useful tasks, and experienced Go developers can save time by cutting and pasting proven code directly into their applications. Recipes include: Creating a module; Calling code from another module; Returning and handling an error; Converting strings to numbers (or converting numbers to strings); Modifying multiple characters in a string; Creating substrings from a string; Capturing string input; And so much more.--Back cover.

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26¿27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.