Trends in Functional Programming
This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Chapter 'Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Chapter 'High-level Modelling for Typed Functional Programming' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Web Development with Blazor
Learn modern web user interface (UI) development with server-side Blazor and Blazor WebAssemblyKey Features: Get up to speed with Blazor fundamentals, actionable insights, and best practicesLearn how to create and deploy a production-ready Blazor applicationFind out how, when, and why to use server-side Blazor and Blazor WebAssemblyBook Description: Until now, creating interactive web pages meant involving JavaScript. But with Blazor, Microsoft's new way to create .NET web applications, developers can easily build interactive and rich web applications using C#. Web Development with Blazor will guide you through the most common challenges in getting started with Blazor.You'll start by learning how to leverage the power of Blazor and learn what you can do with both Blazor Server and Blazor WebAssembly. By showing you how all the elements work together practically, the book will help you solve some of the common roadblocks that developers face. As you advance, you'll learn how to create Blazor Server and Blazor WebAssembly projects, how Razor syntax works, and how to validate forms and create your own components. Later, the book introduces you to key concepts involved in web development with Blazor, which you will be able to put into practice straight away.By the end of this Blazor book, you'll have gained the confidence you need to create and deploy production-ready Blazor applications.What You Will Learn: Understand the different technologies that can be used with Blazor, such as Blazor Server and Blazor WebAssemblyFind out how to build simple and advanced Blazor componentsExplore the differences between Blazor Server and Blazor WebAssembly projectsDiscover how Entity Framework works and build a simple APIGet up to speed with components and find out how to create basic and advanced componentsExplore existing JavaScript libraries in BlazorUse techniques to debug your Blazor Server and Blazor WebAssembly applicationsTest Blazor components using bUnitWho this book is for: This web development book is for web developers and software developers who want to explore Blazor for building dynamic web UIs. This book assumes beginner-level knowledge of C# programming and intermediate-level web development skills.
Hands-On Rust
Rust is an exciting new programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters - and what better way to learn than by making games. Each chapter in this book presents hands-on, practical projects ranging from "Hello, World" to building a full dungeon crawler game. With this book, you'll learn game development skills applicable to other engines, including Unity and Unreal. Rust is an exciting programming language combining the power of C with memory safety, fearless concurrency, and productivity boosters. With Rust, you have a shiny new playground where your game ideas can flourish. Each chapter in this book presents hands-on, practical projects that take you on a journey from "Hello, World" to building a full dungeon crawler game. Start by setting up Rust and getting comfortable with your development environment. Learn the language basics with practical examples as you make your own version of Flappy Bird. Discover what it takes to randomly generate dungeons and populate them with monsters as you build a complete dungeon crawl game. Run game systems concurrently for high-performance and fast game-play, while retaining the ability to debug your program. Unleash your creativity with magical items, tougher monsters, and intricate dungeon design. Add layered graphics and polish your game with style. What You Need: A computer running Windows 10, Linux, or Mac OS X. A text editor, such as Visual Studio Code. A video card and drivers capable of running OpenGL 3.2.
Python Object-Oriented Programming - Fourth Edition
A comprehensive guide to exploring modern Python through data structures, design patterns, and effective object-oriented techniquesKey Features: Build an intuitive understanding of object-oriented design, from introductory to mature programs Learn the ins and outs of Python syntax, libraries, and best practices Examine a machine-learning case study at the end of each chapterBook Description: Python Object-Oriented Programming, Fourth Edition dives deep into the various aspects of OOP, Python as an OOP language, common and advanced design patterns, and hands-on data manipulation and testing of more complex OOP systems. These concepts are consolidated by open-ended exercises, as well as a real-world case study at the end of every chapter, newly written for this edition. All example code is now compatible with Python 3.9+ syntax and has been updated with type hints for ease of learning. Steven and Dusty provide a friendly, comprehensive tour of important OOP concepts, such as inheritance, composition, and polymorphism, and explain how they work together with Python's classes and data structures to facilitate good design. UML class diagrams are generously used throughout the text for you to understand class relationships. Beyond the book's focus on OOP, it features an in-depth look at Python's exception handling and how functional programming intersects with OOP. Not one, but two very powerful automated testing systems, unittest and pytest, are introduced in this book. The final chapter provides a detailed discussion of Python's concurrent programming ecosystem. By the end of the book, you will have a thorough understanding of how to think about and apply object-oriented principles using Python syntax and be able to confidently create robust and reliable programs.What You Will Learn: Implement objects in Python by creating classes and defining methodsExtend class functionality using inheritanceUse exceptions to handle unusual situations cleanlyUnderstand when to use object-oriented features, and more importantly, when not to use themDiscover several widely used design patterns and how they are implemented in PythonUncover the simplicity of unit and integration testing and understand why they are so importantLearn to statically type check your dynamic codeUnderstand concurrency with asyncio and how it speeds up programsWho this book is for: If you are new to object-oriented programming techniques, or if you have basic Python skills and wish to learn how and when to correctly apply OOP principles in Python, this is the book for you. Moreover, if you are an object-oriented programmer coming from other languages or seeking a leg up in the new world of Python, you will find this book a useful introduction to Python. Minimal previous experience with Python is necessary.
Introducing Distributed Application Runtime (Dapr)
Use this book to learn the Distributed Application Runtime (Dapr), a new event-driven runtime from Microsoft designed to help developers build microservices applications, using a palette of languages and frameworks that run everywhere: on-premises, in any cloud, and even on the edge.One of the most popular architectural patterns for implementing large, complex, distributed solutions is the microservices architectural style. Because solutions are composed of services based on various languages, frameworks, and platforms, the more complex and compartmentalized an application becomes, the more considerations a developer has to keep in mind. Much of the time this proves to be difficult.Introducing Distributed Application Runtime (Dapr) is your guide to achieving more with less through patterns. Part I of the book is about understanding microservices and getting up and running with Dapr, either on your machine or in any Kubernetes cluster. From there you are guided through the concepts of Dapr, how it works, and what it can do for you. You will wrap up with various ways to debug Dapr applications using Visual Studio Code locally, inside a container or Kubernetes. In Part II you will jump into the reusable patterns and practices, the building blocks of Dapr. You will go from service invocation, publish and subscribe, state management, resource bindings, and the Actor model to secrets; each building block is covered in detail in its own dedicated chapter. You will learn what Dapr offers from a functional perspective and also how you can leverage the three pillars of observability (logs, metrics, and traces) in order to gain insight into your applications. In Part III you will explore advanced concepts, including using middleware pipelines, integrating Dapr into web frameworks such as ASP.NET Core, or the runtimes of Azure Logic Apps and Azure Functions. The book features a multi-versed set of examples that cover not only the plain API of Dapr, but also the .NET SDK. Hence, most of the examples are in .NET 5, with a small number in JavaScript to exemplify the use of multiple languages. Examples show you how to securely use Dapr to leverage a variety of services in Microsoft Azure, including Azure Kubernetes Service, Azure Storage, Azure Service Bus, Azure Event Grid, Azure Key Vault, Azure Monitor, and Azure Active Directory among others. What You Will LearnRecognize the challenges and boundaries of microservices architectureHost Dapr inside a Kubernetes cluster or as a standalone processLeverage and use Dapr's ready-to-use patterns and practicesUtilize its HTTP/gRPC APIsUse Dapr with ASP.NET Core and in .NET applications (with or without the SDK)Implement observability for Dapr applicationsSecure Dapr applicationsIntegrate Dapr with the runtime of Azure Logic Apps and Azure FunctionsRealize the full potential of Visual Studio Code by using the right extensions that will contribute to a better development experience Who This Book Is ForDevelopers and architects who want to utilize a proven set of patterns to help easily implement microservices applications
Introduction to Computational Origami
This book focuses on origami from the point of view of computer science. Ranging from basic theorems to the latest research results, the book introduces the considerably new and fertile research field of computational origami as computer science. Part I introduces basic knowledge of the geometry of development, also called a net, of a solid. Part II further details the topic of nets. In the science of nets, there are numerous unresolved issues, and mathematical characterization and the development of efficient algorithms by computer are closely connected with each other. Part III discusses folding models and their computational complexity. When a folding model is fixed, to find efficient ways of folding is to propose efficient algorithms. If this is difficult, it is intractable in terms of computational complexity. This is, precisely, an area for computer science research. Part IV presents some of the latest research topics as advanced problems. Commentaries on all exercises included in the last chapter. The contents are organized in a self-contained way, and no previous knowledge is required. This book is suitable for undergraduate, graduate, and even high school students, as well as researchers and engineers interested in origami.
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
The four-volume set LNCS 12476 - 12479 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II, Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.Part IV, Tools and Trends: From Verification to Explanation; Engineering of Digital Twins for Cyber-Physical Systems; Software Verification Tools.
Core Software Security
"... an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. ... Readers are armed with firm solutions for the fight against cyber threats."-Dr. Dena Haritos Tsamitis. Carnegie Mellon University "... a must read for security specialists, software developers and software engineers. ... should be part of every security professional's library." -Dr. Larry Ponemon, Ponemon Institute "... the definitive how-to guide for software security professionals. Dr. Ransome, Anmol Misra, and Brook Schoenfield deftly outline the procedures and policies needed to integrate real security into the software development process. ...A must-have for anyone on the front lines of the Cyber War ..." -Cedric Leighton, Colonel, USAF (Ret.), Cedric Leighton Associates "Dr. Ransome, Anmol Misra, and Brook Schoenfield give you a magic formula in this book - the methodology and process to build security into the entire software development life cycle so that the software is secured at the source! "-Eric S. Yuan, Zoom Video Communications There is much publicity regarding network security, but the real cyber Achilles' heel is insecure software. Millions of software vulnerabilities create a cyber house of cards, in which we conduct our digital lives. In response, security people build ever more elaborate cyber fortresses to protect this vulnerable software. Despite their efforts, cyber fortifications consistently fail to protect our digital treasures. Why? The security industry has failed to engage fully with the creative, innovative people who write software. Core Software Security expounds developer-centric software security, a holistic process to engage creativity for security. As long as software is developed by humans, it requires the human element to fix it. Developer-centric security is not only feasible but also cost effective and operationally relevant. The methodology builds security into software development, which lies at the heart of our cyber infrastructure. Whatever development method is employed, software must be secured at the source. Book Highlights: Supplies a practitioner's view of the SDL Considers Agile as a security enabler Covers the privacy elements in an SDL Outlines a holistic business-savvy SDL framework that includes people, process, and technology Highlights the key success factors, deliverables, and metrics for each phase of the SDL Examines cost efficiencies, optimized performance, and organizational structure of a developer-centric software security program and PSIRT Includes a chapter by noted security architect Brook Schoenfield who shares his insights and experiences in applying the book's SDL framework View the authors' website at http: //www.androidinsecurity.com/
Software Engineering for Variability Intensive Systems
This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discuss the challenges in developing, maintaining and evolving systems, cloud and mobile services for variability-intensive software systems and the scalability requirements they imply. The book explores software engineering approaches that can efficiently deal with variability-intensive systems as well as applications and use cases benefiting from variability-intensive systems.
What’s Where in the APPLE - Enhanced Edition
A comprehensive guide to the hardware and firmware organization and architecture of the Apple II computer, What's Where in the Apple discusses concepts and programming techniques useful for mastering the inner workings and hidden mechanisms of the Apple II. This new Enhanced Edition is the most complete and accurate edition ever created, featuring improved readability, new coverage of the Apple IIe and Apple IIc, and a forward and historical perspective by publishing legend Robert Tripp. The numerical Atlas and alphabetical Gazetteer guide you to over 2,700 memory locations of PEEKs, POKEs, and CALLs in DOS and ProDOS. Applesoft and Integer BASIC users will learn how to speed up and streamline programs. Assembly language users will discover routines that simplify coding and interfacing. All users will find this book helpful to understand the Apple II and essential for mastering it!
Software Source Code
This book will focus on utilizing statistical modelling of the software source code, in order to resolve issues associated with the software development processes. Writing and maintaining software source code is a costly business; software developers need to constantly rely on large existing code bases. Statistical modelling identifies the patterns in software artifacts and utilize them for predicting the possible issues.
Apple Software Protection Digest
Welcome to the Apple Software Protection Digest - dedicated to the subject of protection and how it relates to software for the Apple II series of computers. You will learn how to protect, unprotect and backup your software. Inside this collection are Jules H. Gilder's six issues published between 1985 and 1986. Too often, purchasers of programs get stuck. They buy a program only to discover that it can't be used with a particular accessory board or disk drive. And, because the program is protected, it can't be modified. Apple II owners need a place where they can get more information about software protection. They need to know what software protection is, how it's implemented, what are the consequences of it, how it can be overcome if necessary and if there are any comparable unprotected alternatives to particular protected software packages. Apple Software Protection Digest will provide you with this information and more. It will show you new ways to protect, unprotect and backup your programs. It will teach you how to prevent others from accessing your programs and it will show you how to make them more difficult to copy. In addition, you'll learn how to overcome these and other protection schemes that are in use. You'll learn how to use the powerful, but complicated nibble copy programs. You'll also learn how to crack or remove protection entirely from many programs. With the programs that are included in each issue of the Digest, you'll build a valuable library of utility software that will make the job of protecting, unprotecting and backing up software easier. And, tutorials will keep you up-to-date on both simple and sophisticated protection techniques. In addition to all this, you will get reviews of hardware, software and books that are of particular importance to the software protection field. Programmers work long, hard hours to get their software working and they deserve to be compensated fairly for it. On the other hand, the honest consumer should not be penalized and limited in their application of a particular program simply because the publisher decided to protect it. You may have a legitimate need to backup a program and we hope to supply you with the knowledge you need to do that. Alternatively, you may wish to protect a program that you've written so that others can't copy it. We'll show you how to do that too.
Hands-On Microsoft Lists
Prepare to be a Microsoft Lists advocate and transform the way data is harnessed in your organizationKey Features: Get to grips with Microsoft Lists and organize your data efficientlyDiscover best practices and real-world scenarios to track information, events, and issues in your organizationTake control of your data by creating custom data models using Microsoft ListsBook description: Microsoft Lists is an extremely flexible and powerful platform for creating custom data models. Hands-On Microsoft Lists is an easy-to-read guide for those who want to get started with Lists, as well as those who are already familiar with the basic concepts and want to create custom and flexible Lists that are easily available through a web interface.This comprehensive introduction to Lists will show you how to get up to speed in no time with the help of practical guidance and examples. Complete with hands-on tutorials and projects, you'll understand how to use and implement Microsoft Lists effectively. You'll start by covering all the basic concepts that will help you to build your Microsoft Lists and get the most out of the platform. As you progress, you'll explore how to customize Microsoft Lists layouts and forms. Later chapters will guide you through integrating Microsoft Lists with the Power Platform. Throughout the book, you'll work with practical scenarios that you can use daily to improve the collaboration in your organization.By the end of this Microsoft book, you'll have learned how to create custom data models to improve the way your data is put together, managed, and consumed in your workplace.What You Will Learn: Use the Lists platform effectively in the modern workplaceGet to grips with data privacyDiscover how to customize Microsoft Lists data and formsAutomate processes using Microsoft ListsExtend the default features of Microsoft Lists using the SharePoint frameworkCreate custom list templates using PnP PowerShellExtend Microsoft Lists using Power PlatformWho this book is for: This book is for business professionals and end users working with Microsoft 365 tools such as Microsoft SharePoint and Microsoft Teams who are looking to improve the way their data is structured, managed, and consumed inside an organization. Basic knowledge of SharePoint and Excel is assumed.
Introduction to Software Development
This book focuses on helping the reader develop an intuitive understanding of how to write good code. While learning Java, the reader will acquire principles and techniques that are presented in the context of realistic examples, with minimal jargon and constant reinforcement so that they're internalized and become habits. The techniques presented apply to any computer language, and have stood the test of time-techniques such as taking the extra time to simplify your code, starting your testing as soon as you can, and avoiding repeated code. Using a tutorial style and a steady progression from basic to advanced, the book allows the reader to follow along and try each example for him- or herself. The reader learns by doing.Care was taken at each point to include only enough detail for the reader to progress to the next topic, avoiding discussion that would distract many readers from the main mission: learning how to write good code.
Mining Software Engineering Data for Software Reuse
This monograph discusses software reuse and how it can be applied at different stages of the software development process, on different types of data and at different levels of granularity. Several challenging hypotheses are analyzed and confronted using novel data-driven methodologies, in order to solve problems in requirements elicitation and specification extraction, software design and implementation, as well as software quality assurance. The book is accompanied by a number of tools, libraries and working prototypes in order to practically illustrate how the phases of the software engineering life cycle can benefit from unlocking the potential of data. Software engineering researchers, experts, and practitioners can benefit from the various methodologies presented and can better understand how knowledge extracted from software data residing in various repositories can be combined and used to enable effective decision making and save considerable time and effortthrough software reuse. Mining Software Engineering Data for Software Reuse can also prove handy for graduate-level students in software engineering.
Parallel Agile - Faster Delivery, Fewer Defects, Lower Cost
From the beginning of software time, people have wondered why it isn't possible to accelerate software projects by simply adding staff. This is sometimes known as the "nine women can't make a baby in one month" problem. The most famous treatise declaring this to be impossible is Fred Brooks' 1975 book The Mythical Man-Month, in which he declares that "adding more programmers to a late software project makes it later," and indeed this has proven largely true over the decades. Aided by a domain-driven code generator that quickly creates database and API code, Parallel Agile (PA) achieves significant schedule compression using parallelism: as many developers as necessary can independently and concurrently develop the scenarios from initial prototype through production code. Projects can scale by elastic staffing, rather than by stretching schedules for larger development efforts. Schedule compression with a large team of developersworking in parallel is analogous to hardware acceleration of compute problems using parallel CPUs. PA has some similarities with and differences from other Agile approaches. Like most Agile methods, PA "gets to code early" and uses feedback from executable software to drive requirements and design. PA uses technical prototyping as a risk-mitigation strategy, to help sanity-check requirements for feasibility, and to evaluate different technical architectures and technologies. Unlike many Agile methods, PA does not support "design by refactoring," and it doesn't drive designs from unit tests. Instead, PA uses a minimalist UML-based design approach (Agile/ICONIX) that starts out with a domain model to facilitate communication across the development team, and partitions the system along use case boundaries, which enables parallel development. Parallel Agile is fully compatible with the Incremental Commitment Spiral Model (ICSM), which involves concurrent effort of a systems engineering team, a development team, and a test team working alongside the developers. The authors have been researching and refining the PA process for several years on multiple test projects that have involved over 200 developers. The book's example project details the design of one of these test projects, a crowdsourced traffic safety system.
Tests and Proofs
This book constitutes the proceedings of the 15th International Conference on Tests and Proofs, TAP 2021, which was held as part of Software Technologies: Applications and Foundations, STAF 2021, and took place online during June 12-25, 2021.The 6 full papers included in this volume were carefully reviewed and selected from 10 submissions. They were organized in topical sections on learning, test resource allocation and benchmarks and on testing.
Learn to Program
It's easier to learn how to program a computer than it has ever been before. Now everyone can learn to write programs for themselves - no previous experience is necessary. Chris Pine takes a thorough, but lighthearted approach that teaches you the fundamentals of computer programming, with a minimum of fuss or bother. Whether you are interested in a new hobby or a new career, this book is your doorway into the world of programming. Computers are everywhere, and being able to program them is more important than it has ever been. But since most books on programming are written for other programmers, it can be hard to break in. At least it used to be. Chris Pine will teach you how to program. You'll learn to use your computer better, to get it to do what you want it to do. Starting with small, simple one-line programs to calculate your age in seconds, you'll see how to write interactive programs, to use APIs to fetch live data from the internet, to rename your photos from your digital camera, and more. You'll learn the same technology used to drive modern dynamic websites and large, professional applications. Whether you are looking for a fun new hobby or are interested in entering the tech world as a professional, this book gives you a solid foundation in programming. Chris teaches the basics, but also shows you how to think like a programmer. You'll learn through tons of examples, and through programming challenges throughout the book. When you finish, you'll know how and where to learn more - you'll be on your way. What You Need: All you need to learn how to program is a computer (Windows, macOS, or Linux) and an internet connection. Chris Pine will lead you through setting set up with the software you will need to start writing programs of your own.
Azure Security Handbook
Did you know that the most common cloud security threats happen because of cloud service misconfigurations, not outside attacks? If you did not, you are not alone. In the on-premises world, cybersecurity risks were limited to the organization's network, but in the era of cloud computing, both the impact and likelihood of potential risks are significantly higher. With the corresponding advent of DevOps methodology, security is now the responsibility of everyone who is part of the application development life cycle, not just the security specialists. Applying the clear and pragmatic recommendations given in this book, you can reduce the cloud applications security risks in your organization.This is the book that every Azure solution architect, developer, and IT professional should have on hand when they begin their journey learning about Azure security. It demystifies the multitude of security controls and offers numerous guidelines for Azure, curtailing hours of learning fatigueand confusion. Throughout the book you will learn how to secure your applications using Azure's native security controls. After reading this book, you will know which security guardrails are available, how effective they are, and what will be the cost of implementing them. The scenarios in this book are real and come from securing enterprise applications and infrastructure running on Azure. What You Will Learn Remediate security risks of Azure applications by implementing the right security controls at the right time Achieve a level of security and stay secure across your Azure environment by setting guardrails to automate secure configurationsProtect the most common reference workloads according to security best practicesDesign secure access control solutions for your Azure administrative access, as well as Azure application access Who This Book Is ForCloud security architects, cloud application developers, and cloud solution architects who work with Azure. It is also a valuable resource for those IT professionals responsible for securing Azure workloads in the enterprise.
Client-Side Reporting with Visual Studio in C#
Written for all VS users writing any kind of report, Client-Side Reporting with VS 2005 and SQL Server 2005 is the only book that tells the full story of client-side Reporting Services. Its real-world examples clearly and carefully teach how to use and exploit this powerful and incresingly popular technology.
High Performance Computing
This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74 submissions. The papers cover a broad range of topics such as architecture, networks, and storage; machine learning, AI, and emerging technologies; HPC algorithms and applications; performance modeling, evaluation, and analysis; and programming environments and systems software.
Lean Software Systems Engineering for Developers
Graduate to the next level of your software development career, learning the tools you need to successfully manage the complexity of modern software systems.Whether you are a developer at a small software company, or one of many developers at a large enterprise, your success directly correlates to the ability of your development team to rapidly respond to change. What makes this task challenging in today's world, is that the technical challenges we as developers strive to overcome are becoming increasingly more complex. We have to consider many more options when it comes to things like requirements, solution hosting, support, pace of change, and generally with less time and warning.A good developer knows that it is critical to manage every aspect of software development from soup to nuts, and understands that when details and decisions are left to chance, outcomes can be negatively impacted. Poor planning can result in increased errors, substandard quality, budget andschedule overruns, and result in the ultimate business failure, dissatisfied customers, and stakeholders.This book will help you put on the lenses of a software engineer. You will come away with an understanding of how to view the entire spectrum of the software development process, learn valuable concepts, and apply these principles through meaningful examples, case studies, and source code. What You Will LearnMove beyond being a programmer to being a professional software engineerSpend more time doing software development; minimize time spent dealing with ineffective or inadequate processesReduce errors in judgment and provide predictable outcomes, while still maintaining agility and responsiveness using Lean and Agile practicesKnow the steps you can take to ensure a shared understanding among stakeholdersDiscover tools to validate user experience early and often to minimize costly re-workDevelop software designs and architectures that enable long-term business agilityImplement patterns and processes that result in "falling into the pit of success" instead of into the "pit of failure"Adopt processes and patterns that will result in pervasive "institutionalized" qualityUnderstand the necessity of redefining the essential role of technical leadership to ensure team maturity and growth Who This Book Is ForSoftware developers and team leaders who have struggled to implement design and development best practices due to lack of team resources, in-depth knowledge, or experience, and want a book designed to provide the confidence and foundational skills needed to achieve success
Beginning Azure Synapse Analytics
Get started with Azure Synapse Analytics, Microsoft's modern data analytics platform. This book covers core components such as Synapse SQL, Synapse Spark, Synapse Pipelines, and many more, along with their architecture and implementation.The book begins with an introduction to core data and analytics concepts followed by an understanding of traditional/legacy data warehouse, modern data warehouse, and the most modern data lakehouse. You will go through the introduction and background of Azure Synapse Analytics along with its main features and key service capabilities. Core architecture is discussed, along with Synapse SQL. You will learn its main features and how to create a dedicated Synapse SQL pool and analyze your big data using Serverless Synapse SQL Pool. You also will learn Synapse Spark and Synapse Pipelines, with examples. And you will learn Synapse Workspace and Synapse Studio followed by Synapse Link and its features. You will go through use cases in Azure Synapse and understand the reference architecture for Synapse Analytics. After reading this book, you will be able to work with Azure Synapse Analytics and understand its architecture, main components, features, and capabilities. What You Will LearnUnderstand core data and analytics concepts and data lakehouse conceptsBe familiar with overall Azure Synapse architecture and its main componentsBe familiar with Synapse SQL and Synapse Spark architecture componentsWork with integrated Apache Spark (aka Synapse Spark) and Synapse SQL enginesUnderstand Synapse Workspace, Synapse Studio, and Synapse PipelineStudy reference architecture and use casesWho This Book Is ForAzure data analysts, data engineers, data scientists, and solutions architects
Accuracy Verification Methods
The importance of accuracy verification methods was understood at the very beginning of the development of numerical analysis. Recent decades have seen a rapid growth of results related to adaptive numerical methods and a posteriori estimates. However, in this important area there often exists a noticeable gap between mathematicians creating the theory and researchers developing applied algorithms that could be used in engineering and scientific computations for guaranteed and efficient error control. The goals of the book are to (1) give a transparent explanation of the underlying mathematical theory in a style accessible not only to advanced numerical analysts but also to engineers and students; (2) present detailed step-by-step algorithms that follow from a theory; (3) discuss their advantages and drawbacks, areas of applicability, give recommendations and examples.
Domain Storytelling
Build Better Business Software by Telling and Visualizing Stories "From a story to working software--this book helps you to get to the essence of what to build. Highly recommended!" --Oliver Drotbohm Storytelling is at the heart of human communication--why not use it to overcome costly misunderstandings when designing software? By telling and visualizing stories, domain experts and team members make business processes and domain knowledge tangible. Domain Storytelling enables everyone to understand the relevant people, activities, and work items. With this guide, the method's inventors explain how domain experts and teams can work together to capture insights with simple pictographs, show their work, solicit feedback, and get everyone on the same page. Stefan Hofer and Henning Schwentner introduce the method's easy pictographic language, scenario-based modeling techniques, workshop format, and relationship to other modeling methods. Using step-by-step case studies, they guide you through solving many common problems: Fully align all project participants and stakeholders, both technical and business-focused Master a simple set of symbols and rules for modeling any process or workflow Use workshop-based collaborative modeling to find better solutions faster Draw clear boundaries to organize your domain, software, and teams Transform domain knowledge into requirements, embedded naturally into an agile process Move your models from diagrams and sticky notes to code Gain better visibility into your IT landscape so you can consolidate or optimize it This guide is for everyone who wants more effective software--from developers, architects, and team leads to the domain experts, product owners, and executives who rely on it every day. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Developments in Language Theory
This book constitutes the proceedings of the 25th International Conference on Developments in Language Theory, DLT 2021, which was held in Porto, Portugal, during August 16-20, 2021. The conference took place in an hybrid format with both in-person and online participation.The 27 full papers included in these proceedings were carefully reviewed and selected from 48 submissions. The DLT conference series provides a forum for presenting current developments in formal languages and automata. Its scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words, trees and graphs; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; quantum computing. The book also includes 3 invited talks in full paper length.
Delivering Virtual Desktops and Apps with Vmware Horizon 8
Learn all about designing, installing, configuring, and managing VMware Horizon, with a core focus on how to deliver virtual desktops using Horizon. This book allows you to follow the complete process for deploying VMware Horizon and covers the design, deployment, and management of solutions. You'll start by reviewing remote solutions, from virtual desktops to published applications, including the benefits and what the different solutions deliver. Once through the high-level technology you'll then look at the VMware Horizon solution focusing on the architecture and the components that make up the solution and how to design a production-ready environment. Other VMware EUC technologies that complement the core Horizon solution will also be incorporate into it. Armed with the knowledge of how to design a solution, you'll move onto the installation phase and start to build a test lab environment. Once your lab is installed, you'll move onto the configuration stage where you will understand how to build, configure, and optimize virtual desktops, and desktop pools ready for end-users to use. As part of this you will also look at delivering published applications with Horizon Apps. With resources built and configured you can optimize the end-user experience with Horizon clients. The final sections of the book will focus on the other complementary solutions introducing you to VMware App Volumes and VMware Dynamic Environment Manager before finishing with how to manage the solution where we will look at some advanced configuration options and troubleshooting techniques.What You Will LearnSee the core components of VMware Horizon and their functionalityDesign and install a Horizon environmentDeliver the best end-user experienceManage the deployed solutionUse VMware reference architectures to create real-life scenario examplesReview the minimum requirements for designing a solution Who This Book Is For VMware professionals, system integrators, IT professionals, and consultants.
Pro Windows Subsystem for Linux (Wsl)
This book covers everything a developer needs to know to hit the ground running and get the most out of Windows Subsystem for Linux (WSL). Since its release, Windows Subsystem for Linux (WSL) has been growing in popularity, moving from curious early adopters to wide-scale interest, including enterprise development teams using WSL in production. This authoritative guide to WSL covers the gamut, introducing developers to WSL architecture, installation and configuration, the WSL command line, all the way to advanced use cases and performance tunings. Practical examples are sprinkled throughout to reinforce understanding. This book is designed to efficiently and effectively get developers comfortable using this highly useful platform for open-source development on Windows. WSL is uniquely suited to cloud and cross-platform development, and system administrator workflows on Windows. Windows developers will begin with the basics of installation and then be introduced to the vast library of open source tools that they can integrate into their own workflows, using their existing development tools, such as Code, Visual Studio, and JetBrains IDEs. Readers will learn, hands on, about using WSL to develop cross-platform and cloud-native applications, work with containers, and deploy a local Kubernetes cluster on WSL. "Much of what WSL is, is what developers make of it" is expert Barnes' guiding mantra, a theme that is reinforced throughout this valuable cross-platform learning journey. Developers will get excited about the many new opportunities at their fingertips and be astounded at what they can do and achieve with WSL. What You Will Learn Install and configure WSL, a unique and novel configuration processReceive an unbiased overview of WSL, its architecture, installation, the command line, practical use cases, and advanced configurationCreate a development workstation using WSLCompare and contrast the differences between WSL 1 and WSL 2Explore, in depth, some of the more popular workflows in WSL, including Docker containersConsider and plan key factors for a large scale enterprise deployment of WSL Who This Book Is ForDevelopers who need to know WSL and how to build a development stack, integrating it with their preferred code editor or IDE if they so choose; existing Windows and Linux system administrators who want to learn how to install, deploy, and manage WSL; power users who are comfortable in a command line, but may be new to Linux or WSL
Structured Object-Oriented Formal Language and Method
This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.Due to the Corona pandemic this event was held virtually.
Android Programming
This book entitled as ""Android Programming"" to the students of B.C.A. Science, Semester-VI as per the New Syllabus, June 2018-2019. The book covers theory of Introduction to Android, Activities, Fragments and Intents and Android User Interface, Designing Your User Interface with Views, Displaying Pictures and Menus and Databases - SQLite, Messaging and E-mail and Location Based Services and Google Map.
Hands-On Azure Cognitive Services
Use this hands-on guide book to learn and explore cognitive APIs developed by Microsoft and provided with the Azure platform. This book gets you started working with Azure Cognitive Services. You will not only become familiar with Cognitive Services APIs for applications, but you will also be exposed to methods to make your applications intelligent for deployment in businesses.The book starts with the basic concepts of Azure Cognitive Services and takes you through its features and capabilities. You then learn how to work inside the Azure Marketplace for Bot Services, Cognitive Services, and Machine Learning. You will be shown how to build an application to analyze images and videos, and you will gain insight on natural language processing (NLP). Speech Services and Decision Services are discussed along with a preview of Anomaly Detector. You will go through Bing Search APIs and learn how to deploy and host services by using containers. And you will learn how to use Azure Machine Learning and create bots for COVID-19 safety, using Azure Bot Service.After reading this book, you will be able to work with datasets that enable applications to process various data in the form of images, videos, and text.What You Will Learn Discover the options for training and operationalizing deep learning models on AzureBe familiar with advanced concepts in Azure ML and the Cortana Intelligence Suite architectureUnderstand software development kits (SKDs)Deploy an application to Azure Kubernetes Service Who This Book Is ForDevelopers working on a range of platforms, from .NET and Windows to mobile devices, as well as data scientists who want to explore and learn more about deep learning and implement it using the Microsoft AI platform
Logic, Computation and Rigorous Methods
This Festschrift was published in honor of Egon B繹rger on the occasion of his 75th birthday.It acknowledges Prof. B繹rger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon B繹rger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.
Developers Road ahead
The journey from being a developer to becoming an architect is fulfilling by itself. Also, every developer must take the decision that he/she does not want to take the managerial growth path. The journey involves a four steps process, Learn and build methods to update your technical skills, Learn people management, Get highly productive, and Become responsible for your life.[1] [2] You should carry out the four steps in reverse. This book gives you a one-stop shop on how you can become a successful software architect and excel in your career, both personally and professionally.In this book, you will learn the following.●How to ignore politics and still climb the corporate ladder●How to update yourself●How to learn core concepts faster●How to see the big picture when architecting solutions●How to overcome procrastination.●How to overcome the fear of becoming invalid in your company●How to write a quick architecture document for any project
Salt Open
There is a rapid growth of automation in server rooms and data centers. The days of having many administrators running around busily configuring and maintaining servers are gone and have been replaced with droves of Salt-Minions; agents beavering away on the target nodes ensuring the configuration is as specified. This book covers Salt Open (also known as SaltStack Open) from the ground up and shows you how to work with two Linux distributions.You'll see how Salt Open is duplicated with ArubaOS and IOS networking devices, which can be configured without the underlying OS. As you step through the configuration options, you'll learn how to run remote execution modules from the CLI before looking at stateful configuration using SLS files. Moving on, you'll learn how to configure the systems where you also need to monitor your devices and that is when reactors and beacons come into play. Creating beacons to alert the server when thresholds are exceeded, you will be able to create reactors to mitigate the issues identified by the beacons.By the end of this book, you will be able to deploy Salt to your servers and network infrastructure. You will be able to install the Salt-Master and Salt-Minion, executing commands from both the Master and the Minion. The networking devices you need to manage will be controlled through the Salt_Proxy Minions that you have configured. Finally, you will be able to load-balance connections to the master with Salt-Syndic. What You'll Learn Install Salt Services on Ubuntu and CentOS based systems Work with remote execution modules Format YAML files correctly Provide defined configuration using state files Use Salt-Proxy to configure network devicesAutomate the configuration of Linux servers and networking devicesAdd value for both the server and network automation team Who This Book Is ForSystem administrators experienced in Linux administration, who desire to expand their horizons into the world of automation, moving from scripts to states.
Mastering Microsoft Teams
Do you need to learn how to use Microsoft Teams? Are you questioning how to drive user adoption, govern content, and manage access for your Teams deployment? Either way, the second edition of this bestseller is your one-stop-shop to learning everything you need to know to find success with Microsoft Teams. Microsoft's popular chat-based collaboration software has many rich features that enable teams to be more efficient, and save valuable time and resources. However, as with all software, there is a learning curve and pitfalls that should be avoided. Begin by learning the core components and use cases for Teams. From there, the authors guide you through ideas to create governance and adoption plans that make sense for your organization or customer. Wrap up with an understanding of features and services in progress, and a roadmap to the future of the product. What You Will Learn Implement, use, and manage Microsoft TeamsUnderstand how Teams drives productivity and engagement by combining the functionality of Microsoft 365 Groups, SharePoint, OneDrive, Outlook, and other services in one locationGovern, explain, and use Teams in your organizationUse Teams in a structured way to reduce users' time spent in meetingsKnow the pitfalls to avoid that may create challenges in your usage of TeamsBecome familiar with the functionality and components of Teams via walk-throughs, including opportunities for automating business processes in TeamsSee how educators and students can use Teams to improve remote learningBe aware of business productivity in a remote world with Microsoft Viva Who This Book Is ForAnyone who wants to learn Microsoft Teams. To get the most out of the book, a basic understanding of Microsoft 365 and a subscription, including a Microsoft Teams license, is useful.
Cloud Native Integration with Apache Camel
Address the most common integration challenges, by understanding the ins and outs of the choices and exemplifying the solutions with practical examples on how to create cloud native applications using Apache Camel. Camel will be our main tool, but we will also see some complementary tools and plugins that can make our development and testing easier, such as Quarkus, and tools for more specific use cases, such as Apache Kafka and Keycloak. You will learn to connect with databases, create REST APIs, transform data, connect with message oriented software (MOMs), secure your services, and test using Camel. You will also learn software architecture patterns for integration and how to leverage container platforms, such as Kubernetes. This book is suitable for those who are eager to learn an integration tool that fits the Kubernetes world, and who want to explore the integration challenges that can be solved using containers. What You Will Learn Focus on how to solve integration challengesUnderstand the basics of the Quarkus as it's the foundation for the applicationAcquire a comprehensive view on Apache CamelDeploy an application in Kubernetes Follow good practices Who This Book Is For Java developers looking to learn Apache Camel; Apache Camel developers looking to learn more about Kubernetes deployments; software architects looking to study integration patterns for Kubernetes based systems; system administrators (operations teams) looking to get a better understand of how technologies are integrated.
Raspberry Pi IoT In Python Using Linux Drivers
There is a new edition of this book.The Raspberry Pi makes an ideal match for the Internet of Things. To put it to good use in IoT you need two areas of expertise, electronics and programming, and this presents a barrier to getting started. However, there is an overlooked route that can provide a shortcut. Pi OS, the Raspberry Pi's operating system, is Linux- based and Linux drivers are available for many off-the-shelf IoT devices. These provide a very easy-to-use, high-level, way of working. The problem that this book solves is that there is very little documentation to help you get started.Throughout this book you will find a practical approach to understanding electronic circuits and datasheets and translating this to code, specifically using Python. Python is an excellent language for learning about the IoT or physical computing. It might not be as fast as C, but it is much easier to use for complex data processing. The emphasis in this book is on understanding how things work so that you can apply your new knowledge to your own projects. You can use any Python development system that you know, but the programs in the book have been developed using Visual Studio Code and its remote development facilities.The first IoT program anyone writes is "Blinky" to flash an LED and this book is no exception, but it might not be quite what you expect. Instead of using a GPIO line, it uses the Linux LED driver - no hardware and no fuss. The GPIO isn't left out, however, as the next three chapters focus on its use via the new GPIO character driver, which replaces the old and very common sysfs GPIO driver. This is the way to do modern GPIO.A key component in any look at Linux and its relationship to hardware is the relatively new Device Tree. While most accounts of this resource are aimed at device driver writers, this one is aimed at device driver users and to this end we look at several devices, including the DHT22 temperature and humidity sensor. After a brief detour into some basic electronics, we see how Pulse Width Modulation is supported via a driver. From here we tackle the two standard buses, I2C and SPI, first going through the basics and then looking at the two attempts to impose a higher organization, the hardware monitoring system, Hwmon, and Industrial I/O, IIO. The third standard bus, although generally not supported in hardware, is the 1-Wire bus. This is covered in detail and even includes an introduction to using Netlink, which uses the sockets API to send messages to and from the kernel to access the driver. The final chapter takes things to the next level and considers creating your own custom overlays by writing fragments to the device tree.This is the second title jointly authored by Harry Fairhead and Mike James and can be seen as the alternative approach to that outlined in Raspberry Pi IoT In Python Using GPIO Zero. For both books, Harry brings his expertise in electronics and the IoT and Mike contributes the Python code.Harry Fairhead is the author of other IoT-related titles including Raspberry Pi IoT in C, Second Edition; Micro: bit IoT in C, Second Edition; Applying C For The IoT With Linux and Fundamental C: Getting Closer To The Machine.Mike James is the author of Programmer's Python: Everything is an Object and other programming and computer science titles in the I Programmer Library.
Interprocess Communication with Macos
Build highly modular software in macOS that interacts deeply and intuitively with other programs. This book explores all techniques available for Inter-process communications (IPC) from high level macOS layers to deep kernel options while applying theoretical concepts into practical implementations on real world scenarios.You'll see how IPC techniques are used for exchanging data and messages among multiple threads in one or more processes, which may be running on one or more computers connected by a network or running locally. IPC methods can be divided into methods for message passing, synchronization, shared memory, and remote procedure calls (RPC). A poorly conceived IPC can even expose an entire network to over-the-network attacks. Despite the risks, processes and applications absolutely need to communicate with each other across your system and the network. You'll see how these communications facilitate information sharing, computational speedup, modularity, convenience, and privilege separation. In macOS, a program has a number of ways to communicate with other programs. These mechanisms for IPC often exist in different layers of the system. You'll examine how each has its own specific purposes, limitations, and intended scenarios. Some are more suitable than others for code written at a certain level of the system. For example, a kernel extension would not make use of Apple events. Additionally, the book reveals that different users have different rights when it comes to accessing files, changing system wide settings, and so on, depending on whether they are admin users or ordinary users. Running code with root or administrative privileges can intensify the dangers posed by security vulnerabilities. You'll learn that to elevate privileges safely, it is mandatory for the application to perform the task through a secure Helper process.What You'll LearnExpand the capabilities of your programs by sharing data within multiple applicationsUnderstand and dig deep into the world of Helper tools to create apps that need user privilege elevationEnhance the modularity of a system by allowing your applications to interact and share data with a websiteWho This Book Is ForSoftware engineers and architects designing and developing secure applications for macOS and iOS who have hands-on knowledge of Swift with XCode.
Demystifying the Azure Well-Architected Framework
Use the Azure well-architected framework to deploy your workloads in Azure and align them with Microsoft recommended best practices. This book takes a deep dive into the five architecture elements (cost optimization, performance efficiency, operational excellence, reliability, and security) and provides practical guidance on incorporating them into your architecture.The book starts with an introduction to the relevance of the well-architectured framework and why it should form the baseline of your design decisions when deploying applications in Azure. You will learn how customers can optimize the cost of deployment in Azure and understand all aspects of implementation. The book takes you through the practices and processes to be followed to run applications smoothly and you will understand the end-to-end process of design, deployment, and monitoring. You will go through paradigms for designing environments to meet different performance demands. The book covers how to build resilient and highly available applications in Azure with a sample configuration for monitoring. And you will learn how to enable security to ensure confidentiality and integrity of workloads in Azure.After reading this book, you will know the practical nuances of designing high-performing applications in the Microsoft cloud. What You Will LearnUnderstand the five pillars of the well-architected frameworkUse tools and services to optimize costDesign for performance efficiencyDeal with threat vectors in the cloud Who This Book Is ForSolution architects and cloud teams in Azure
Mastering Swift Package Manager
Maintaining an iOS project often results in thousands of code files scattered around your folders. Did you ever wanted to reuse those files with other projects but found yourself making copies of Swift files? You are not alone! Many iOS developers struggle with this issue as well--unorganized projects, duplicated files, difficulty in testing, and long complication times. This book will show how Swift Package Manager can help you handle these problems by restructuring your project to make it efficient and straightforward. Swift Package Manager isn't magic, but you'll likely need a little guidance in using this nifty tool. You'll see how to reorganize projects smartly and efficiently, create your first Swift package, and learn what libraries are in this context. Then share your package with the rest of your projects. Next test your library's quality. And then take your library to the next level of power by including files that go beyond just code. By going over the methodology of big project organization, you will have the ability to extend your project into the future as Apple sees it. Make no mistake--the path for a modular and flexible project is not easy. With the help of Swift Package Manager, it becomes possible and worth it. What You'll LearnCreate a Swift package both from the command line and from Xcode Manage Swift packages in public and private Git repositories Build test suites to test integrations between packagesWho This Book Is For Senior iOS developers and team leaders who already have professional experience with Swift.
Supercharge Your Applications with GraalVM
Understand the internals and architecture of GraalVM with the help of hands-on experiments and gain deep knowledge that you can apply to improve your application's performance, interoperability, and throughput.Key Features: Generate faster and leaner code with minimum computing resources for high performanceCompile Java applications faster than ever to a standalone executable called native imagesCreate high-performance polyglot applications that are compatible across various JVM and non-JVM languagesBook Description: GraalVM is a universal virtual machine that allows programmers to compile and run applications written in both JVM and non-JVM languages. It improves the performance and efficiency of applications, making it an ideal companion for cloud-native or microservices-based applications.This book is a hands-on guide, with step-by-step instructions on how to work with GraalVM. Starting with a quick introduction to the GraalVM architecture and how things work under the hood, you'll discover the performance benefits of running your Java applications on GraalVM. You'll then learn how to create native images and understand how AOT (ahead-of-time) can improve application performance significantly. The book covers examples of building polyglot applications that will help you explore the interoperability between languages running on the same VM. You'll also see how you can use the Truffle framework to implement any language of your choice to run optimally on GraalVM.By the end of this book, you'll not only have learned how GraalVM is beneficial in cloud-native and microservices development but also how to leverage its capabilities to create high-performing polyglot applications.What You Will Learn: Gain a solid understanding of GraalVM and how it works under the hoodWork with GraalVM's high performance optimizing compiler and see how it can be used in both JIT (just-in-time) and AOT (ahead-of-time) modesGet to grips with the various optimizations that GraalVM performs at runtimeUse advanced tools to analyze and diagnose performance issues in the codeCompile, embed, run, and interoperate between languages using Truffle on GraalVMBuild optimum microservices using popular frameworks such as Micronaut and Quarkus to create cloud-native applicationsWho this book is for: This book is for JVM developers looking to optimize their application's performance. You'll also find this book useful if you're a JVM developer looking to explore options to develop polyglot applications using tools from the Python, R, Ruby, or Node.js ecosystem. A solid understanding of software development concepts and prior experience working with programming languages is necessary to get started.
Modern App Development with Dart and Flutter 2
The book introduces the programming language Dart, the language used for Flutter programming. It then explains the basics of app programming with Flutter in version 2. Using practical examples such as a games app, a chat app and a drawing app, important aspects such as the handling of media files or the connection of cloud services are explained. The programming of mobile as well as desktop applications is discussed. New important features of Dart 2.12 and Flutter 2 are described: - Null safety - Desktop Applications Targeted readers are people with some background in programming, such as students or developers. The sample projects from the book are available for download on the following GitHub repository: https: //github.com/meillermediaOver time, more branches may be added. However, the default branches are those that correspond to the state in the book.
SQL Server on Kubernetes
Build a modern data platform by deploying SQL Server in Kubernetes. Modern application deployment needs to be fast and consistent to keep up with business objectives and Kubernetes is quickly becoming the standard for deploying container-based applications, fast. This book introduces Kubernetes and its core concepts. Then it shows you how to build and interact with a Kubernetes cluster. Next, it goes deep into deploying and operationalizing SQL Server in Kubernetes, both on premises and in cloud environments such as the Azure Cloud.You will begin with container-based application fundamentals and then go into an architectural overview of a Kubernetes container and how it manages application state. Then you will learn the hands-on skill of building a production-ready cluster. With your cluster up and running, you will learn how to interact with your cluster and perform common administrative tasks. Once you can admin the cluster, you will learn how to deploy applications and SQL Server in Kubernetes. You will learn about high-availability options, and about using Azure Arc-enabled Data Services. By the end of this book, you will know how to set up a Kubernetes cluster, manage a cluster, deploy applications and databases, and keep everything up and running.What You Will LearnUnderstand Kubernetes architecture and cluster componentsDeploy your applications into Kubernetes clustersManage your containers programmatically through API objects and controllersDeploy and operationalize SQL Server in KubernetesImplement high-availability SQL Server scenarios on Kubernetes using Azure Arc-enabled Data ServicesMake use of Kubernetes deployments for Big Data ClustersWho This Book Is ForDBAs and IT architects who are ready to begin planning their next-generation data platform and want to understand what it takes to run SQL Server in a container in Kubernetes. SQL Server on Kubernetes is an excellent choice for those who want to understand the big picture of why Kubernetes is the next-generation deployment method for SQL Server but also want to understand the internals, or the how, of deploying SQL Server in Kubernetes. When finished with this book, you will have the vision and skills to successfully architect, build and maintain a modern data platform deploying SQL Server on Kubernetes.
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.The 22 full papers presented together with 2 keynote papers in this volume were carefully reviewed and selected from 39 submissions. The focus of the conference is on the following topics: application of concurrency to system design; games; verification; synthesis and mining; reachability and partial order; semantics; and tools.
End-User Development
This book constitutes the proceedings of the 8th International Conference on End-User Development, IS-EUD 2021, held in July 2021. Due to COVID-19 pandemic the conference was held virtually.The paper track received 26 submissions, of which 11 full and 4 short papers were selected after a rigorous double-blind review process. The papers focus on "Democratizing AI development", namely on EUD for AI-based systems, where end users are called-on to become end-user developers of intelligent agents, digital twins, collaborative systems and social robots.
React to Python
Learn to create responsive front-end web applications in Python using the React and Material-UI JavaScript libraries without having to program in JavaScript! How is this possible? By using the Transcrypt transpiler that turns your Python code into JavaScript.Let's face it, JavaScript is the way of the web, and Python doesn't run in a web browser. BUT, just like the popular TypeScript language that gets compiled into JavaScript to run in a web browser, Transcrypt does the same thing for Python. Because of the way Transcrypt maps Python data types and language constructs to JavaScript, your Python code is able to directly utilize the full ecosystem of JavaScript libraries that exist, taking advantage of existing web application technologies rather than trying to replace them.Using a Python-centric viewpoint, this book outlines the developer tools and software libraries needed to develop front-end web applications with Python, specifically focusing on the popular React library and open-source Material-UI library that includes a collection of React components based on Google's Material Design user interface specification. In addition to chapters covering how to implement specific application features, in a learn-by-doing fashion, the last section of the book walks you through building a fully functional example application from start to finish, giving you an idea of how everything fits together.While this book isn't necessarily meant for beginning programmers, if you are already familiar with Python and want to create front-end web applications but don't want to have to delve into the complexities of a full JavaScript ecosystem, don't want to have to keep switching back and forth between languages for the same full-stack application, or if you just don't care to program in JavaScript in general, the approach taken in this book gives you another option using Python.
The Fast-Track Guide to Vxlan Bgp Evpn Fabrics
Master the day-to-day administration and maintenance procedures for existing VXLAN fabrics. In this book you'll discuss common issues and troubleshooting steps to help you keep your environment in stable operation. The Fast-Track Guide to VXLAN BGP EVPN Fabrics is a guide for network engineers and architects who can't spend too much time learning everything about VXLAN. It has been created with the end goal of providing you with a straightforward approach to understand, implement, administer, and maintain VXLAN BGP EVPN-based data center networks. Using this book, you will understand Virtual Extensible LAN (VXLAN) as a technology that combines network virtualization and service provider class network attributes to solve the performance and scalability limitations in a three-tier design. You will learn to combine multiple links and provide equal-cost multipathing to effortlessly scale speed requirements without being worried about potential loops. You will learn VXLAN BGP EVPN configuration procedures with graphical step-by-step examples. You will be introduced to foundational concepts in VXLAN without the need to go over hundreds of documentation pages. This book is a clear and precise guide to implementing a spine and leaf architecture running with VXLAN. It explains how to perform day-to-day maintenance and administration tasks after implementing your first VXLAN fabric. It also explains how to integrate external devices such as firewalls, routers, and load balancers to VXLAN; how to leverage your VXLAN fabric; and how to create multiple tenant networks to secure your critical infrastructure. What You Will Learn Discover the advantages of a VXLAN spine and leaf fabric over a traditional three-tier network designWork with the BGP L2VPN EVPN control plane VXLANExamine the purpose of underlay and overlay in VXLANUse multitenancy and tenant anycast gatewaysConnect your VXLAN fabric to external networks Who This Book Is For Senior network engineers, solutions architects, and data center engineers.
Active Applied Discrete Structures
Active Applied Discrete Structures consists of a collection of reading assignments designed for use in a "flipped" class format using Applied Discrete Structures (http: //discretemath.org).
