Software Engineering

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.

Manufacturing computers in series was quite a feat in the 1950s.

The Unified Modeling Language, better known as UML, has become the de facto standard modeling language for analyzing and designing software applications and systems.

The Unified Modeling Language, better known as UML, has become the de facto standard modeling language for analyzing and designing software applications and systems.

This research monograph presents an inter-disciplinary study of the impact, and current status, of applications of complexity-related concepts in the early stages of development of Agile Project Management (APM).

Software evolution is a time-consuming and costly process due to its complex architecture.

Software evolution is a time-consuming and costly process due to its complex architecture.

This book constitutes revised selected papers from the international workshops, the EDOC Forum and the Demonstration and Doctoral Consortium track, that were held at the 26th International Conference on Enterprise Design, Operations, and Computing, EDOC 2022.

Das Handbuch fürs Selbststudium, für den Job oder vorlesungsbegleitenderfahrungsbasierter Über- und Einblick ins Software Engineering, der sowohl die Theorie als auch die Praxis abdecktumfassend, verständlich und praxiserprobtDas Buch vermittelt die Grundlagen, Erfahrungen und Techniken, die den Kern des Software Engineerings bilden.

Machine learning has redefined the way we work with data and is increasingly becoming an indispensable part of everyday life.

Machine learning has redefined the way we work with data and is increasingly becoming an indispensable part of everyday life.

Upgrade your knowledge to learn S/4HANA, the latest version of the SAP ERP system, with its built-in intelligent technologies, including AI, machine learning, and advanced analytics.

In an uncertain and complex world, learning is more important than ever before.

The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science.

This book is about software product lines (SPLs) designed and developed taking UML diagrams as the primary basis, modeled according to a rigorous approach composed of an UML profile and a systematic process for variability management activities, forming the Stereotype-based Management of Variability (SMarty) approach.

By proposing and forming a mobile manipulator for modern multi-floor buildings, A Robotic Framework for the Mobile Manipulator: Theory and Application helps readers visualize an end-to-end workflow for making a robot system work in a targeted environment.

By proposing and forming a mobile manipulator for modern multi-floor buildings, A Robotic Framework for the Mobile Manipulator: Theory and Application helps readers visualize an end-to-end workflow for making a robot system work in a targeted environment.

Das Handbuch fürs Selbststudium, für den Job oder vorlesungsbegleitenderfahrungsbasierter Über- und Einblick ins Software Engineering, der sowohl die Theorie als auch die Praxis abdecktumfassend, verständlich und praxiserprobtDas Buch vermittelt die Grundlagen, Erfahrungen und Techniken, die den Kern des Software Engineerings bilden.

The five-volume set LNCS 9155-9159 constitutes the refereed proceedings of the 15th International Conference on Computational Science and Its Applications, ICCSA 2015, held in Banff, AB, Canada, in June 2015.

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, Germany, in March 2023.

Learn to write better automated tests that will dramatically increase your productivity and have fun while doing so.

Implement modern design patterns that leverage domain-driven data, to achieve resiliency and scalability for data-dependent applicationsKey FeaturesLearn the tenets of event-driven architecture, coupled with reliable design patterns to enhance your knowledge of distributed systems and build a foundation for professional growthUnderstand how to translate business goals and drivers into a domain model that can be used to develop an app that enables those goals and driversIdentify areas to enhance development and ensure operational support through the architectural design processBook DescriptionThis book will guide you through various hands-on practical examples for implementing event-driven microservices architecture using C# 11 and .

?

This book contains extended versions of  the works and new research results presented at the 14th International Joint Conference on Knowledge-based Software Engineering (JCKBSE2022).

Learn to write better automated tests that will dramatically increase your productivity and have fun while doing so.

This textbook shows how to develop the functional requirements of (information) systems.

Embark on a tech-tastic adventure and build Software as a Service (SaaS) applications using the Microsoft tech stackPurchase of the print or Kindle book includes a free PDF eBookKey FeaturesUnderstand the core concepts of Software as a Service and their importance in building modern applicationsBuild a wide array of key elements for SaaS applications using practical examplesLearn to test, deploy, upgrade, and maintain a SaaS applicationBook DescriptionThere are several concepts that must be mastered to deliver functional and efficient SaaS applications.

As a programming language, Java's object-oriented nature is key to creating powerful, reusable code and applications that are easy to maintain and extend.

The book goes a long way toward raising the profile of the invaluable role enterprise architects play in major software initiatives.

The book goes a long way toward raising the profile of the invaluable role enterprise architects play in major software initiatives.

Mastering Vim, reviewed by Bram Moolenaar, the creator of Vim, covers usage of Vim and Neovim, showcases relevant plugins, and teaches VimscriptKey FeaturesExpert Vim and Vimscript techniques to work with Python and other development environmentAccomplish end-to-end software development tasks with Neovim and Vim pluginsUnderstand best practices for various facets of projects like version control, building, and testingBook DescriptionVim is a ubiquitous text editor that can be used for all programming languages.

Elevate your testing game to the next level using advanced techniques and proven strategies with this book for WebdriverIO beginners and automation pros alikeKey FeaturesImprove your coding skills and empower your automation journeyLeverage self-healing objects and adaptive frameworks for cutting-edge WebdriverIO automationOvercome script stability challenges and ensure robust, dependable test executionPurchase of the print or Kindle book includes a free PDF eBookBook DescriptionThis book helps you embark on a comprehensive journey to master the art of WebdriverIO automation, from installation through to advanced framework development.

Über den Umbau von IT-Landschaften mit Domain-Driven Design- kompakter, tiefgehender Einblick in Domain-Driven Design (DDD) und die Verwendung der vielfältigen DDD-Techniken in der Praxis – Fokussierung auf Legacy-Systeme und Migration in Richtung gut strukturierter Monolithen und Microservices- Zusammenhang zwischen Transformation der Architektur und der TeamorganisationIn den letzten Jahrzehnten ist sehr viel Software entwickelt worden, die wir heute modernisieren und zukunftsfähig machen wollen.

Master the Combined Analysis Tools in Oracle CRM on DemandDrive better decision-making across your enterprise using the reporting and analysis techniques in this Oracle Press guide.

The latest Windows security attack and defense strategies"e;Securing Windows begins with reading this book.

Tough Test Questions?

Introducing modular techniques for building sophisticated programs using PythonKey Features[*]The book would help you develop succinct, expressive programs using modular deign[*]The book would explain best practices and common idioms through carefully explained and structured examples[*]It will have broad appeal as far as target audience is concerned and there would be take away for all beginners to PythonBook DescriptionPython has evolved over the years and has become the primary choice of developers in various fields.

Start pulling the strings of your infrastructure with Puppet - learn how to configure, customize, and manage your systems more intelligentlyKey Features[*] Explore the wider Puppet ecosystem of useful tools[*] Design and manage your Puppet architecture for optimum performance[*] Write more efficient code that keeps your infrastructure more robustBook DescriptionPuppet has changed the way we manage our systems, but Puppet itself is changing and evolving, and so are the ways we are using it.

Learning how to use the free DraftSight CAD program for 2D computer-aided design has never been easier thanks to this Beginner's Guide.

An example-based practical guide to get you up and running with Unreal Engine 4.

Learn how to bring JavaScript to your ASP.

This Oracle Press guide shows how to implement key modules of Oracle Fusion Financials-General Ledger and Financials Accounting Hub-covering both the functional and technical aspects of this complete financial management solution.

Discover how to build impressive 3D graphics with the next-generation graphics API-VulkanKey FeaturesGet started with the Vulkan API and its programming techniques using the easy-to-follow examples to create stunning 3D graphicsUnderstand memory management in Vulkan and implement image and buffer resourcesGet hands-on with the drawing process and synchronization, and render a 3D graphics scene with the Vulkan graphics pipelineBook DescriptionVulkan, the next generation graphics and compute API, is the latest offering by Khronos.

Ziel des Buches ist es, Ingenieuren oder Naturwissenschaftlern die Programmierung als Schlüsselqualifikation mit zahlreichen Anwendungsmöglichkeiten vorzustellen.

Get complete coverage of all the material included on the Certified Secure Software Lifecycle Professional exam.