Integrating a Usable Security Protocol into User Authentication Services Design Process
This book is about creating usable products. The techniques, taken from the worlds of human-computer interaction, marketing, and many of the social sciences, help you know who your users are, and to make security a natural outcome of the requirements and design phase of the authentication method development life cycle.
Lean and Agile Software Development
This book constitutes the proceedings of the 5th International Conference on Lean and Agile Software Development, LASD 2021, which was held online on January 23, 2021. The conference received a total of 32 submissions, of which 10 full and 2 short papers are included in this volume. In addition, one keynote paper is also included. To live the agile mindset, the LASD conference focuses on highly relevant research outcomes and fosters their way into practice. Topics discussed in this volume range from teams under COVID-19 through women in Agile, to product road-mapping and non-functional requirements.
Atomic Kotlin
For both beginning and experienced programmers! From the author of the multi-award-winning Thinking in C++ and Thinking in Java together with a member of the Kotlin language team comes a book that breaks the concepts into small, easy-to-digest "atoms," along with exercises supported by hints and solutions directly inside IntelliJ IDEA! Version 1.1 (November 2021) includes updates for Kotlin 1.5 (works with 1.6) and all corrections/clarifications since the original release.No programming background necessary.Summaries for experienced programmers.Easy steps via very small chapters ("atoms").Free accompanying exercises/solutions within IntelliJ Idea.Gives you a strong Kotlin foundation.Kotlin is cleaner, more consistent and far more powerful than Java.Increase programming productivity with Kotlin's clear, concise syntax.Produce safer, more reliable programs.Kotlin easily interacts with Java.Effortlessly migrate by adding pieces of Kotlin to an existing Java project.Support for Windows, Mac and Linux.Free version of Intellij IDEA includes extensive Kotlin support.Book resources, live seminars, workshops and consulting available at AtomicKotlin.com.
An Atypical ASP.NET Core 5 Design Patterns Guide
A .NET developer's guide to crafting robust, maintainable, and flexible web apps by leveraging C# 9 and .NET 5 features and component-scale and application-scale design patternsKey FeaturesApply software design patterns effectively, starting small and progressing to cloud-scaleDiscover modern application architectures such as vertical slice, clean architecture, and event-driven microservicesExplore ASP.NET design patterns, from options to full-stack web development using BlazorBook DescriptionDesign patterns are a set of solutions to many of the common problems occurring in software development. Knowledge of these design patterns helps developers and professionals to craft software solutions of any scale.ASP.NET Core 5 Design Patterns starts by exploring basic design patterns, architectural principles, dependency injection, and other ASP.NET Core mechanisms. You'll explore the component scale as you discover patterns oriented toward small chunks of the software, and then move to application-scale patterns and techniques to understand higher-level patterns and how to structure the application as a whole. The book covers a range of significant GoF (Gangs of Four) design patterns such as strategy, singleton, decorator, facade, and composite. The chapters are organized based on scale and topics, allowing you to start small and build on a strong base, the same way that you would develop a program. With the help of use cases, the book will show you how to combine design patterns to display alternate usage and help you feel comfortable working with a variety of design patterns. Finally, you'll advance to the client side to connect the dots and make ASP.NET Core a viable full-stack alternative.By the end of the book, you'll be able to mix and match design patterns and have learned how to think about architecture and how it works.What You Will LearnApply the SOLID principles for building flexible and maintainable softwareGet to grips with .NET 5 dependency injectionWork with GoF design patterns such as strategy, decorator, and compositeExplore the MVC patterns for designing web APIs and web applications using RazorDiscover layering techniques and tenets of clean architectureBecome familiar with CQRS and vertical slice architecture as an alternative to layeringUnderstand microservices, what they are, and what they are notBuild ASP.NET UI from server-side to client-side BlazorWho this book is forThis design patterns book is for beginners as well as intermediate-level software and web developers with some knowledge of .NET who want to write flexible, maintainable, and robust code for building scalable web applications. Knowledge of C# programming and an understanding of web concepts like HTTP is necessary.
Software Adaptation in an Open Environment
The book is about a very active research field in software engineering. In modern society, the fact of the world's high reliance on software requires the system's robustness, i.e., continual availability and satisfactory service quality. This requirement gives rise to the popularity of the research on the self-adaptive software in open environme
Analysis and Design of Next-Generation Software Architectures
This book provides a detailed "how-to" guide, addressing aspects ranging from analysis and design to the implementation of applications, which need to be integrated within legacy applications and databases.The analysis and design of the next generation of software architectures must address the new requirements to accommodate the Internet of things (IoT), cybersecurity, blockchain networks, cloud, and quantum computer technologies. As 5G wireless increasingly establishes itself over the next few years, moving legacy applications into these new architectures will be critical for companies to compete in a consumer-driven and social media-based economy. Few organizations, however, understand the challenges and complexities of moving from a central database legacy architecture to a ledger and networked environment.The challenge is not limited to just designing new software applications. Indeed, the next generation needs to function more independently on various devices, and on more diverse and wireless-centric networks. Furthermore, databases must be broken down into linked list-based blockchain architectures, which will involve analytic decisions regarding which portions of data and metadata will be processed within the chain, and which ones will be dependent on cloud systems. Finally, the collection of all data throughout these vast networks will need to be aggregated and used for predictive analysis across a variety of competitive business applications in a secured environment. Certainly not an easy task for any analyst/designer!Many organizations will continue to use packaged products and open-source applications. These third-party products will need to be integrated into the new architecture paradigms and have seamless data aggregation capabilities, while maintaining the necessary cyber compliances. The book also clearly defines the roles and responsibilities of the stakeholders involved, including the IT departments, users, executive sponsors, and third-party vendors. The book's structure also provides a step-by-step method to help ensure a higher rate of success in the context of re-engineering existing applications and databases, as well as selecting third-party products, conversion methods and cybercontrols. It was written for use by a broad audience, including IT developers, software engineers, application vendors, business line managers, and executives.
The Algorithm Design Manual
"My absolute favorite for this kind of interview preparation is Steven Skiena's The Algorithm Design Manual. More than any other book it helped me understand just how astonishingly commonplace ... graph problems are -- they should be part of every working programmer's toolkit. The book also covers basic data structures and sorting algorithms, which is a nice bonus. ... every 1 - pager has a simple picture, making it easy to remember. This is a great way to learn how to identify hundreds of problem types." (Steve Yegge, Get that Job at Google)"Steven Skiena's Algorithm Design Manual retains its title as the best and most comprehensive practical algorithm guide to help identify and solve problems. ... Every programmer should read this book, and anyone working in the field should keep it close to hand. ... This is the best investment ... a programmer or aspiring programmer can make." (Harold Thimbleby, Times Higher Education)"It is wonderful to open to a random spot and discover aninteresting algorithm. This is the only textbook I felt compelled to bring with me out of my student days.... The color really adds a lot of energy to the new edition of the book!" (Cory Bart, University of Delaware)"The is the most approachable book on algorithms I have." (Megan Squire, Elon University)---This newly expanded and updated third edition of the best-selling classic continues to take the "mystery" out of designing algorithms, and analyzing their efficiency. It serves as the primary textbook of choice for algorithm design courses and interview self-study, while maintaining its status as the premier practical reference guide to algorithms for programmers, researchers, and students. The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing design over analysis. The first part, Practical Algorithm Design, provides accessible instruction on methods for designing and analyzing computer algorithms. The second part, the Hitchhiker's Guide to Algorithms, is intended for browsing and reference, and comprises the catalog of algorithmic resources, implementations, and an extensive bibliography. NEW to the third edition: -- New and expanded coverage of randomized algorithms, hashing, divide and conquer, approximation algorithms, and quantum computing -- Provides full online support for lecturers, including an improved website component with lecture slides and videos -- Full color illustrations and code instantly clarify difficult concepts -- Includes several new "war stories" relating experiences from real-world applications -- Over 100 new problems, including programming-challenge problems from LeetCode and Hackerrank. -- Provides up-to-date links leading to the best implementations available in C, C++, and Java Additional Learning Tools: -- Contains a unique catalog identifying the 75 algorithmic problems that arise most often in practice, leading the reader down the right path to solve them -- Exercises include "job interview problems" from major software companies -- Highlighted "take home lessons" emphasize essential concepts -- The "no theorem-proof" style provides a uniquely accessible and intuitive approach to a challenging subject -- Many algorithms are presented with actual code (written in C) -- Provides comprehensive references to both survey articles and the primary literature Written by a well-known algorithms researcher who received the IEEE Computer Science and Engineering Teaching Award, this substantially enhanced third edition of The Algorithm Design Manual is an essential learning tool for students and professionals needed a solid grounding in algorithms. Professor Skiena is also the author of the popular Springer texts, The Data Science Design Manual and Programming Challenges: The Programming
Tweak Your Mac Terminal
Look beyond the basics of Mac programming and development to become a Mac power user. When most people think about the Mac, they think about the amazing graphical user interface macOS is known for. However, there is a whole world to explore beneath the hood. This book approaches working directly in the terminal with fun projects and ideas to help turn you into an advanced Mac user. You'll work with Brew (HomeBrew), which gives you the ability to install applications from Linux (and Unix) that can make the terminal more useful. This is important, because a lot of applications have been stripped out of macOS or deprecated. For example, Apple's built-in PHP is usually a major release behind. You'll also customize your terminal to change everything about it, making it your own. The whole world is about personalizing. Why put up with the Apple defaults? Once you have your terminal set up and ready to rock, you'll review the basics of programming on the Mac terminal. This will allow you to get a taste of power scripting. You'll discover the power of bash, PHP, and Python. And then you'll apply those tools to web development. Tweak Your Mac Terminal takes you on a journey into a world of the terminal and its hidden applications. What You'll LearnCustomize the terminal to make it perfect for your needsDevelop web applications using basic coding skills in the terminalInstall HomeBrew and by extension Linux and Unix applicationsWho This Book Is ForMac users who are already very familiar with the GUI and want to go further. This book will especially help starting IT professionals and beginning programmers.
Ernst Denert Award for Software Engineering 2019
This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers'Work Habits and Expertise, Timo Greifenberg's thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann's (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic's (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Sp瓣th's (Paderborn U)thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis - which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
Pocket guide to the Professional Scrum Master Certification (PSM 1)
The Professional Scrum Master Training of the Scrum.org is for many people the first step of a certification in the context of Scrum and agile development approaches. This certification documents like no other a deep understanding of Scrum as it is presented in the Scrum Guide. As simple and clear as these Scrum basics are described, it is however difficult for many people to put the principles and ideas presented therein into practice. This is a challenge both in their daily work and in passing the PSM certification exam. Marcus Marfurt, himself a Scrum Master and trainer for a long time, shows the transfer from the Scrum Guide to the practice of a Scrum Master's activity. The knowledge imparted is an optimal preparation for the Scrum Master certification exam.
Practical System programming for Rust developers
Explore various Rust features, data structures, libraries, and toolchain to build modern systems software with the help of hands-on examplesKey Features: Learn techniques to design and build system tools and utilities in RustExplore the different features of the Rust standard library for interacting with operating systemsGain an in-depth understanding of the Rust programming language by writing low-level softwareBook Description: Modern programming languages such as Python, JavaScript, and Java have become increasingly accepted for application-level programming, but for systems programming, C and C++ are predominantly used due to the need for low-level control of system resources. Rust promises the best of both worlds: the type safety of Java, and the speed and expressiveness of C++, while also including memory safety without a garbage collector. This book is a comprehensive introduction if you're new to Rust and systems programming and are looking to build reliable and efficient systems software without C or C++.The book takes a unique approach by starting each topic with Linux kernel concepts and APIs relevant to that topic. You'll also explore how system resources can be controlled from Rust. As you progress, you'll delve into advanced topics. You'll cover network programming, focusing on aspects such as working with low-level network primitives and protocols in Rust, before going on to learn how to use and compile Rust with WebAssembly. Later chapters will take you through practical code examples and projects to help you build on your knowledge.By the end of this Rust programming book, you will be equipped with practical skills to write systems software tools, libraries, and utilities in Rust.What you will learn: Gain a solid understanding of how system resources are managedUse Rust confidently to control and operate a Linux or Unix systemUnderstand how to write a host of practical systems software tools and utilitiesDelve into memory management with the memory layout of Rust programsDiscover the capabilities and features of the Rust Standard LibraryExplore external crates to improve productivity for future Rust programming projectsWho is this book for: This book is for developers with basic knowledge of Rust but little to no knowledge or experience of systems programming. System programmers who want to consider Rust as an alternative to C or C++ will also find this book useful.
DevOps For Beginners
Have you been looking for a way to boost your skills and become a master in DevOps for your business or career in software development but lack an excellent, high-quality guide to assist you get there?And are you looking for a guide that is simple, assuring and easy to follow?If you've answered YES, keep reading...You Are About To Discover The Ins And Outs Of Dev-Ops, Including How To Leverage Its Power To Your Advantage In Your Business Or Career!It goes without saying that DevOps is one of the greatest inventions in software development. It came to satisfy a need to get away from the traditional software design for efficiency, collaboration and productivity in development processes, and by extension to boost business growth.Did you know that businesses that adopt DevOps enjoy up to 60% more revenue rates and profit than their reticent counterparts?Unfortunately, great as it is, DevOps remains one of the most misunderstood concepts- even by tutors across the world!Similarly, for someone who's just getting into the software development scene or someone wh0 has drowned in the "Waterfall" methodology a couple of times before, it may seem like something a little complex or one that requires some skill, or lots of effort and time to master.If you can relate, you must have wondered: What's DevOps all about, and is there a way to learn it quickly?What does DevOps entail?How exactly would I benefit from learning DevOps?How and where do I get started?Is DevOps agile? How does it work?So if such questions have been keeping you from making the next important step in your career or business with DevOps, then this simple, clear and straightforward guide is here for you.With it, you'll learn: What DevOps is and why you need itThe features of DevOps architecture The potential benefits and risks of using DevOpsWhat you need to know about the DevOps lifecycleThe ins and outs of the DevOps architectureThe workflow and principles of DevOpsThe DevOps tools you need to know and useHow DevOps automation worksWho DevOps engineers are, and the roles they playThe methodologies and pipelines of DevOps you need to familiarize yourself withThe DevOps Amazon Web ServicesThe tools and tutorials for DevOps, including their features and benefitsHow to install GIT on Mac, Linux and Windows...And much more!Do you prefer practical guides that you can implement as you go (not ones that are heavy on theory- that require taking loads of caffeine to complete)?Do you want a beginners' book that is exciting to follow and well-structured for quick comprehension?Then don't let this one slip away.Even if this is your first time actually wanting to learn DevOps, this book will hold you by the hand until you feel confident about it!
Mobile Applications Development
The book covers the concepts of Python programming language along with mobile application development. Starting from fundamentals, the book continues with the explanation of mobile app development using Kivy framework. All the chapters offer questions and exercises for to better understanding of the subject. At the end of the book some hands-on projects are given to help the readers to improve their programming and project development skills.
Deep Learning on Windows
Build deep learning and computer vision systems using Python, TensorFlow, Keras, OpenCV, and more, right within the familiar environment of Microsoft Windows. The book starts with an introduction to tools for deep learning and computer vision tasks followed by instructions to install, configure, and troubleshoot them. Here, you will learn how Python can help you build deep learning models on Windows. Moving forward, you will build a deep learning model and understand the internal-workings of a convolutional neural network on Windows. Further, you will go through different ways to visualize the internal-workings of deep learning models along with an understanding of transfer learning where you will learn how to build model architecture and use data augmentations. Next, you will manage and train deep learning models on Windows before deploying your application as a web application. You'll also do some simple image processing and work with computer vision options that will help you build various applications with deep learning. Finally, you will use generative adversarial networks along with reinforcement learning. After reading Deep Learning on Windows, you will be able to design deep learning models and web applications on the Windows operating system. What You Will LearnUnderstand the basics of Deep Learning and its historyGet Deep Learning tools working on Microsoft WindowsUnderstand the internal-workings of Deep Learning models by using model visualization techniques, such as the built-in plot_model function of Keras and third-party visualization toolsUnderstand Transfer Learning and how to utilize it to tackle small datasetsBuild robust training scripts to handle long-running training jobsConvert your Deep Learning model into a web applicationGenerate handwritten digits and human faces with DCGAN (Deep Convolutional Generative Adversarial Network)Understand the basics of Reinforcement Learning Who This Book Is For AI developers and enthusiasts wanting to work on the Windows platform.
Building Solutions with Microsoft Teams
Explore Microsoft Teams and use its principal tools such as Node.js, npm, Yeoman, Gulp, TypeScript, and React to help you develop for Teams better. This book covers the core components and use cases for Teams apps and guides you through ideas for automation, provisioning, and implementation. Building Solutions with Microsoft Teams starts with an overview of the Microsoft Teams developer platform followed by how to set up your environment for building apps and solutions with Teams. You will then go through various features of conversational bots and learn how to create a bot. You will gain an understanding of the messaging extension and command actions along with tabs for personal, groups, and teams contexts. Moving forward, you will work with SharePoint and Teams together via SharePoint Framework. Finally, you will manage the Teams life cycle and see design guidelines supported by various case studies. After reading thisbook, you will be able to integrate solutions from Power Apps, Power Automate, Power BI, and Power Virtual agents by using accelerators. You will also be able to leverage your existing skills from SharePoint Framework development. What You Will Learn Extend the Teams developer platform capabilitiesUnderstand Microsoft Graph, including lifecycle management, collaboration, calling, and online meetingsCreate an app package for your Microsoft Teams appConnect web services to Microsoft Teams with webhooks Who This Book Is ForMicrosoft Teams developers.
Ui Design for IOS App Development
Design is a challenge for most developers. Without a background or training in user interface skills, it's hard to navigate what choices make the best sense for the end user. This book shows you how to migrate from Storyboards to SwiftUI to design dynamic and engaging UIs for iOS apps. SwiftUI is new in iOS 13 but you may want to support past versions as well. To satisfy this, you'll start by reviewing nib/xib files and Storyboards and then move into SwiftUI and explore how to design apps in both UI toolkits. Gaining a firm base in technologies old and new will allow you to future proof your UI during this period of transition. Developers generally want to stay in code, but UI development tends to be a visual effort. This book takes a very structured and code-like approach to UI design to take the fear away. You'll grasp Storyboards and Auto-Layout/Constraints, while also learning to move past them with the easier options in SwiftUI. A clear understanding of both technologies is key to keeping your most functional coding and also making things look right. With UI Design for iOS App Development, you'll learn SwiftUI easily and get back into your code quickly.What You'll LearnBuild iOS app UIs both in current and new paradigmsWork with Storyboards and Auto-Layout/ConstraintsDesign UIs in a coder friendly wayWho This Book Is ForiOS developers building a strong foundation in UI design to fill in the gaps from their training. For veteran developers, it's vital to be able to match your coding skills with equal UI/UX abilities.
ML.Net Revealed
Get introduced to ML.NET, a new open source, cross-platform machine learning framework from Microsoft that is intended to democratize machine learning and enable as many developers as possible.Dive in to learn how ML.NET is designed to encapsulate complex algorithms, making it easy to consume them in many application settings without having to think about the internal details. You will learn about the features that do the necessary "plumbing" that is required in a variety of machine learning problems, freeing up your time to focus on your applications. You will understand that while the infrastructure pieces may at first appear to be disconnected and haphazard, they are not. Developers who are curious about trying machine learning, yet are shying away from it due to its perceived complexity, will benefit from this book. This introductory guide will help you make sense of it all and inspire you to try outscenarios and code samples that can be used in many real-world situations. What You Will LearnCreate a machine learning model using only the C# languageBuild confidence in your understanding of machine learning algorithms Painlessly implement algorithms Begin using the ML.NET library softwareRecognize the many opportunities to utilize ML.NET to your advantageApply and reuse code samples from the bookUtilize the bonus algorithm selection quick references available online Who This Book Is ForDevelopers who want to learn how to use and apply machine learning to enrich their applications
Toward Solving Complex Human Problems
This book serves three basic purposes: (1) a tutorial-type reference for complex systems engineering (CSE) concepts and associated terminology, (2) a recommendation of a proposed methodology showing how the evolving practice of CSE can lead to a more unified theory, and (3) a complex systems (CSs) initiative for organizations to invest some of their resources toward helping to make the world a better place. A wide variety of technical practitioners-e.g., developers of new or improved systems (particularly systems engineers), program and project managers, associated staff/workers, funders and overseers, government executives, military officers, systems acquisition personnel, contract specialists, owners of large and small businesses, professional society members, and CS researchers-may be interested in further exploring these topics. Readers will learn more about CS characteristics and behaviors and CSE principles and will therefore be able to focus on techniques that will better serve them in their everyday work environments in dealing with complexity. The fundamental observation is that many systems inherently involve a deeper complexity because stakeholders are engaged in the enterprise. This means that such CSs are more difficult to invent, create, or improve upon because no one can be in total control since people cannot be completely controlled. Therefore, one needs to concentrate on trying to influence progress, then wait a suitable amount of time to see what happens, iterating as necessary. With just three chapters in this book, it seems to make sense to provide a tutorial introduction that readers can peruse only as necessary, considering their background and understanding, then a chapter laying out the suggested artifacts and methodology, followed by a chapter emphasizing worthwhile areas of application.
Cyber Security on Azure
Prevent destructive attacks to your Azure public cloud infrastructure, remove vulnerabilities, and instantly report cloud security readiness. This book provides comprehensive guidance from a security insider's perspective. Cyber Security on Azure supports cloud security operations and cloud security architects by supplying a path to clearly identify potential vulnerabilities to business assets and reduce security risk in Microsoft Azure subscription. This updated edition explores how to "lean-in" and recognize challenges with IaaS and PaaS for identity, networks, applications, virtual machines, databases, and data encryption to use the variety of Azure security tools. You will dive into Azure Cloud Security to guide cloud operations teams to become more security focused in many areas and laser focused on security configuration. New chapters cover Azure Kubernetes Service and Container security and you will get up and running quickly with an overview of Azure Sentinel SIEM Solution. What You'll LearnUnderstand enterprise privileged identity and security policies"Shift left" with security controls in Microsoft AzureConfigure intrusion detection and alertsReduce security risks using Azure Security ServiceWho This Book Is ForIT, cloud, and security administrators in Azure
Software Quality: Future Perspectives on Software Engineering Quality
This book constitutes the refereed proceedings of the 13th Software Quality Days Conference, SWQD 2021, which was planned to be held in Vienna, Austria, during January 19-21, 2021. Due to the COVID-19 pandemic, the conference was cancelled and will be merged with SWQD 2022. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2021 is "Future Perspectives on Software Engineering Quality". The 3 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 13 submissions. The volume also contains 2 invited talks and one introductory paper for an interactive session. The contributions were organized in topical sections named: automation in software engineering; quality assurance for AI-based systems; machine learning applications; industry-academia collaboration; and experimentation in software engineering.
Beginning Entity Framework Core 5
Use the code-driven approach of Entity Framework Core 5 to build a functional web application that accesses a database on the backend server. This book covers the common use cases of Entity Framework that a developer needs to master in order to begin building applications that run against a database. Throughout the book you will be shown how to use Entity Framework Core 5 by implementing a simple ASP.NET Core Razor Pages line-of-business application. This example application will be similar to those you might write yourself and deploy to your users on a web or intranet site via a browser. This book takes a code-first approach in which your database will be created and seeded programmatically. You won't need to create the database through your database engine's interface. Instead, you will be shown how to define your data model in Entity Framework, and then let Entity Framework do the work of creating your database and schema for you. From there you will learn how to seed your database with example data, then to implement the common, so-called CRUD operations consisting of creating, retrieving, updating, and deleting rows of data. By the end of the book you will have built a well-designed application that you can use as the basis for future applications that you create in your job. What You Will LearnDownload and install Entity Framework Core 5Perform create, read, update, and delete (CRUD) operationsCreate and seed a database with example data using Entity Framework Core 5Incrementally add new database functionality through Entity Framework Core 5 migrationsRecognize when to take advantage of new features introduced in Entity Framework Core 5Deliver line-of-business applications using ASP.NET Core that run in a browserWho This Books Is ForDevelopers who are familiar with C# and the .NET Framework who want to learn database access using Entity Framework Core 5. For developers creating web-based, line-of-business applications who want to create those applications more quickly and efficiently when databases are involved.
Exploring Windows Presentation Foundation
Use the Windows Presentation Foundation (WPF) technology to develop Windows applications using C# and XAML for design. This book will get you through not only the basics, but also some of the more advanced concepts of WPF in .NET 5. The book starts with basic concepts such as window, page, text box, and message box as well as a sequence of common events and event handling in WPF. You will learn how to use various elements in WPF and deal with them in .NET 5. You will understand how to work with files and access them in WPF along with binding and MVVM (Model-View-View-Model). You will learn how to retrieve data from APIs, work in XAML, and understand where design and style properties should be applied in WPF.After reading this book you will be able to work on WPF and apply its concepts in .NET 5, .NET core, and the .NET framework.What You Will LearnUnderstand the basics of WPF: click event, inputs, and general setupWork with WPF interface events and handlingKnow how file handling works in WPFRetrieve data from APIs in a modern wayWho This Book Is ForDevelopers with basic knowledge of C#.
Production Kubernetes
Kubernetes has become the dominant container orchestrator, but many organizations that have recently adopted this system are still struggling to run actual production workloads. In this practical book, four software engineers from VMware bring their shared experiences running Kubernetes in production and provide insight on key challenges and best practices. The brilliance of Kubernetes is how configurable and extensible the system is, from pluggable runtimes to storage integrations. For platform engineers, software developers, infosec, network engineers, storage engineers, and others, this book examines how the path to success with Kubernetes involves a variety of technology, pattern, and abstraction considerations. With this book, you will: Understand what the path to production looks like when using Kubernetes Examine where gaps exist in your current Kubernetes strategy Learn Kubernetes's essential building blocks--and their trade-offs Understand what's involved in making Kubernetes a viable location for applications Learn better ways to navigate the cloud native landscape
Rewriting Logic and Its Applications
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.
Dynamics 365 Field Service
Configure and customize Microsoft Dynamics 365 Field Services to help your organization deliver onsite service to customer locations. This book will guide you in setting up and implementing Dynamics 365 Field Services to automate workflow and schedule algorithms for mobile users.The book starts with an introduction to Field Services and setting up your Dynamics 365 subscription. Next, you will configure your application. You are shown how to allocate work, manage resources, and move inventory. You will configure both Field Services and the new Field Services Mobile app. One of the main topics covered is applying security to both Field Services and the Field Services Mobile App and how to use both flavors of the application to implement effective solutions. You will go through examples to understand and apply the concepts and features for configuration of Field Services. You also will learn best practices for configuring and customizing Field Services.After reading this book, you will be able to develop and implement enterprise-scale solutions using Dynamics 365 Field Services.What Will You LearnCreate and process Work OrdersManage inventory movement in the fieldSet up security in Field Services and Field Services Mobile AppGenerate Work Orders with agreementUtilize Microsoft Power Automate with Field ServiceWho Is This Book ForTechnical and functional consultants who have Dynamics 365 CE development experience
User-Driven Applications for Research and Science
Build programs that give users full control of their applications in order to meet end users' unique needs and scenarios. Over the last couple of decades, there has been an ongoing quandary in the developer world. Developers are enlisted to build applications to meet users' demands; users get applications that meet the criteria from the developers' point of view, but they are far from what the users envisioned. The difference is often wide and nearly catastrophic in fields where users' actions are nearly impossible to predict, such as science, research work, financial analysis, and others. End users get frustrated with the applications because they were not built with their use cases in mind. For a long time, it was assumed that the developers who created the code should drive their programs and be responsible for all scenarios. While generally not an issue in simple programs, this view is wrong for complex applications in the field of science. These end users are the best specialists in their respective fields and need applications to work beyond the scenarios prepared and allowed for by developers.This book teaches you methods to manage your applications in a way that gives control to your target end users. You will learn proven methods using an easy and predictable instrument, the all-powerful algorithm, to create objects that are movable and re-sizable by users.Get ready to learn by example, using an algorithm of total movability and experience, implemented in different situations. You will begin with the simplest code examples and work your way up to real, complicated programs applicable in STEM fields.What You Will Learn Pass the control of your programs from developers to end usersUnderstand that the most valuable result is not the algorithm itself, but the consequence of using itBuild user-driven applications that include total movability of screen elementsSee concepts applied in real situations and scenariosBe exposed to well-known programs and tasks for developing user-driven applicationsAccess accompanying code written in C# and available on GitHub Who This Book Is ForDevelopers who want to write or design programs that give their target end users full control over their application
Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification tools has become prevalent. This required to overcome significant theoretical and technical challenges to support advanced software engineering and programming concepts. The community became more interconnected with a competitive, but friendly and supportive environment. We took the 20-year anniversary of KeY as an opportunity to invite researchers, inside and outside of the project, to contribute to a book capturing some state-of-the-art developments in the field. We received thirteen contributions from recognized experts of the field addressing the latest challenges. The topics of the contributions range from tool development, effciency and usability considerations to novel specification and verification methods. This book should offer the reader an up-to-date impression of the current state of art in deductive verification, and we hope, inspire her to contribute to the field and to join forces. We are looking forward to meeting you at the next conference, to listen to your research talks and the resulting fruitful discussions and collaborations.
Service-Oriented Computing
This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during December 14-17, 2020. Due to the COVID-19 pandemic the conference was held online. The 23 full, 16 short, and 3 industry papers included in this volume were carefully reviewed and selected from 137 submissions. They were organized in topical sections named: microservices; Internet of Things; services at the edge; machine learning for service oriented computing; smart data and smart services; service oriented technology trends; industry papers.
Learning C# by Programming Games
1 Building Your First Game Application.- 2 What Is Programming?.- 3 Game Programming Basics.- 4 Creating a Game World.- 5 Showing what the Player is Doing.- 6 Reacting to Player Input.- 7 Basic Game Objects.- 8 Communication and Interaction Between Objects.- 9 A Limited Number of Lives.- 10 Organizing Game Objects.- 11 Finishing the Game.- 12 Dealing with Different Screen Sizes.- 13 Arrays and Collections.- 14 Game Objects in a Structure.- 15 Gameplay Programming.- 16 Finishing the Game.- 17 Better Game State Management.- 18 User Interfaces and Menus.- 19 Loading Levels from Files.- 20 Gameplay Programming.- 21 Finishing the Game.- 22 Creating the Main Game Structure.- 23 Animated Game Objects.- 24 Game Physics.- 25 Intelligent Enemies.- 26 Finishing the Game.
Software Verification
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Web and Internet Economics
This book constitutes the proceedings of the 16th International Conference on Web and Internet Economics, WINE 2020, held in Beijing, China, in December 2020. The 31 full papers presented together with 11 abstracts were carefully reviewed and selected from 136 submissions. The issues in theoretical computer science, artificial intelligence, operations research are of particular importance in the Web and the Internet that enable the interaction of large and diverse populations. The Conference on Web and Internet Economics (WINE) is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.
Service-Oriented Computing
This book constitutes the refereed proceedings of the 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, held in Crete, Greece, in September 2020.*The 9 full and 2 short papers were carefully reviewed and selected from 23 submissions. The papers mainly focus on IoT and cyber-physical systems, advanced application areas, cloud and edge, and service-based applications. *The conference was held virtually due to the COVID-19 pandemic.
Advanced Excel Success
Explore advanced skills in Excel and gain an amazing array of tricks and tools to increase your productivity. This book discusses new techniques such as power functions, chart tricks, and many more to master Excel. Advanced Excel Success starts with a few useful data tools in Excel followed by advanced formulas that will help you increase productivity. Here, you will learn power functions that aggregate, return ranges, and much more. Further, you will look at custom formatting tricks along with advanced charting tricks. These include automatically changing the color of key metrics, dynamically sorting chart data, and building creative labels. Next, you will understand the role of Power Query which is one of the most important upgrades in Excel. Power Query is the Microsoft Data Connectivity and Data Preparation technology that enables business users to seamlessly access data stored in hundreds of data sources and reshape it to fit their needs, with an easy-to-use, engaging, and no-code user experience. Finally, you will learn Power Pivot which is a distinct feature in Excel that goes beyond spreadsheets. After reading this book, you will be well equipped to work on Excel with its advanced features. What You Will Learn Work with the most useful data tools Understand formulas and the ten power functionsUse advanced chart and formatting tricks and techniques for dynamic and effective visualsWork with power tools Who This Book Is For Excel users looking to take the next step to expert level.
Combinatorial Optimization and Applications
This volume constitutes the proceedings of the 14th International Conference on Combinatorial Optimization and Applications, COCOA 2020, held in Dallas, TX, USA, in December 2020. The 55 full papers presented in this volume were carefully reviewed and selected from 104 submissions. The papers are grouped into the following topics: Approximation Algorithms; Scheduling; Network Optimization; Complexity and Logic; Search, Facility and Graphs; Geometric Problem; Sensors, Vehicles and Graphs; and Graph Problems. Due to the Corona pandemic this event was held virtually.
Develop Intelligent IOS Apps with Swift
Build smart apps capable of analyzing language and performing language-specific tasks, such as script identification, tokenization, lemmatization, part-of-speech tagging, and named entity recognition. This book will get you started in the world of building literate, language understanding apps. Cutting edge ML tools from Apple like CreateML, CoreML, and TuriCreate will become natural parts of your development toolbox as you construct intelligent, text-based apps. You'll explore a wide range of text processing topics, including reprocessing text, training custom machine learning models, converting state-of-the-art NLP models to CoreML from Keras, evaluating models, and deploying models to your iOS apps. You'll develop sample apps to learn by doing. These include apps with functions for detecting spam SMS, extracting text with OCR, generating sentences with AI, categorizing the sentiment of text, developing intelligent apps that read text and answers questions, converting speech to text, detecting parts of speech, and identifying people, places, and organizations in text. Smart app development involves mainly teaching apps to learn and understand input without explicit prompts from their users. These apps understand what is in images, predict future behavior, and analyze texts. Thanks to natural language processing, iOS can auto-fix typos and Siri can understand what you're saying. With Apple's own easy-to-use tool, Create ML, they've broughtaccessible ML capabilities to developers. Develop Intelligent iOS Apps with Swift will show you how to easily create text classification and numerous other kinds of models. What You'll Learn Incorporate Apple tools such as CreateML and CoreML into your Swift toolbox Convert state-of-the-art NLP models to CoreML from Keras Teach your apps to predict words while users are typing with smart auto-complete Who This Book Is For Novice developers and programmers who wish to implement natural language processing in their iOS applications and those who want to learn Apple's native ML tools.
Advances in Service-Oriented and Cloud Computing
This volume contains the technical papers presented in the workshops, which took place at the 7th European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in Como, Italy, in September 2018: Joint Cloudways and OptiMoCS Workshop; 14th International Workshop on Engineering Service-Oriented Applications and Cloud Services. Additionally the papers from ESOCC 2018 PhD Symposium and ESOCC 2018 EU Projects Track were included in the volume. The 22 full papers were carefully reviewed and selected from 34 submissions. The papers focus on specific topics in service-oriented and cloud computing domains such as limits and/or advantages of existing cloud solutions, future internet technologies, efficient and adaptive deployment and management of service-based applications across multiple clouds, novel cloud service migration practices and solutions, digitization of enterprises in the cloud computing era, federated cloud networking services.
Model-Driven Engineering and Software Development
This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020. The 15 revised and extended papers presented in this volume were carefully reviewed and selected from 66 submissions. They present recent research results and development activities in using models and model driven engineering techniques for software development. The papers are organized in topical sections on​ methodologies, processes and platforms; applications and software development; modeling languages, tools and architectures.
Action Research in Software Engineering
1 Introduction.- 2 Action Research as Research Methodology in Software Engineering.- 3 Diagnosing.- 4 Action Planning.- 5 Action taking.- 6 Evaluation.- 7 Specifying learning.- 8 Action research vs. design research.- 9 Ensuring sustainability of knowledge.- 10 Validity evaluation.- 11 Reporting Action Research Studies.- 12 Conclusions.
Migrating a Two-Tier Application to Azure
Understand and build a proof of concept by migrating a multi-tiered .NET Core web application to the Azure public cloud, leveraging different Azure Infrastructure as a Service (IAAS), Azure Platform as a Service (PaaS), and Azure Container offerings. These include Azure Container Instance (ACI), Azure Kubernetes Services (AKS), and CI/CD pipeline deployments using Azure DevOps. After a first chapter in which you set up the baseline for the lab scenarios, you will start with the basics of automating Azure resource deployments using Visual Studio and powerful Azure Resource Manager (ARM) templates. Next, you'll learn about the importance of performing proper assessments and the tools Microsoft offers to help in this migration preparation phase. After that, you will validate the virtual machine deployment and learn about SQL Server database migration to SQL Azure PaaS, as well as deploying and migrating web applications to Azure Web Apps. After covering these foundational platform components, the next chapters focus on the core concepts and advantages of using containers for running business workloads. These labs are based on Docker, Azure Container Registry (ACR), ACI, and Web App for Containers, and show you how to enable container orchestration and cloud-scale using AKS. In the last part of the book, you will work with Azure DevOps, the Microsoft application lifecycle environment, building a CI/CD pipeline to publish workloads using the DevOps principles and concepts. You'll see the integration with the rest of the Azure services, closing with a module on overall Azure monitoring and operations and what tools Azure has available to assist your IT teams in this challenge.What You Will Learn Use Azure to enable digital transformation Carry out Azure automated deployments using ARM templates and Azure DevOps Run VM-based workloads on Azure Migrate VM-based workloads to Azure platform services Monitor Azure running workloads with Azure Monitor and Log Analytics Who This Book Is For Anyone who wants to learn about different Azure architectures by going through hands-on exercises.
Kubernetes
Master all the concepts and tools necessary to start administering a Kubernetes cluster and deploying applications to production. You will cover the entire curricula of the two Kubernetes certifications (for application developers and administrators).The initial chapters guide you through deployment of a Kubernetes cluster on virtual machines and explore the different components of the control plane. Next, you will work with the kubectl command-line tool; namespaces, labels, selectors, and annotations--common resources used through the Kubernetes API. The following chapters describe the principle of controllers and detail how workload controllers work as well as the possibilities for configuring deployed applications. You will also learn how to deploy a scalable and self-healing application, how pods are scheduled to nodes, how parts of the application can communicate, and how the application is discoverable from the outside. Next, you will cover security concerns describing the different authentication methods, the RBAC authorization mode, security contexts, network policies, and how to secure container images. You will also cover using persistent volumes for your containers to store long-term data, monitoring your clusters and applications and implementing design patterns for multi-container pods. The concluding chapters guide you through the upgrade of your deployed cluster.After reading this book, you will have enough knowledge to deploy a complex application using a Kubernetes cluster and be ready for the certification exams.What You Will LearnDeploy a Kubernetes cluster with kubeadm and learn how the control plane worksDiscover how the Kubernetes API is structuredDeploy secure, auto-scaled, and self-healing applicationsMaster the kubectl command-line toolWho This Book Is For Administrators and application developers with good knowledge of micro-services development and deployment.
SwiftUI Projects
Learn SwiftUI by designing and building complex user interfaces for watchOS, iPadOS, and iOS with the help of projects including a financial app, a sports news app, and a POS systemKey FeaturesLearn SwiftUI with the help of practical cross-platform development projectsUnderstand the design considerations for building apps for different devices such as Apple Watch, iPhone, and iPad using SwiftUI's latest featuresWork with advanced SwiftUI layout features, including SF Symbols, SwiftUI grids, and forms in SwiftUIBook DescriptionReleased by Apple during WWDC 2019, SwiftUI provides an innovative and exceptionally simple way to build user interfaces for all Apple platforms with the power of Swift.This practical guide involves six real-world projects built from scratch, with two projects each for iPhone, iPad, and watchOS, built using Swift programming and Xcode. Starting with the basics of SwiftUI, you'll gradually delve into building these projects. You'll learn the fundamental concepts of SwiftUI by working with views, layouts, and dynamic types. This SwiftUI book will also help you get hands-on with declarative programming for building apps that can run on multiple platforms. Throughout the book, you'll work on a chart app (watchOS), NBA draft app (watchOS), financial app (iPhone), Tesla form app (iPhone), sports news app (iPad), and shoe point-of-sale system (iPad), which will enable you to understand the core elements of a SwiftUI project.By the end of the book, you'll have built fully functional projects for multiple platforms and gained the knowledge required to become a professional SwiftUI developer.What You Will LearnUnderstand the basics of SwiftUI by building an app with watchOSWork with UI elements such as text, lists, and buttonsCreate a video player in UIKit and import it into SwiftUIDiscover how to leverage an API and parse JSON in your app using CombineStructure your app to use Combine and state-driven featuresCreate flexible layouts on iPadWho this book is forSwiftUI Projects is intended for anyone who is already comfortable with Swift. We do not cover Swift topics in detail, so you need to be familiar with these already. All of the SwiftUI topics are taught as if this is the first time you've learned them and will gradually get more difficult.
Reuse in Emerging Software Engineering Practices
This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually. The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling, reuse in practice, reengineering, recommendation, and empirical analysis.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.The Chapters "Multi-Purpose Syntax Definition with SDF3", "FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions" are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Model-Based Safety and Assessment7th International Symposium, Imbsa 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.
Software Architecture
This book constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A'quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions. They are organized in topical sections as follows: microservices; uncertainty, self-adaptive, and open systems; model-based approaches; performance and security engineering; architectural smells and source code analysis; education and training; experiences and learnings from industrial case studies; and architecting contemporary distributed systems. In the Industrial Track, 11 submissions were received and 6 were accepted to form part of these proceedings. In addition the book contains 3 keynote talks. Due to the Corona pandemic ECSA 2020 was held as an virtual event.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
The volume LNCS 12296 constitutes the papers of the 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research which will be held online in September 2020.The 32 regular papers presented together with 4 abstracts of fast-track papers were carefully reviewed and selected from a total of 72 submissions. Additionally, this volume includes the 4 abstracts and 2 invited papers by plenary speakers. The conference program also included a Master Class on the topic "Recent Advances in Optimization Paradigms and Solving Technology"
Functional and Logic Programming
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020. The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory. *The conference was held virtually due to the COVID-19 pandemic.
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. 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 papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
