Softwareudvikling

This book constitutes the refereed post-conference proceedings of the Fifth IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2022, held in Amsterdam in October 2022.The 20 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: IoT for Smart Villages, Security and Safety, Smart Home, Development, Engineering, Machine Learning, and Applications.

This book constitutes the refereed proceedings of the 11th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2022, Cordoba, Spain, November 17¿18, 2022. The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Content Creation and Interaction, Audiovisual Consumption, e-inclusion, Digital Infrastructure.

This book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.

In the 2nd edition, this book conveys updated content and, in addition to classic project management, now also agile project management in a practical manner and serves as a toolbox for projects. To this end, the most important terms and phases of project management are first explained in a standard-compliant manner. Then this book deals with cross-project cross-sectional topics and project phase-specific content, divided into agile and classic project management. Tips and hints, examples, templates and checklists from project practice in the automotive and IT environment complement the contents.For student readers, there is also an extensive question catalog to consolidate the knowledge learned. This gives readers good and quick access to the topic of project management and helps them to be able to carry out their projects successfully.

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.

This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed.The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques. Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods for quantum software engineering, quantum software modelling languages, and reengineering for quantum software are covered in this part. A second set of chapters then deals with quantum software environments and tools, detailing platforms like QuantumPath(R), Classiq as well as quantum software frameworks for deep learning. Overall, the book aims at academic researchers and practitioners involved in the creation of quantum information systems and software platforms. It is assumed that readers have a background in traditional software engineering and information systems.

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

This book discusses theoretically and empirically the trade-off relationship between the frequency of product adaptation activities and the constraints on development resources, and how companies can respond to these constraints. The objective of this book is to identify effective management practices in continuous product development. With the continuation of development activities, companies are required to constantly adapt their products to changes in the external environment. In continuous product development, the development process extends beyond product release, and interaction with the external environment is not limited to the planning stage but occurs multiple times throughout the process. What impact does the multiple adaptation activities have on the product performance as development activities become more continuous, and how to use limited development resources to provide stable and constant high-quality adaptation activities with optimal frequency have become urgent issues in the development sites. To address these research questions, this book focuses primarily on the development activities of the online game industry. The factors that bring about superior product performance are examined by combining case studies and questionnaire surveys on online game development projects. Furthermore, user community management is also discussed from the perspective of the interaction process between multiple user groups.

This unique, accessible textbook gives a comprehensive introduction to software architecture, using ¿clean architecture¿ concepts with agile methods and model-driven development. The work introduces the key concepts of software architectures and explains the importance of architectural design for the long-term usefulness and sustainability of software systems. In addition, it describes more than 30 architectural styles and patterns that can be used for constructing mobile applications, enterprise and web applications, machine-learning systems, and safety-critical systems.Topics and features:Combines clean-architecture principles with agile model-driven developmentEmploys practical examples and real industrial cases to illustrate architectures for mobile apps, web apps, enterprise systems, safety-critical systems and machine-learning systemsExplores support tools for architectural design and system development using the approachProvides tutorial questions and slides to support teaching and learningDelivers material that has been class-tested over 10 years with more than 1,000 studentsThe textbook can be used to support teaching of an undergraduate module in software architecture, yet also includes more advanced topics suitable for a specialised software architecture module at master¿s level. It also will be eminently suitable and relevant for software practitioners and researchers needing or wanting to explore the field in short courses or self-study.Dr. Kevin Lano is Reader in Software Engineering, Department of Informatics, King's College London, UK. Dr. Sobhan Yassipour Tehrani is a Lecturer, Department of Computer Science, University College London, UK.

This book constitutes the proceedings of the 6th International Conference on Blockchain, ICBC 2023, held as part of the Services Conference Federation, SCF 2023, held in Honolulu, HI, USA, during September 23¿26, 2023. The 9 full papers presented in this book were carefully reviewed and selected from 18 submissions. The conference focuses on new blockchain architecture, platform constructions, blockchain development, and blockchain services technologies as well as standards and blockchain services innovation lifecycle, including enterprise modeling, business consulting, solution creation, services orchestration, services optimization, services management, services marketing, and business process integration and management.

This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Java as the vehicle for more advanced programming concepts.The first part, which teaches Python, covers fundamental programming concepts, such as data types and control structures and functions. It introduces more complex data types such as lists and dictionaries and also deals with file handling. It introduces object-oriented concepts and ends with a case study bringing together all the topics of the first semester.  The second part uses Java to teach advanced concepts and centres around object-oriented programming, teaching key object-oriented concepts such as inheritance and polymorphism.  The semester again ends with an advanced case study bringing together all the topics of the second semester.Topics and features: Assumes no prior knowledge, and makes the transition from Python to Java a smooth process Features numerous exercises and also an illustrative case study for each language Examines procedural and object-oriented methodologies, as well as design principles Covers such advanced topics as interfaces and lambda expressions, exceptions and Collections Includes a chapter on graphics programming in Python using Tkinter  Introduces the latest Java technology for graphical interfaces, JavaFX Explains design concepts using UML notation Offering a gentle introduction to the field and assuming no prerequisite background, Programming in Two Semesters is the ideal companion to undergraduate modules in software development or programming.  In addition, it will serve as a strong primer for professionals looking to strengthen their knowledge of programming with these languages.

This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7¿8, 2023.The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.

This book constitutes the refereed proceedings of the 27th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2023, held in Zadar, Croatia, during September 26¿29, 2023.The 13 full papers and 17 short papers included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Applications and digital library systems; data citation and citation analysis; discovering science, monitoring and publishing science; knowledge creation; Human-Computer Interaction; digital humanities; and digital cultural heritage.

This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 - September 4, 2014 in Kitakyushu, Japan. 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. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. This publication captures 17 of the conference's most promising papers.

This book covers a broad range of topics related to digitalization. Specifically, it views digitalization across different organizational levels, such as the level of individuals, teams, processes, firms, and ecosystems. It includes a collection of recent research and reflections on the topic that helps to understand the technological foundations of digitalization and its impacts. It also reflects on the process of digitalization and how it changes established ways of working, collaborating, and coordinating.With this book, the editors and authors honor Professor Dr. Armin Heinzl for his enormous and ongoing contributions to information systems research, education, and practice.

This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. It uses video game development to make the content fun while at the same time teaching problem-solving techniques.The book is divided into four parts. Part I presents introductory material on basic problem solving and program design. It starts by reviewing the basic steps of a design recipe using structural recursion on a list. It then proceeds to review code refactoring-a common technique used to refine programs when a better or more elegant way is found to solve a problem-and introduces the reader to randomness. Next, Part II explores a new type of recursion called generative recursion. It navigates the reader through examples involving fractal image generation, efficient sorting, and efficient searching techniques such as binary, depth-first, and breadth-first search. Part III then explores a new type of recursion called accumulative (or accumulator) recursion. Examples used include finding a path in a graph, improving insertion sorting, and list-folding operations. Finally, Part IV explores mutation. To aid the reader in properly sequencing mutations it presents Hoare Logic and program correctness. In addition, it introduces vectors, vector processing, in-place operations, and circular data. Throughout the whole book complexity analysis and empirical experimentation is used to evaluate solutions.This textbook targets undergraduates at all levels as well as graduate students wishing to learn about program design. It details advanced types of recursion, a disciplined approach to the use of mutation, and illustrates the design process by developing a video game exploiting iterative refinement.

Ein kompakter und praxisorientierter Einstieg, mit dem Studierende bereits fruh im Studium sehr gut zurechtkommen. Die verschiedenen Phasen einer Datenbankentwicklung werden mit ihren Vorgehensweisen, Konzepten und moglichen Problemquellen vorgestellt. Gerade die Anforderungsanalyse und die Moglichkeit zur Erstellung machtiger SQL-Anfragen werden als besonders praxisrelevante Aspekte betont. Studierende sind nach der Lekture in der Lage, in Praxisprojekten erfolgreich mitzuarbeiten und das Buch deckt eine Einfuhrungsvorlesung vollstandig ab. In der dritten Auflage wurden automatisierbare Testmoglichkeiten erganzt. Neben vielen kleinen Beispielen zur Verdeutlichung einzelner Aspekte wird ein durchgehendes Beispiel genutzt. Alle Kapitel schlieen mit Wiederholungsfragen und Ubungsaufgaben, deren Losungen online zum Download zur Verfugung stehen.

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20¿22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Dieses Buch stellt interdisziplinäre Forschung im Bereich Software-Engineering von Anwendungen für den sozialen Sektor vor. Der Autor konzentriert sich auf Softwareanwendungen, die für soziale Zwecke eingesetzt werden und den Bedürfnissen der Gesellschaft dienen. Der Autor möchte die Wissenslücke zwischen den Requirements Engineers, der Industrie und den Nutzern schließen, um dazu beizutragen, ein breites Spektrum an Bedürfnissen im sozialen Sektor zu identifizieren (unter Berücksichtigung der Vielfalt der Nutzergruppen in Bezug auf technologische Kompetenzen, Geografie, Demografie sowie verhaltensbezogene und psychografische Aspekte). Das Buch bietet rigorose empirische Studien und validierte Lösungen, die als Leitfaden für die Software-Engineering-Gemeinschaft sowie Forscher, Doktoranden und Lehrer dienen.- Bietet interdisziplinäre Forschung im Bereich Software-Engineering sowie den Bedürfnissen des sozialen Sektors und trägt dazu bei, die Erfolgsquote von auf die Gesellschaft ausgerichteten Startups und Anwendungen zu erhöhen- Ideal für soziale Unternehmer, um das Buch für die Kundenentwicklung mit verschiedenen Nutzern nutzen zu können- Etabliert eine neue Forschungslinie für die Entwicklung von Anforderungen im sozialen Sektor, die Alter, Sprache, Fähigkeiten und Zugang der Nutzer berücksichtigt.

This book constitutes the proceedings of the 22nd International Conference on Computer Information Systems and Industrial Management, CISIM 2023, held in Tokio, Japan, during September 22-24, 2023.The 36 papers presented in this book were carefully reviewed and selected from 77 submissions. They were organized in topical sections as follows: biometrics and pattern recognition applications; computer information systems and security; industrial management and other applications; machine learning and artificial neural networks; modelling and optimization; wellbeing and affective engineering; and machine learning using biometric data and kansei data.

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.

This book will help you analyze traces and logs from different software environments and communicate analysis results using a pattern language that covers everything from a small debugging log to a distributed trace with billions of messages from hundreds of computers, thousands of software components, threads, and processes.The book begins with the basic terminology of operating systems and programming, the foundation for understanding trace and log analysis. It then talks about patterns that help describe problems from a user¿s view and patterns for errors and failures. Then, the book covers a range of trace patterns that group messages, and explores how logs depict software activities. It even examines specific message patterns and how they connect in a single trace. Moving forward, yoüll review patterns for multiple traces and logs and how to evaluate them. In this way, you can use similar methods to find problems across a wide variety of software. The book also provides guidance for analyzing issues on systems such as Windows, macOS, Linux, Android, iOS, and other types of computers, including those in networks and the Internet of Things, regardless of their system differences.Upon completing this book, you will be able to navigate the complexities of trace and log analysis and apply uniform diagnostics and anomaly detection pattern language across diverse software environments to help you troubleshoot, debug, and fix issues.What You Will LearnUnderstand pattern language for trace and log analysisGain a pattern-oriented methodology for trace and log analysis applicable to various domains, including cybersecurityMaster the fundamentals of operating systems and programming related to trace and log analysisUnderstand observed behavior in traces and logs, which aids incident response, diagnostics, root cause analysis, troubleshooting, and debuggingWho This Book Is ForSoftware technical support engineers, system and network administrators, software developers, testers, DevOps and DevSecOps, digital forensics and malware analysts, security incident response engineers, data analysts, and data mining practitioners.

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.