Softwareudvikling

This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on software engineering; intelligent systems; software quality. 

In diesem Buch werden die Programmierkonzepte der Sprache Java und der JEE vorgestellt. Eine methodische Abgrenzung zu anderen Programmiersprachen wird durchgeführt, um die Kerneigenschaften von objektorientierter Entwicklung mit Java im Vergleich zu anderen Sprachen herauszuarbeiten. Ein besonderer Fokus liegt auf dem praxistauglichen Einsatz der Konzepte. Daher wird von Beginn an ein starker Projekt- und Realitätsbezug hergestellt, der den Leser*innen konkrete Hilfestellung bietet, um sich in der schnell wachsenden und wechselnden Welt der Softwareentwicklung zurechtzufinden.

This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogota, Colombia, during November 22-26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Artificial intelligence; educational informatics; and information systems.

In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptionsas formal, mathematical quantities.This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph.The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.

Among Java's many attractive features as a programming language, its object-oriented nature is key to creating powerful, reusable code and applications that are easy to maintain and extend. To take advantage of these capabilities, you're going to need not only to master the syntax of the Java language, but also to gain a practical understanding of what objects are all about. Most importantly, you need to know how to structure Java applications from the ground up to make the most of objects. With Beginning Java Objects: From Concepts to Code, you'll master all three.Learning to design objects effectively with Java is the goal of Beginning Java Objects: From Concepts to Code. Plenty of titles dig into the Java language in massive detail, but this one takes the unique approach of stepping back and looking at fundamental object concepts first. Mastery of Java—from understanding the basic language features to building complete industrial-strength Java applications—emerges only after a thorough tour of thinking in objects. Let this book be your guide.

Learn, prepare, and practice for the Risk Management Professional (PMI-RMP)Â(R) exam success with this Cert Guide from Pearson IT Certification, a leader in IT Certification learning.Master PMI-RMP exam topicsAssess your knowledge with chapter-ending quizzesReview key concepts with exam preparation tasksPractice with realistic exam questionsRisk M.

Dieses Lehrbuch bringt Einsteiger anhand einzelner abgeschlossener Lerneinheiten das Programmieren mit Java bei. Es zeigt den Entwurf von effizienten Daten- und Ablaufstrukturen und versetzt die Leser dadurch in die Lage, algorithmische Konzepte zu verstehen und in Programmcode umzusetzen.Zentrale Lernziele sind das Verstehen der Abstraktionskonzepte moderner Programmiersprachen und das Erlernen des logischen und algorithmischen Denkens: Das Buch behandelt die strukturelle Programmierung, die Funktionsweise von Algorithmen, die Grundprinzipien der Objektorientierung und das Verarbeiten von Dateien. Die erweiterte neue Auflage umfasst auch die Bereiche Modultests, Vererbung, abstrakte Klassen, Interfaces und objektorientierte Entwurfsmuster.Zahlreiche Programmierbeispiele machen die einzelnen Konzepte begreifbar und leicht nachvollziehbar.Das Lehrbuch richtet sich an Studierende, Schüler, Lehrkräfte und an alle, die einen schnellen Einstieg in die Programmierung mit Java suchen.Der InhaltVariablen, Ausdrücke und OperatorenAus- und EingabeBedingte AuswahlanweisungenIterationen und SchleifenMethodenFelder und TabellenPrinzip algorithmischer VerfahrenReguläre AusdrückeEinfache DateiverarbeitungObjektorientierte ProgrammierungModultestsVererbungAbstrakte KlassenInterfacesObjektorientierte EntwurfsmusterDer AutorSebastian Dörn ist Ingenieurmathematiker, promovierter Informatiker und seit 2011 Professor am Hochschulcampus Tuttlingen der Hochschule Furtwangen. Er besitzt mehr als 15 Jahre Erfahrung in der Analyse, Entwicklung und praktischen Umsetzung von algorithmischen Verfahren auf den verschiedensten Gebieten.

This book constitutes thoroughly refereed and revised selected best and visionary papers from the Workshops held at the International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, which took place online, during  May 9-13, 2022.The 5 best papers and 4 visionary papers included in this book stem from the following workshops: - 13th Workshop on Optimization and Learning in Multi-agent Systems (OptLearnMAS);- 23rd Workshop on Multi-Agent Based Simulation (MABS);- 6th Workshop on Agent-Based Modelling of Urban Systems (ABMUS);- 10th Workshop on Engineering Multi-Agent Systems (EMAS);- 1st Workshop on Rebellion and Disobedience in AI (RaD-AI).There was a total of 59 submissions to these workshops. 

This book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.

Assess, plan, develop, implement, and manage AWS EC2 Instances, Cloud Formation using JSON Template with Bash programming language, and Cloud Watch monitoring. This book helps the public and private sectors comprehend how to assess and evaluate AWS cloud software as a service (SaaS), infrastructure as a service (IaaS), and platform as a service (PaaS).Government and business sector entities are looking for strategies to upgrade on-premises information systems to virtual cloud infrastructure orchestration and automation. You'll gain a step-by-step approach to planning, developing, implementing, and managing cloud infrastructure, services, and platforms that help reduce cost increases, scalability, and improves security. Outline your strategy to research how cloud infrastructure is planned and developed before being deployed and managed by on-premises IT team members. This book also supports cloud services for AWS and helps you understand why supporting and usingAWS for cloud services is beneficial both short and long-term.Once you complete this book, you'll be able to make logical decisions regarding AWS use cases for public and private sector entities, including disaster recovery and backup, IT self-service, Web applications, and messaging. What You'll LearnAssess different cloud services provided by AmazonLook at Cloud as a Service (CAAS)Understand internet protocol, packet switching, authoritative, recursive, and open-flowReview cloud infrastructure planning methodsExamine Cloud orchestration and automationWork with the AWS total cost of ownership calculatorWho This book Is ForThis book is aimed at business, government, non-profit organizations, academic institutions, and financial institutions interested in upgrading to AWS cloud architect infrastructure as a primary mode of data transmission, storage, and security at a scalable and economical annual cost.

This in-depth Spring-based Java developer code reference has been updated and now solves many of your Spring Framework 6 problems using reusable, complete and real-world working code examples. Spring 6 Recipes (5th Edition) now includes Spring Native which speeds up your Java-based Spring Framework built enterprise, native cloud, web applications and microservices. It also has been updated to now include Spring R2DBC for Reactive Relational Database Connectivity, a specification to integrate SQL databases, like PostgreSQL, MySQL and more, using reactive drivers.Furthermore, this book includes additional coverage of WebFlux for more reactive Spring web applications. Reactive programming allows you to build systems that are resilient to high load, especially common in the more complex enterprise, native cloud applications that Spring Framework lets you build. This updated edition also uses code snippets and examples based on newest available standard long term support release of Java. When you start a new project, yoüll be able to copy the code and configuration files from this book, and then modify them for your specific Spring Framework-based application needs. This can save you a great deal of work over creating a project from scratch. This powerful code reference is a "must have" for your print or digital library. This developer cookbook comes with accompanying source code that is freely available on GitHub under latest Creative Commons open source licensing. What You'll LearnGet re-usable code recipes and snippets for core Spring, annotations and other development toolsDive into Spring Native which merges the popular Spring and GraalVM for increased performance, speed and reliability of your Spring Framework 6 applicationsExplore Spring R2BC for reactive relational database connectivity with SQLBuild reactive Spring MVC-based web applications and microservices using WebFluxEnhance your enterprise or native cloud applications using Spring Transaction ManagementTest, secure and deploy your Spring applications using reusable code templates availableWho This Book Is ForThis book is for experienced Java programmers, software developers with experience using the Spring Framework.

This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.

This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions. They are organized in topical sections named: semantic technologies and machine learning; ICT for agronomy and environment; mobile and collaborative technologies.

Overhaul your debugging techniques and master the theory and tools needed to debug and troubleshoot cloud applications in production environments. This book teaches debugging skills that universities often avoid, but that typically consume as much as 60% of our time as developers. The book covers the use of debugger features such as tracepoints, object marking, watch renderers, and more. Author Shai Almog presents a scientific approach to debugging that is grounded in theory while being practical enough to help you to chase stubborn bugs through the maze of a Kubernetes deployment.Practical Debugging at Scale assumes a polyglot environment as is common for most enterprises, but focuses on JVM environments. Most of the tooling and techniques described are applicable to Python, Node, and other platforms, as well as to Java and other JVM languages. The book specifically covers debugging in production, an often-neglected discipline but an all too painful reality. Yoüll learn modern techniques around observability, monitoring, logging, and full stack debugging that you can put to immediate use in troubleshooting common ailments in production environments. You Will Learn:The scientific method underlying the process of debuggingDebugger capabilities such as tracepoints and marker objectsThe correct use of less understood features such as exception breakpointsTechniques for tracing issues in production Kubernetes environmentsObservability and monitoring to resolve production problemsIndustry best practices for common tooling such as logging Profiling to understand performance and memory problems Who This Book Is ForDevelopers in Java and JVM-related languages who want to improve their debugging skills and production reliability;and developers of cloud applications who are facing the pain of production bugs that are hard to replicate and fix

Build products on top of Ethereum's new and expansive technological stack.Writing any good web application requires planning, care, and deft technical skills, but Ethereum's execution model presents its own challenges for engineers wishing to build applications on top of its smart contract layer. Building performant and engaging product experiences is one of the most important ¿ and often underappreciated ¿ roles in any company.This book looks at the full product stack needed to build such experiences on top of Ethereum smart contracts, weaving tutorials and case studies through more conversational discussions of the various constraints, trade-offs, and complexities involved in doing so. Yoüll learn about the fundamentals of Ethereum from a new perspective, developing a strong understanding of how the Ethereum Virtual Machine (EVM) works and how it affects product engineering, as well as all the pieces of technology that go into decentralized apps (dapps) behindthe front end: RPC nodes, wallets, indexers, application hosts, and more. Yoüll be exposed to plenty of UI, JavaScript code, and idiomatic ways to bring on-chain data into your front ends. And yoüll be given up-to-date knowledge of the best practices and future possibilities that decentralized computation might offer the product engineer.What You Will LearnUnderstand the EVM and how it worksGain insight into smart contracts and how apps connect to themUnderstand the difference between live data and indexed dataHow decentralization affects the UI of applicationsBuild engaging, tasteful product experiences on top of EthereumWho This Book Is ForA confident ¿ mid-level or senior ¿ software engineer or web developer who hasn¿t properly branched out into Ethereum; someone who might have scratched the surface, but wants adeeper understanding of the principles behind dapps, and who wants a head start on the hurdles faced while building them.

Virtual Reality Usability Design provides readers with an understanding of the techniques and technologies required to design engaging and effective VR applications.Full of real-world examples, this book is an indispensable guide for any practicing VR developer interested in making efficient and effective interfaces.

Besuchen Sie eine Veranstaltung zu Softwarearchitektur und wollen die Architektur-Patterns und -Stile verstehen? Dann hilft Ihnen dieses Buch. Holger Gast erläutert die Grundlagen der Softwarearchitektur und betrachtet dabei auch die technischen Hintergründe. Der Autor führt Sie in die Elemente der Architekturen ein, erklärt Ihnen danach die grundlegenden Patterns und Stile und geht am Ende noch auf Cloud-Architekturen ein. Dabei fokussiert er sich eher auf konkrete Strukturen als auf die Theorie und ermöglich Ihnen so einen verständlichen und zügigen Einstieg in die Softwarearchitekturen.