Simple Type Theory
This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas.The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first-order logic. It presents a practice-oriented logic called Alonzo that is based on Alonzo Church's formulation of simple type theory known as Church's type theory. Unlike traditional predicate logics, Alonzo admits undefined expressions. The book illustrates, using Alonzo, how simple type theory is suited ideally for reasoning about mathematical structures and constructing libraries of mathematical knowledge.Topics and features: Offers the first book-length introduction to simple type theory as a predicate logicProvides the reader with a logic that is close to mathematical practicePresents the tools needed to build libraries of mathematical knowledgeEmploys two semantics, one for mathematics and one for logicEmphasizes the model-theoretic view of predicate logicIncludes several important topics, such as definite description and theory morphisms, not usually found in standard logic textbooksAimed at students of computing and mathematics at the graduate or upper-undergraduate level, this book is also well-suited for mathematicians, computing professionals, engineers, and scientists who need a practical logic for expressing and reasoning about mathematical ideas.William M. Farmer is a Professor in the Department of Computing and Software at McMaster University in Hamilton, Ontario, Canada.
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Internet of Things
This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20-23, 2022. The 33 full papers included in this book were carefully reviewed andselected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and real implementations; ioT security, privacy and data protection; and ioT pilots, testbeds and experimentation results.
Trends in Functional Programming
This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area.
macOS by Tutorials (First Edition)
Learn macOS development!You're an experienced iOS developer and have always wanted to develop a native macOS app. But, you have no idea where to begin.Never fear! macOS by Tutorials is here to guide you. You'll be creating your own beautiful macOS apps in no time!Who This Book is ForThis book is for developers with some experience developing for iOS and who are familiar with Swift, Xcode and SwiftUI.Topics Covered in macOS by TutorialsBuilding a Native App: Use SwiftUI to build a complete, beautiful, native macOS app with full multiple window support.Planning and Prototyping: Learn how to plan and prototype data models. Once you're happy with the prototype, you'll incorporate your model into a full-featured app.Making Menu Bar Apps: Learn how to build an app that lives solely in the macOS menu bar.Creating Document-based Apps: Learn how to build an app that manages its own document type.Building a GUI front end: See how to create a graphical user interface for a system command line command.Building Services and Shortcuts: Explore how to enable automation in your app so it can be used from the Services menu and the Shortcuts app.Distributing Your App: Explore the options available for distributing your macOS apps.One thing you can count on: after reading this book, you'll be prepared to create and distribute your own native macOS apps.
Design in Object Technology 2
The classic, tour-de-force course on agile software development brought up to date with the backstories from the time and reflections on what is still relevant, from the original author and world-renowned agile manifesto co-author Dr. Alistair Cockburn. That course in 1994 contained all the key concepts used in today's software development world: object-oriented design, incremental development, use cases and modern project management. Now, Dr. Cockburn reflects on the course content: What were the backstories behind the ideas then becoming mainstream?What does he think of them now, almost 30 years later? These are fresh, unique, and never-before-published thoughts. This book offers a rare glimpse into a moment in time where the standards and practices of object technology were being chartered by the leaders of the day. It brings that up to date with the commentary on backstories and current thoughts. Readers who already know the concepts will enjoy seeing how they were presented, will enjoy the backstories, and can compare their thoughts on his modern reflections. Newcomers will learn subtleties of techniques they may only have heard of. Everyone will enjoy the depth and liveliness of this remarkable course brought up to date. Dr. Cockburn was named "42 Greatest Software Professionals of All Times." A world expert on methodologies, project management, software architecture, use cases and agile development, he co-authored both the Agile Manifesto and the Project Management Declaration of Inter- dependence. He was one of the leading methodologists in the new area of object-oriented design in the early 1990s. Hired by the IBM Consulting Group to create their methodology for object-technology projects, he taught the entire design team on a live project all they would need to know to run the project they were embarking on. It was a tour-de-force of project education, complete from project management tips to requirements gathering to software design. It set the stage for modern "agile" development techniques. This book is that course, with backstories and current thoughts.
Establishing SRE Foundations
Improve Your Service Scalability and Reliability with SRE Pioneered by Google to create more scalable and reliable large-scale systems, Site Reliability Engineering (SRE) has become one of today's most valuable software innovation opportunities. Establishing SRE Foundations is a concise, practical guide that shows how to drive successful SRE adoption in your own organization. Dr. Vladyslav Ukis presents a step-by-step approach to establishing the right cultural, organizational, and technical process foundations, quickly achieving a "minimum viable SRE" and continually improving from there. Dr. Ukis draws extensively on his own experiences leading an SRE transformation journey at a major healthcare company. Throughout, he answers specific questions that organizations ask about SRE, identifies pitfalls, and shows how to avoid or overcome them. Whatever your role in software development, engineering, or operations, this guide will help you apply SRE to improve what matters most: user and customer experience. Understand how SRE works, its role in software operations, and the challenges of SRE transformation Assess your organization's current operations and readiness for SRE transformation Achieve organizational buy-in and initiate foundational activities, including SLO definitions, alerting, on-call rotations, incident response, and error budget-based decision-making Align organizational structures to support a full SRE transformation Measure the progress and success of your SRE initiative Sustain and advance your SRE transformation beyond the foundations "The techniques and principles of SRE are not only clearly defined here, but also the rationale behind them is explained in a way that will stick. This is not some dry definition, this is practical, usable understanding. . . . I can whole-heartedly recommend this book without any reservation. This is a very good book on an important topic that helps to move the game forward for our discipline!"--From the Foreword by David Farley, Founder and CEO of Continuous Delivery Ltd. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
What Every Engineer Should Know about Software Engineering
This book offers a practical approach to understanding, designing, and building sound software based on solid principles. Using a unique Q&A format, this book addresses the issues that engineers need to understand in order to successfully work with software engineers, develop specifications for quality software, and learn the basics of the most common programming languages, development approaches, and paradigms. The new edition is thoroughly updated to improve the pedagogical flow and emphasize new software engineering processes, practices, and tools that have emerged in every software engineering area.Features: Defines concepts and processes of software and software development, such as agile processes, requirements engineering, and software architecture, design, and construction. Uncovers and answers various misconceptions about the software development process and presents an up-to-date reflection on the state of practice in the industry. Details how non-software engineers can better communicate their needs to software engineers and more effectively participate in design and testing to ultimately lower software development and maintenance costs. Helps answer the question: How can I better leverage embedded software in my design? Adds new chapters and sections on software architecture, software engineering and systems, and software engineering and disruptive technologies, as well as information on cybersecurity. Features new appendices that describe a sample automation system, covering software requirements, architecture, and design. This book is aimed at a wide range of engineers across many disciplines who work with software.
Cracking C Programming Interview
Develop strong understanding of C principles through popular challenges and solutions KEY FEATURES ● Extensive coverage of C principles and its applications with a thorough explanation.● Includes 500+ interview questions on C data structures, arrays, with detailed solutions.● Perfect for campus interviews and GATE, ISRO, and BARC career exams. DESCRIPTION "Cracking C Programming Interview" gives aspiring programmers and job seekers every opportunity to prepare for and succeed in competitive interviews with companies that work in the technology industry. This book provides the most comprehensive information available on solutions and coding scenario examples for you to practice with. Furthermore, the book includes hundreds of difficult programming tasks and coding situations. This book ensures that applicable C programming principles, and the suitable selection of data structures are applied in every question, and problem statement presented. By assisting you in strengthening your programming principles and most competitive interview questions, this book keeps the potential to serve as a doorway to major technology incubators such as Amazon, Facebook, Google, VMware, and Microsoft. WHAT YOU WILL LEARN● Unleash answers to extensive C programming questions interviewed in technology companies.● Range of scenarios and examples to explore programming strategies.● Learn to distinguish among compile, link, and load time errors.● Understand procedural programming and the memory layout of a running C program.● Using examples, learn about structs, pointers, arrays, strings, etc.WHO THIS BOOK IS FORThis book targets aspiring programmers, job seekers, recent IT grads, and professional developers who want to brush up on their knowledge of C fundamentals through questions and problems and expert solutions.
Kubernetes Programming with Go
This book begins by introducing the structure of the Kubernetes API and which operations it serves. Following chapters demonstrate how to write native Kubernetes resources definitions using Go structures defined in the API and API Machinery libraries. Miscellaneous utilities are described to help you work with different resource fields and to convert your resource definitions to or from YAML or JSON. Next, you will learn how to interact with the Kubernetes API server to create, delete, update, and monitor resources in a cluster using the client-go library. A complete chapter is devoted to tools provided to test your programs using the client-go library. An example follows to wrap up the first part of the book, describing how to write a kubectl plugin. Next, you will learn how to extend the Kubernetes API using Custom Resource Definitions, and how to write Kubernetes resources in a generic way as well as how to create your own resources using the unstructured concept. The next chapters delve into the controller-runtime library, useful for extending Kubernetes by writing operators, and the kubebuilder framework, which leverages this library, to help you start writing operators in minutes. After reading this book, you will have a deep understanding of the Kubernetes API's structure and how Kubernetes resources are organized within it, and have at your disposal a complete toolbox to help you write Kubernetes clients and operators. What You Will Learn Understand how the Kubernetes API and its resources are organizedWrite Kubernetes resources in GoCreate resources in a clusterLeverage your newly-gained knowledge to write Kubernetes clients and operators Who is this Book for: Software engineers and (Site Reliability Engineers) SREs wishing to write Kubernetes clients and operators using the Go language.
Beyond Effective Go
Are you an experienced Go developer that wants to be more productive? Do you want to write cleaner, faster, and easier to maintain code?Then the Beyond Effective Go book series is for you.This series is aimed at competent Gophers. It does not mess around with the basics but instead dives right into the daily problems that professional programmers face. Chiefly, how to write fast, robust applications and services that can be maintained and extended as requirements change.Unlike most books, Beyond Effective Go focuses on the programmer and the code by addressing the four critical aspects of programming in Go - developer productivity, application performance, code quality, and depth of understanding of the language and tools.This book, Part 1 of the series, focuses on achieving high-performance code. You will learn which aspects of your application or code to focus on and when. You will have a suite of tools, software patterns, and recipes at your disposal to make your life easier. After reading, you will: Understand the differences between Concurrency and Parallelism.Identify and avoid concurrency issues like deadlock, starvation, livelock, and data races.Understand the various concurrency interaction patterns and be able to apply the one that best fits the problem at hand.Take a deep dive into Go's concurrency primitives and be able to apply them expertly but also avoid many of their gotchas.Be able to diagnose concurrency and performance issues using Go's profiler, execution tracing, and benchmarking tools.Be able to identify when code needs optimizing, what needs optimizing and how.Have a catalog of concurrency and performance patterns that you can quickly apply to your projects.
A Graphics Toolkit
A Graphics Toolkit teaches you the art of creating graphical libraries for use in games and other programs on the Apple II computer. Tutorial articles guide you through machine language and BASIC programs that can be used in your own games. Features: - Intricacies of graphics on the Apple II and general graphics algorithms. are explored, along with creation of the tools needed to make your own graphics and graphics routines. - Tutorials for many wonderful routines include: Hi-Res Graphics, HGR and HGR2, Hi-Res Graphics, Line-Drawing, Graphics Windows, Special Effects, Shape-Drawing, Block Shapes, Animation, Double Buffering, Non-Animation Shapes, Shapes Partially Within the Graphics Window, and many Demos. Routines are available on a disk image. - Based on the popular "Graphics Toolkit" articles from 1984 to 1986 in Call-A.P.P.L.E. magazine. - Some knowledge of 6502 assembly language and Applesoft BASIC is helpful, as well as Apple II graphics in general.
Big Computer Games
Third in the Creative Computing series of best-selling computer games books, Big Computer Games contains 12 challenging games for solo and group play - Lost & Forgotten Island, Trucker, Dukedom, Cribbage, Star Merchant, Mu-Torere, Streets of the City, Eliza, Presidential Campaign, Monster Combat, Survival, and Rollercoaster. Also included are sections on how to write your own adventure game and how to integrate action video with your computer games. This "Enhanced Edition" has a new preface from David H. Ahl. Program listings, sample runs, and descriptions are presented with each game, and all games are written in standard Microsoft Basic, which is adaptable to most micro-computers. David H. Ahl is the editor-in-chief and founder of Creative Computing magazine
Pragmatic Test-Driven Development in C# and .NET
Build realistic applications with both relational and document databases and derive your code design using TDD. Unit test with xUnit and NSubstitute and learn concepts like DDD, SUT, Mocks, Fakes, Test Doubles, SOLID, and FIRSTHANDKey Features: Build a full TDD-based app employing familiar tools and libraries to practice real-world scenariosDerive your architecture using TDD with domain-driven design and SOLID approachKnow the challenges of rolling out TDD and unit testing into your organization and build a planBook Description: Test-driven development is a manifesto for incrementally adding features to a product but starting with the unit tests first. Today's project templates come with unit tests by default and implementing them has become an expectation. It's no surprise that TDD/unit tests feature in most job specifications and are important ingredients for most interviews and coding challenges. Adopting TDD will enforce good design practices and expedite your journey toward becoming a better coding architect.This book goes beyond the theoretical debates and focuses on familiarizing you with TDD in a real-world setting by using popular frameworks such as ASP.NET Core and Entity Framework. The book starts with the foundational elements before showing you how to use Visual Studio 2022 to build an appointment booking web application. To mimic real-life, you'll be using EF, SQL Server, and Cosmos, and utilize patterns including repository, service, and builder. This book will also familiarize you with domain-driven design (DDD) and other software best practices, including SOLID and FIRSTHAND.By the end of this TDD book, you'll have become confident enough to champion a TDD implementation. You'll also be equipped with a business and technical case for rolling out TDD or unit testing to present to your management and colleagues.What You Will Learn: Writing unit tests with xUnit and getting to grips with dependency injectionImplementing test doubles and mocking with NSubstituteUsing the TDD style for unit testing in conjunction with DDD and best practicesMixing TDD with the ASP.NET API, Entity Framework, and databasesMoving to the next level by exploring continuous integration with GitHubGetting introduced to advanced mocking scenariosChampioning your team and company for introducing TDD and unit testingWho this book is for: This book is for mid to senior-level .NET developers looking to use the potential of TDD to develop high-quality software. Basic knowledge of OOP and C# programming concepts is assumed but no knowledge of TDD or unit testing is expected. The book provides in-depth coverage of all the concepts of TDD and unit testing, making it an excellent guide for developers who want to build a TDD-based application from scratch or planning to introduce unit testing into their organization.
Wireshark for Network Forensics
With the advent of emerging and complex technologies, traffic capture and analysis play an integral part in the overall IT operation. This book outlines the rich set of advanced features and capabilities of the Wireshark tool, considered by many to be the de-facto Swiss army knife for IT operational activities involving traffic analysis. This open-source tool is available as CLI or GUI. It is designed to capture using different modes, and to leverage the community developed and integrated features, such as filter-based analysis or traffic flow graph view. You'll start by reviewing the basics of Wireshark, and then examine the details of capturing and analyzing secured application traffic such as SecureDNS, HTTPS, and IPSec. You'll then look closely at the control plane and data plane capture, and study the analysis of wireless technology traffic such as 802.11, which is the common access technology currently used, along with Bluetooth. You'll also learn waysto identify network attacks, malware, covert communications, perform security incident post mortems, and ways to prevent the same. The book further explains the capture and analysis of secure multimedia traffic, which constitutes around 70% of all overall internet traffic. Wireshark for Network Forensics provides a unique look at cloud and cloud-native architecture-based traffic capture in Kubernetes, Docker-based, AWS, and GCP environments. What You'll LearnReview Wireshark analysis and network forensicsStudy traffic capture and its analytics from mobile devicesAnalyze various access technology and cloud trafficWrite your own dissector for any new or proprietary packet formatsCapture secured application traffic for analysisWho This Book Is ForIT Professionals, Cloud Architects, Infrastructure Administrators, and Network/Cloud Operators
String Processing and Information Retrieval
This book constitutes the refereed proceedings of the 29th International Symposium on String Processing and Information Retrieval, SPIRE 2022, held in Concepci籀n, Chile, in November 2022.The 23 full papers presented in this volume were carefully reviewed and selected from 43 submissions. They cover topics such as: data structures; algorithms; information retrieval; compression; combinatorics on words; and computational biology.
Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage
This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021. The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The papers are organized in topical sections on ​scientific innovations in the diagnosis and preservation of cultural heritage; digital heritage a holistic approach; preservation, reuse and reveal of cultural heritage through sustainable land management, rural and urban development to recapture the world in crisis through culture.
Theory and Applications of Models of Computation
This book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022. The 33 full papers were carefully reviewed and selected from 75 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory, and foundations of artificial intelligence.
Runtime Verification
This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.
Mathematics of Program Construction
This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.
Practical Database Auditing for Microsoft SQL Server and Azure SQL
Know how to track changes and key events in your SQL Server databases in support of application troubleshooting, regulatory compliance, and governance. This book shows how to use key features in SQL Server, such as SQL Server Audit and Extended Events, to track schema changes, permission changes, and changes to your data. You'll even learn how to track queries run against specific tables in a database. Not all changes and events can be captured and tracked using SQL Server Audit and Extended Events, and the book goes beyond those features to also show what can be captured using common criteria compliance, change data capture, temporal tables, or querying the SQL Server log. You will learn how to audit just what you need to audit, and how to audit pretty much anything that happens on a SQL Server instance. This book will also help you set up cloud auditing with an emphasis on Azure SQL Database, Azure SQL Managed Instance, and AWS RDS SQL Server. You don't need expensive, third-party auditing tools to make auditing work for you, and to demonstrate and provide value back to your business. This book will help you set up an auditing solution that works for you and your needs. It shows how to collect the audit data that you need, centralize that data for easy reporting, and generate audit reports using built-in SQL Server functionality for use by your own team, developers, and organization's auditors. What You Will LearnUnderstand why auditing is important for troubleshooting, compliance, and governanceTrack changes and key events using SQL Server Audit and Extended EventsTrack SQL Server configuration changes for governance and troubleshootingUtilize change data capture and temporal tables to track data changes in SQL Server tablesCentralize auditing data from all yourdatabases for easy querying and reportingConfigure auditing on Azure SQL, Azure SQL Managed Instance, and AWS RDS SQL Server Who This Book Is ForDatabase administrators who need to know what's changing on their database servers, and those who are making the changes; database-savvy DevOps engineers and developers who are charged with troubleshooting processes and applications; developers and administrators who are responsible for generating reports in support of regulatory compliance reporting and auditing
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.
The Art of Site Reliability Engineering (Sre) with Azure
Gain a foundational understanding of SRE and learn its basic concepts and architectural best practices for deploying Azure IaaS, PaaS, and microservices-based resilient architectures. The book starts with the base concepts of SRE operations and developer needs, followed by definitions and acronyms of Service Level Agreements in real-world scenarios. Moving forward, you will learn how to build resilient IaaS solutions, PaaS solutions, and microservices architecture in Azure. Here you will go through Azure reference architecture for high-available storage, networking and virtual machine computing, describing Availability Sets and Zones and Scale Sets as main scenarios. You will explore similar reference architectures for Platform Services such as App Services with Web Apps, and work with data solutions like Azure SQL and Azure Cosmos DB. Next, you will learn automation to enable SRE with Azure DevOps Pipelines and GitHub Actions. You'll also gain an understanding of how an open culture around post-mortems dramatically helps in optimizing SRE and the overall company culture around managing and running IT systems and application workloads. You'll be exposed to incent management and monitoring practices, by making use of Azure Monitor/Log Analytics/Grafana, which forms the foundation of monitoring Azure and Hybrid-running workloads. As an extra, the book covers two new testing solutions: Azure Chaos Studio and Azure Load Testing. These solutions will make it easier to test the resilience of your services. After reading this book, you will understand the underlying concepts of SRE and its implementation using Azure public cloud.What Will You Learn: Learn SRE definitions and metrics like SLI/SLO/SLA, Error Budget, toil, MTTR, MTTF, and MTBFUnderstand Azure Well-Architected Framework (WAF) and Disaster Recovery scenarios on AzureUnderstand resiliency and how to design resilient solutions in Azure for different architecture types and servicesMaster core DevOps concepts and the difference between SRE and tools like Azure DevOps and GitHubUtilize Azure observability tools like Azure Monitor, Application Insights, KQL or GrafanaUnderstand Incident Response and Blameless Post-Mortems and how to improve collaboration using ChatOps practices with Microsoft tools Who Is This Book For: IT operations administrators, engineers, security team members, as well as developers or DevOps engineers.
Access 2021 / Microsoft 365 Programming by Example
Updated for Access 2021 and based on the bestselling editions from previous versions, Access 2021 / Microsoft 365 Programming by Example is a practical, how-to book on Access programming, suitable for readers already proficient with the Access user interface (UI). If you are looking to automate Access routine tasks, this book will progressively introduce you to programming concepts via numerous illustrated hands-on exercises. More advanced topics are demonstrated via custom projects. With concise and straightforwardexplanations, you learn how to write and test your programming code with the built-in Visual Basic Editor; understand and use common VBA programming structures such as conditions, loops, arrays, collections and dictionaries; code a "message box"; reprogram characteristics of a database; and use various techniques to query and manipulate your Access .mdb and .accdb databases. The book shows you how you can build database solutions with Data Access Objects (DAO) and ActiveX Data Objects (ADO); define database objects and manage database security with SQL; enhance and alter the way users interact with database applications with Ribbon customizations and event programming in forms and reports. You also learn how to use Access with XML and REST API. The book includes a comprehensive disc with source code, supplemental files, and color screen captures (also available from the publisher for download). FEATURES: Contains 28 chapters loaded with illustrated "Hands-On" exercises and projects that guide you through the VBA programming language. Each example tells you exactly where to enter code, how to test it and run it.Explains how to store data for further manipulation in variables, arrays, collections, and in a VBA Dictionary object while teaching you to write both simple and complex VBA programming routines and functions.Teaches you how to programmatically create and access database tables and fields, enforce data integrity and relationships between tables.Includes a comprehensive disc with source code, supplemental files, and color screen captures (also available from the publisher for download).
An Introduction to Design Science
This book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on presenting design science studies and ethical principles for design science, and also offers novel instruments for visualizing the results, both in the form of process diagrams and through a canvas format. While the book does not presume any prior knowledge of design science, it provides readers with a thorough understanding of the subject and enables them to delve into much deeper detail, thanks to extensive sections on further reading. Design science in information systems and technology aims to create novel artifacts in the form of models, methods, and systems that support people in developing, using and maintaining IT solutions. This work focuses on design science as applied to information systems and technology, but it alsoincludes examples from, and perspectives of, other fields of human practice. Chapter 1 provides an overview of design science and outlines its ties with empirical research. Chapter 2 discusses the various types and forms of knowledge that can be used and produced by design science research, while Chapter 3 presents a brief overview of common empirical research strategies and methods. Chapter 4 introduces a methodological framework for supporting researchers in doing design science research as well as in presenting their results. This framework includes five core activities, which are described in detail in Chapters 5 to 9. Chapter 10 discusses how to communicate design science results, while Chapter 11 compares the proposed methodological framework with methods for systems development and shows how they can be combined. Chapter 12 discusses how design science relates to research paradigms, in particular to positivism and interpretivism, and Chapter 13 discusses ethical issues and principles for design science research. The new Chapter 14 showcases a study on digital health consultations and illustrates the whole process in one comprehensive example. Also added to this 2nd edition are a number of sections on practical guidelines for carrying out basic design science tasks, a discussion on design thinking and its relationship to design science, and the description of artefact classifications. Eventually, both the references in each chapter and the companion web site were updated to reflect recent findings.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 21 regular papers presented together with 5 tool papers and 1 invited paper were carefully reviewed and selected from 81 submissions.The papers are divided into the following topical sub-headings: reinforcement learning; program analysis and verification; smt and verification; automata and applications; active learning; probabilistic and stochastic systems; synthesis and repair; and verification of neural networks.
Technologies and Innovation
This book constitutes the refereed proceedings of the 8th International Conference, CITI 2022, held in Guayaquil, Ecuador, during November 14-17, 2022.The 19 full papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in topical sections as follows: machine Learning; knowledge based systems; computer vision and image analysis; networks, monitoring and collaborative systems; apps and user interfaces.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.
Advances in Computing
This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogot獺, Colombia, during November 22-26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Artificial intelligence; educational informatics; and information systems.
Engineering Software for Modern Challenges
This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on ​software engineering; intelligent systems; software quality.
A Software Engineer’s Guide to Seniority
There are few books in the market that talk about the effort within and outside of the job that helps software engineers advance in their careers. This book is a truthful and introspective look at technical careers and a consolidation of that information and advice for engineers that are looking to elevate their career to the senior level. While charting a path to becoming a senior software engineer you'll study how to handle the obligations and complexities involved in that role. While most of the software engineer job is exploratory and involves learning new things nearly every day, this book will show you how to be a manager, a leader, and to achieve seniority in your tech role. From learning how to optimize your resume to knowing how to interview for positions on your team to helping your team grow and develop their own skills and career, this is a book that all software engineers need. What You'll LearnOptimize your resume for applicationsStandard tips for interviewing in software engineer positionsBecome a mentor and leader at your jobWho This Book Is ForEntry to mid-level software engineers working in a corporate environment
Backend Developer in 30 Days
Build stronger support system to power your enterprise applications KEY FEATURES ● Figure out the most important elements of backend and application development.● Know how to construct large-scale, distributed applications using industry best practices and software architecture principles.● Provides a career map for becoming a successful backend developer, including advice on skills and tools. DESCRIPTION In today's world, becoming an experienced backend developer is a difficult job that requires a lot of work. There are an excessive number of stacks and technologies to master, and new ones often gain popularity. Nonetheless, they share the same fundamental concepts: data storage, security, performance, testing, etc.This book aims to teach and train you to become a successful backend developer with a solid skill set in developing and implementing the real engine of a successful enterprise application. Implementation topics like setting up a web server, designing and developing APIs, creating and running automated tests, and working with various types of databases are all addressed in detail. The book prepares developers to maintain the safety and security of their applications through the use of procedures that avoid application and data breaches. While you learn about every part of backend development, the book teaches you how to deal with errors and find and fix problems.By the end of the book, you will have a firm grasp on the fundamental principles that underpin backend programming, including application architectures, design patterns, essential development activities, and help for debugging. WHAT YOU WILL LEARN● Gain knowledge to build the momentum of a solid backend developer and choose areas to investigate in depth.● Learn to integrate backend development as the top tech businesses do.● Comprehend the distinction between SQL and NoSQL, containers, APIs, and web servers.● Design large-scale systems step-by-step.● Grow from junior backend developer to senior developer, including the required skills and responsibilities.WHO THIS BOOK IS FORThis book would greatly benefit readers who are new to backend operations for web and mobile apps, such as junior software developers, web developers, application developers, and frontend and backend coders. Basic programming skills will help you practice this book's learnings. AUTHOR BIO Pedro Marquez is a full-stack software developer with a Master of Science in Computer Science and Machine Learning. He has more than 10 years of professional experience in multiple roles that cover application security, back-end, front-end development, and infrastructure development. He currently works as a full-stack engineer at LinkedIn.
A Friendly Guide to Software Development
Software is everywhere, but despite being so common and useful, it remains magical and mysterious to many. Still, more and more people are finding themselves working for tech companies, or with an array of software products, services, and tools. This can segregate those who understand tech from those that don't. But it doesn't have to be this way.This book aims to bring these two worlds closer together, allowing people to learn basic concepts of software development in a casual and straight-forward way. Assuming no previous technical knowledge, you'll embark on a journey where you can understand and build a new software project from scratch until it is an advanced product with multiple users. A Friendly Guide to Software Development makes technical concepts broadly available and easy to understand. Imagine moving from a "traditional" company and suddenly finding yourself in one where software is the main product or is a foundational component to it. One is often left to wade through the infinite concepts while still doing their actual jobs. This book closes that gap. In doing so, you'll be able to achieve better communication, which will undoubtedly lead to better working relationships, a better working environment, and ultimately better software.What You'll LearnSee how a new software project is createdExamine the basics of software development and architectureKnow which questions to ask to avoid potential problems and pitfallsStart using and building software projectsWho This Book Is ForThose without a traditional technical background people like business and project managers who need to work closely with software developers and teamsPeople who are interested in building a software system but don't know where to start.Programmers who want to jump to development but have no experience in the industry and its common concepts
The Adventurous and Practical Journey to a Large-Scale Enterprise Solution
The high failure rate of enterprise resource planning (ERP) projects is a pressing concern for both academic researchers and industrial practitioners. The challenges of an ERP implementation are particularly high when the project involves designing and developing a system from scratch. Organizations often turn to vendors and consultants for handling such projects but, every aspect of an ERP project is opaque for both customers and vendors. Unlocking the mysteries of building a large-scale ERP system, The Adventurous and Practical Journey to a Large-Scale Enterprise Solution tells the story of implementing an applied enterprise solution. The book covers the field of enterprise resource planning by examining state-of-the-art concepts in software project management methodology, design and development integration policy, and deployment framework, including: A hybrid project management methodology using waterfall as well as a customized Scrum-based approach A novel multi-tiered software architecture featuring an enhanced flowable process engine A unique platform for coding business processes efficiently Integration to embed ERP modules in physical devices A heuristic-based framework to successfully step into the Go-live period Written to help ERP project professionals, the book charts the path that they should travel from project ideation to systems implementation. It presents a detailed, real-life case study of implementing a large-scale ERP and uses storytelling to demonstrate incorrect and correct decisions frequently made by vendors and customers. Filled with practical lessons learned, the book explains the ins and outs of adopting project methodologies. It weaves a tale that features both real-world and scholarly aspects of an ERP implementation.
Pro Database Migration to Azure
Migrate your existing, on-premises applications into the Microsoft Azure cloud platform. This book covers the best practices to plan, implement, and operationalize the migration of a database application from your organization's data center to Microsoft's Azure cloud platform.Data modernization and migration is a technologically complex endeavor that can also be taxing from a leadership and operational standpoint. This book covers not only the technology, but also the most important aspects of organization culture, communication, and politics that so frequently derail such projects. You will learn the most important steps to ensuring a successful migration and see battle-tested wisdom from industry veterans. From executive sponsorship, to executing the migration, to the important steps following migration, you will learn how to effectively conduct future migrations and ensure that your team and your database application delivers on the expected business value of the project. This book is unlike any other currently in the market. It takes you through the most critical business and technical considerations and workflows for moving your data and databases into the cloud, with special attention paid to those who are deploying to the Microsoft Data Platform in Azure, especially SQL Server. Although this book focuses on migrating on-premises SQL Server enterprises to hybrid or fully cloud-based Azure SQL Database and Azure SQL Managed Instances, it also cover topics involving migrating non-SQL Server database platforms such as Oracle, MySQL, and PostgreSQL applications to Microsoft Azure.What You Will LearnPlan a database migration that ensures smooth project progress, optimal performance, low operating cost, and minimal downtimeProperly analyze and manage non-technical considerations, such as legal compliance, privacy, and team executionPerform athorough architectural analysis to select the best Azure services, performance tiers, and cost-containment featuresAvoid pitfalls and common reasons for failure relating to corporate culture, intra-office politics, and poor communicationsSecure the proper executive champions who can execute the business planning needed for successApply proven criteria to determine your future-state architecture and your migration methodExecute your migration using a process proven by the authors over years of successful projectsWho This Book Is For IT leadership, strategic IT decision makers, project owners and managers, and enterprise and application architects. For anyone looking toward cloud migration projects as the next stage of growth in their careers. Also useful for enterprise DBAs and consultants who might be involved in such projects. Readers should have experience and be competent in designing, coding, implementing, and supporting database applications in an on-premises environment.
Pro Power Bi Dashboard Creation
Produce high-quality, visually attractive analysis quickly and effectively with Microsoft's key BI tool. This book teaches analysts, managers, power users, and developers how to harness the power of Microsoft's self-service business intelligence flagship product to deliver compelling and interactive insight with remarkable ease. It then shows you the essential techniques needed to go from source data to dashboards that seize your audience's attention and provide them with clear and accurate information. As well as producing elegant and visually arresting output, you learn how to enhance the user experience through adding polished interactivity. This book shows you how to make interactive dashboards that allow you to guide users through the meaning of the data that they are exploring. Drill down features are also covered that allow you and your audience to dig deeper and uncover new insights by exploring anomalous and interesting data points.Reading this book builds your skills around creating meaningful and elegant dashboards using a range of compelling visuals. It shows you how to apply simple techniques to convert data into business insight. The book covers tablet and smartphone layouts for delivering business value in today's highly mobile world. You'll learn about formatting for effect to make your data tell its story, and you'll be a master at creating visually arresting output on multiple devices that grabs attention, builds influence, and drives change. What You Will LearnProduce designer output that will astound your bosses and peersMake new insights as you chop and tweak your data as never beforeCreate high-quality analyses in record timeCreate interdependent charts, maps, and tablesDeliver visually stunning informationDrill down through data to provide unique understandingsOutshinecompeting products and enhance existing skillsAdapt your dashboard delivery to mobile devicesWho This Book Is ForFor any Power BI user who wants to strengthen their ability to deliver compelling analytics via Microsoft's widely adopted analytics platform. For those new to Power BI who want to learn the full extent of what the platform is capable of. For power users such as BI analysts, data architects, IT managers, accountants, and C-suite members who want to drive change in their organizations.
SwiftUI for Masterminds 3rd Edition 2022
Learn how to create apps for iOS 16 and macOS Ventura with Swift 5.7 and the SwiftUI framework.SwiftUI for Masterminds is a complete course on how to create professional applications for iPhones, iPads and Mac computers. After reading this book, you will know how to program in Swift, how to design user interfaces, and how to combine traditional frameworks with the advanced features provided by SwiftUI to build modern applications.In this book, we teach you how to build insanely great apps from scratch. We explore basic and complex concepts; from computer programming and the Swift programming language to database storage, data sharing, and everything you need to know to develop applications for Apple devices. The information is supported by practical examples that gradually introduce the technologies involved and make them accessible to everyone.SwiftUI for Masterminds was designed to prepare you for the future and was written for the genius in you, for Masterminds. Introduction to Swift 5.7Swift ParadigmSwift ConcurrencyDeclarative User InterfacesSwiftUI FrameworkMultiplatform ApplicationsNavigation StacksNavigation Split ViewsCustom LayoutsScroll ViewsLists and GridsTablesMapsFormsGraphics and AnimationsChartsFilesArchivingDocumentsCore DataiCloudCloudKitCamera and Photos PickerVideo ViewWeb ViewGesture RecognizersDrag & DropNotificationsUIKit in SwiftUI...and more!iOS and Mac development with iOS 16, Xcode 14, Swift 5.7 and SwiftUI
Software Architecture by Example
Design system solutions using modern architectural patterns and practices. This book discusses methods to keep a system responsive, even when it is being constantly updated, extending a system's functionality without changing the core code, methods of maintaining data history, and designing a distributed transactional system.This book will guide you in understanding how a software solution is designed using different architectural processes and scenarios. Each scenario explains if and why a software solution is required to resolve a given issue, and discusses possible architectural approaches to solve the problem. You will learn specific implementations of software architecture for each case along with different approaches to achieve the solutions. Each chapter is structured as a real-world requirement from a client and describes a process to meet that requirement. After reading this book, you should have a high-level understanding of the architectural patterns used in the book, and you should have a methodology for approaching system design.What You Will LearnUnderstand design principles and considerations for various stages of software developmentTranslate patterns into code samplesCreate a blueprint for approaching system designUnderstand architectural patterns: CQRS, event sourcing, distributed systems, distributed transactions, and plug-in architectureWho This Book Is ForDevelopers who wish to move into architecture, and junior software architects also will find the book useful
Introducing Microsoft Orleans
Welcome to Orleans, a virtual actor framework from Microsoft that allows a single developer to create immensely scalable, available applications while maintaining a high throughput. This guide is designed to give you a foundational understanding of Orleans, an overview of its implementations, and plenty of hands-on coding experience. Side-by-side monolithic and microservice patterns alongside Orleans' framework features are also discussed, to help readers without an actor model background understand how they can enhance applications. Author Nelson's approach is to introduce patterns as needed for business requirements, including monolithic microservices and to convert monolithic to microservices, in order to keep a microservice from growing into a monolithic application. Orleans is a good choice for either of these scenarios as the next step to build your backend services and reduce unnecessary orchestration, overhead, and tooling. The Orleans framework was designed to handle tedious overhead, allowing the developer to focus on the solution. You will learn how Orleans can support billions of virtually parallel transactions while sustaining low latency and high availability. In addition, you will glimpse under the hood at Orleans to discover its useful attributes. All key learning points include hands-on coding examples to reinforce understanding. This book goes beyond what Orleans is to explain where it fits within the realm of development. You will gain an in-depth understanding to build a foundation for future growth. What You Will Learn Understand how Orleans can benefit your monolithic and/or microservice applicationsGain a brief overview of actor models and how they relate to OrleansObserve the design patterns and how Orleans can simplify or reduce tooling requirementsKnow the pros and cons of microservices and Orleans to determine the best course of action based on the needs of an applicationDiscover Orleans' design patterns and practices, including life cycle, messaging guarantees, cluster management, streams, load balancing, and moreBuild your first Orleans' application; build base knowledge of application structure, unit testing, dashboard, scheduled events Who This Book Is For This book is for developers. A basic understanding of .NET development and an understanding of service concepts is helpful. Readers will need a connection to download Nuget packages and a code editor (Community Edition Visual Studio or VS Code).
Network Programming with Go Language
Dive into key topics in network architecture implemented with the Google-backed open source Go programming language. Networking topics such as data serialization, application level protocols, character sets and encodings are discussed and demonstrated in Go. This book has been updated to the Go version 1.18 which includes modules, generics, and fuzzing along with updated and additional examples. Beyond the fundamentals, Network Programming with Go, Second Edition covers key networking and security issues such as HTTP protocol changes, validation and templates, remote procedure call (RPC) and REST comparison, and more. Additionally, authors Ronald Petty and Jan Newmarch guide you in building and connecting to a complete web server based on Go. Along the way, use of a Go web toolkit (Gorilla) will be employed. This book can serve as both an essential learning guide and reference on networking concepts and implementation in Go. Free source code is available on Github for this book under Creative Commons open source license.What You Will Learn Perform network programming with Go (including JSON and RPC) Understand Gorilla, the Golang web toolkit, and how to use it Implement a microservice architecture with Go Leverage Go features such as generics, fuzzing Master syscalls and how to employ them with Go Who This Book Is For Anyone interested in learning networking concepts implemented in modern Go. Basic knowledge in Go is assumed, however, the content and examples in this book are approachable with modest development experience in other languages.
Music Representation and Transformation in Software
This book takes the reader on a journey through music concepts in an organized approach that develops music essentials from the concepts of tone, pitch, and time, through notes, intervals, chords, and scores while at the same time interpreting these elements as software artifacts. Close attention is paid to the organization of and relationships amongst these concepts and their representation as Python classes and objects, to learn about music from a software design viewpoint.The first part of the book focuses on software representation of the main elements found in music theory. Its objective is to provide direction to students on how to build a music software model from basic concepts and grow towards more complex concepts. Chapter by chapter, music concepts are introduced, and each is broken apart into related data properties and methods with the goal that by the end of this section, the reader will have developed a relatively complete library of music elements in software. The second part takes on the task of applying that foundation to the subject of "music transformations". The focus is on localized transformations, that is, transformations isolated to a few measures. After a general introduction, the discussion includes topics of pitch assignment, key change, melodic inversion, melodic shaping, harmonic transcription, retrograde, melodic search and dilation. This textbook is designed as a principal or supplemental source for computer science, software engineering, and programming courses. It can also be used as a main textbook for advanced computer music courses or electronic music courses. Computer music software professionals interested in learning how to model the complexities of music theory artifacts, or music students who want to learn advanced programming techniques in their domain will also find the book helpful.
Introduction to Software Design with Java
This textbook provides an in-depth introduction to software design, with a focus on object-oriented design, and using the Java programming language. Its goal is to help readers learn software design by discovering the experience of the design process. To this end, the text follows a continuous narrative that introduces each element of design know-how in context, and explores alternative solutions in that context. This narrative is complemented by hundreds of code fragments and design diagrams. The first chapter is a general introduction to software design and the subsequent chapters cover design concepts and techniques. The concepts and techniques covered include interfaces, encapsulation, inheritance, design patterns, composition, functional-style design, unit testing, and many more. A major emphasis is placed on coding and experimentation as a necessary complement to reading the text. To support this aspect of the learning process, a companion website with practice exercises is provided, as well as two complete sample applications. Guidance on these sample applications is provided in "Code Exploration" insets throughout the book. Although the Java language is used as a means of conveying design-related ideas, the book's main goal is to address concepts and techniques that are applicable in a host of technologies. This second edition covers additional design techniques such as input validation and dependency injection. It also provides extended and revised treatment of many core subjects, including polymorphic copying, unit testing, the Observer pattern, and functional-style programming. This book is intended for readers who have a minimum of programming experience and want to move from writing small programs and scripts to tackling the development of larger systems. This audience naturally includes students in university-level computer science and software engineering programs. As the prerequisites to specific computing concepts are kept to a minimum, the content is also accessible to programmers with no previous background in computing. In a similar vein, understanding the code fragments requires only a minimal grasp of the Java language, such as would be taught in an introductory programming course.
Linux for Small Business Owners
Learn how you can take complete control and run your small business with powerful, free open source software (FOSS). This book introduces small business owners to the power and security of Linux and other FOSS tools to manage any small business as well as the many advantages it has over expensive, proprietary software. While exploring the reasons for using Free Open Source Software, you'll investigate the assertion that, "The value of any software lies in its usefulness not in its price," set forth by Linux Torvalds, the creator of Linux. This book examines the use of Linux and also the other Free Open Source Software you need to meet your business challenges including the usual accounting, Email, web browsing, word-processing tasks. You will be introduced to advanced tools such as those that enable you to create audio and video clips you can use to promote your business or that can even be your primary product, such as how-to instruction.Most small business owners perform many tasks including that of administering their computers. This book shows you how to find and install new software you need to run your business and keep it up to date using the tools already provided by Linux and the secure, trusted repositories available online. It also explores how to decide which tasks to do in-house and which you might want to sub out to external resources such as advertising and contact services to attract and keep customers. Linux for Small Business Owners provides some logic, reason, and explanation for each of the steps that are needed and the tools used to implement Linux in your small business. It is a detailed guide to removing Windows from your computers and installing Linux and some commonly used open source software like the LibreOffice suite of programs, accounting, and other software useful to many small businesses. It also provides the information and tools necessary to manage and maintain Linux and applications up-to-date and secure.What You'll Learn Understand what the term "free/open source" means and how you can apply it to your business.Look at the operational and financial advantages of using Free Open Source Software instead of expensive, proprietary software.See why you will never need to pay for anti-virus and anti-malware software again.Replace expensive software like Microsoft Office with open source tools such as LibreOffice Review the factors required to make an informed decision about switching to Linux.Install new applications, updates to Linux, and the application software.Explore why backups are critical, how to create them, and how to use them to restore lost data. Who This Book Is For Ideal for small business owners and owner-operated small businesses looking to streamline operations, save money, time and energy managing the common problems associated with using more popular operating systems.
Microsoft Orleans for Developers
Use a simple programming model and the .NET language of your choice to build large distributed systems. This book teaches you the Microsoft Orleans framework.Even well-versed professional software developers with expertise in C# (or another language) find themselves unequipped to meet the challenges of distributed systems as infrastructure moves to multi-core; multiple computers are being used for scale, redundancy, and cloud computing; and multi-region deployment is taking place.Orleans handles many of the concerns of distributed computing and cloud infrastructure, allowing you to concentrate on writing application logic. What You Will Learn Know the key concepts for building distributed systemsGain a background in the origin and evolution of Orleans, and why it is important for your projectsDive into each of the features available in Orleans by building an example applicationDevelop troubleshooting skills for fixing bugs and running diagnosticsAchieve performance optimization and advanced configurationUse the Orleans Dashboard to discern valuable insight in system performance Who This Book Is For Experienced C# developers who want to build a new high-scale application (perhaps for an IoT requirement) and are interested in learning the concepts and features available in Orleans
Rust Crash Course
Grasp the fundamentals of programming in Rust and put your knowledge to use KEY FEATURES ● Includes the basics of Rust, its advanced features, and how to get started with coding in Rust.● Numerous projects that improve coding, concept fluency, and real-world experience.● Every part of Rust is introduced and explained in detail, along with how to use it. DESCRIPTIONRust is a sophisticated systems programming language for speed, memory safety, and parallelism. This book gives you a fast introduction to Rust so that you may get started with low-level system programming and developing web applications, network services, and embedded programmes. The book begins with instructions on setting up the Rust environment, developing a "hello world" programme, and getting started with cargo, the Rust package manager and the build tool. The book is a crash course, although it covers fundamental programming principles like variables and mutability, data types, comments, and control flow. Very precisely, topics such as ownership, borrowing, structs, enums, and other collections are covered. Error handling, memory management, and concurrency are well-demonstrated using practical projects. The book explains how to construct automated tests, write multithreaded applications, and utilise common data structures without difficulty. The book concludes with several hands-on projects, including creating a CLI application, a web app, a binary image classifier, and an embedded programme. After reading this book, you will have a thorough understanding of the principles of Rust programming and be able to produce idiomatic Rust code for your projects, as well as improved tests and documentation. WHAT YOU WILL LEARN● Learn Rust's Cargo, fundamental concepts, collections, generic data types, iterators, and closures.● Learn to write and experience the working of memory-safe programs.● Implement and practice various data structures and algorithms.● Get familiar with Rust module systems such as packages, crates, modules, and paths.● Work with error handling, code testing, and working of concurrency capability. WHO THIS BOOK IS FORThis book is intended for software developers and system programmers interested in Rust as a C/C++ alternative. This book is also available to students interested in learning systems programming using Rust. The book assumes you have prior knowledge of basic programming concepts or any other programming language.
Learn API Testing
Explore software web application architecture, API testing, coding practices, and the standards for better API test automation development and management. This book focuses on aspiring software testing engineers currently working in API testing, and those starting their journey in the field of software testing. You'll begin with an introduction to API testing and software web applications involving APIs. The book then moves on to the authentication standards used in the software industry, and the tools, the frameworks, and the libraries used in API testing. As the book progresses, you'll learn about the test pyramid, how to test an API, what makes a good test script, and various coding guidelines. Finally, you get to write your own API test script. Learn API Testing is your pathway to understanding a typical software web application, its requests and responses, and the properties of a good test script. What You'll learnExamine practices, standards, and guidelines for effective test automationWork with different tools like RestAssured, Curl, and PostmanUnderstand API testing paradigm (internal/external APIs, CDCT)Review a case study on the industrial software API testing processOrganize a test frameworkWho This Book Is For API testing aspirants, developers/architects, project managers, and non-technical team members who may want to understand how APIs are being tested.
Leadership in a Zoom Economy with Microsoft Teams
Manage and lead a team remotely by intertwining leadership principles with the many robust tools of Microsoft Teams. This book shows you how to utilize Microsoft Teams in an effective way to achieve your global team goals.Leading a team is a challenge, but leading a team in the zoom economy can make you stressed out and overworked. Peter Ward gives the reader a communication and organization centered approach for the dynamic, hardworking, successful employee who wants to step into a leadership role and vastly improve their organization with the aid of Microsoft Teams. Ward shares his own "rules" for successful leadership of teams and small companies, to scale at a steady pace, creating a culture of accountability and responsibility, with a remote workforce, not using venture capital, and applying minimal bureaucracy. Ward says teamwork, right hires, diversity, and work balance are equally important as profitability. Leadership in a Zoom Economy with Microsoft Teams is a portrait of a productive, sane, balanced life that is organized and filled with rich results. After reading this book, you will be able to extend your Microsoft Team capabilities to day-to-day leadership principles. What Will You LearnUse MS Teams to build trust in your remote or virtual workplace with teamsWork with Planner, Outlook, and Tasks within MS TeamsCoach, mentor, and develop your team when you are not in the exact locationLead a remote workforce effectivelyApply an entrepreneur mentality to remote teamsCreate a culture that is innovative and creative when you are a dispersed organizationWho This Book Is ForManagers who want to step into leadership, and leaders who want to raise their leadership game using Microsoft Teams as a technical tool.
