Advances in Conceptual Modeling
This book constitutes the refereed proceedings of three workshops symposia, held at the 41st International Conference on Conceptual Modeling, ER 2022, as a virtual event, in October 2022. The 11 papers deal with topics such as foundations; business information systems; advanced and cross-disciplinary applications, conceptual modeling, information systems and knowledge graphs; data/object management; engineering; and experience. The following workshops are included in this volume: Third International Workshop on Conceptual Modeling for Life Sciences (CMLS), 5th International Workshop on Empirical Methods in Conceptual Modeling (EmpER); and First International Workshop on Digital Justice, Digital Law and Conceptual Modeling (JUSMOD).
The Insider’s Guide to Arm Cortex-M Development
Learn and implement the latest Arm Cortex-M microcontroller development concepts such as performance optimization, security, software reuse, machine learning, continuous integration, and cloud-based development from industry expertsKey Features: Learn how to select the best Cortex-M hardware, software, and tools for your projectUnderstand the use of key software components and how to optimize and test modern applicationsGet hands-on experience implementing quality software using example code provided in the bookPurchase of the print or Kindle book includes a free eBook in the PDF formatBook Description: Cortex-M has been around since 2004, so why a new book now? With new microcontrollers based on the Cortex-M55 and Cortex-M85 being introduced this year, Cortex-M continues to expand. New software concepts, such as standardized software reuse, have emerged alongside new topics including security and machine learning. Development methodologies have also significantly advanced, with more embedded development taking place in the cloud and increased levels of automation. Due to these advances, a single engineer can no longer understand an entire project and requires new skills to be successful.This book provides a unique view of how to navigate and apply the latest concepts in microcontroller development. The book is split into two parts. First, you'll be guided through how to select the ideal set of hardware, software, and tools for your specific project. Next, you'll explore how to implement essential topics for modern embedded developers. Throughout the book, there are examples for you to learn by working with real Cortex-M devices with all software available on GitHub. You will gain experience with the small Cortex-M0+, the powerful Cortex-M55, and more Cortex-M processors.By the end of this book, you'll be able to practically apply modern Cortex-M software development concepts.What You Will Learn: Familiarize yourself with heuristics to identify the right components for your Cortex-M projectBoot code to efficiently start up a Cortex-M deviceOptimize algorithms with compilers, middleware, and other meansGet to grips with machine learning frameworks and implementation techniquesUnderstand security in the embedded space with solutions like TrustZone and TF-MExplore cloud-based development methodologies to increase efficiencyDive into continuous integration frameworks and best practicesIdentify future trends that could impact Cortex-M software developmentWho this book is for: This book is for practicing engineers and students working with embedded and IoT systems who want to quickly learn how to develop quality software for Arm Cortex-M processors without reading long technical manuals. If you're looking for a book that explains C or assembly language programming for the purpose of creating a single application or mastering a type of programming such as digital signal processing algorithms, then this book is NOT for you. A basic understanding of embedded hardware and software, along with general C programming skills will assist with understanding the concepts covered in this book.
A Pocket Guide to Hci and Ux Design
Currently, the Human Computer Interaction (HCI) and User Experience (UX) design is a hot topic to nurture and practice in various industry as related knowledge is very relevant to create best quality consumer experiences and thus increases the chance of product/service/software acceptance in the market. This book provides concise information on HCI and UX Design. A practice-oriented contents are presented inside this book in these fields of study. This book covers principles of interaction design, Information Design, System design, user interface (UI) design, human factors engineering, essential UX process & methods, usability engineering etc. and fundamentals of UI prototyping is also covered in this book. Strategies to design interfaces for augmented reality (AR), virtual reality (VR), extended reality (ER), AI based Virtual Agents and Chatbots are also elaborated in this book. This book is also serving as a guide for design ethics and intellectual property rights (IPR). It is worth to have this book by the UX & UI design Practionars, and Aspirants of HCI and UX Design, to gain the knowledge in these domains very quickly. The UX design students and the students of Computer Science & Engineering can also refer this book as a tutorial for their curriculum.
Leveraging Applications of Formal Methods, Verification and Validation. Practice
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
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.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
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.
Jira 8 Essentials - Sixth Edition
Implement future-proof solutions for all types of teams with Data Center by learning about performance, reliability, scalability, and securityPurchase of the print or Kindle book includes a free PDFKey Features: Explore all of Jira's core features as well as the advanced features offered by Data CenterLearn to use Jira for issue management, field management, screen management, and business workflowsInstall, update, and manage third-party apps from Atlassian marketplace to extend Jira capabilitiesBook Description: This new and improved sixth edition comes with the latest Jira 8.21 Data Center offerings, with enhanced features such as clustering, advanced roadmaps, custom field optimization, and tools to track and manage tasks for your projects. This comprehensive guide to Jira 8.20.x LTS version provides updated content on project tracking, issue and field management, workflows, Jira Service Management, and security.The book begins by showing you how to plan and set up a new Jira instance from scratch before getting you acquainted with key features such as emails, workflows, and business processes. You'll also get to grips with Jira's data hierarchy and design and work with projects. Since Jira is used for issue management, this book will help you understand the different issues that can arise in your projects. As you advance, you'll create new screens from scratch and customize them to suit your requirements. Workflows, business processes, and guides on setting up incoming and outgoing mail servers will be covered alongside Jira's security model and Jira Service Management. Toward the end, you'll learn how Jira capabilities are extended with third-party apps from Atlassian marketplace.By the end of this Jira book, you'll have understood core components and functionalities of Jira and be able to implement them in business projects with ease.What You Will Learn: Examine various deployment options and system requirements for hosting Jira Data CenterUnderstand Jira's data hierarchy and learn how to design and work with projects in JiraUse Jira for agile software projects, business process management, customer service support, and moreExplore field configuration schemes and find out how to apply them to projectsDevelop and design customized screens and apply them to different projectsCreate configurable reports on projects and share information through dashboards for reporting and analysisWho this book is for: This book is especially useful for project managers, but it's also intended for other Jira users, including developers, and any other industry besides software development, who would like to leverage Jira's powerful task management and workflow features to better manage their business processes.
Practical Microservices with Dapr and .NET - Second Edition
Use the innovative, highly portable event-driven distributed application runtime to simplify building resilient and scalable microservices for cloud and edge applications.Purchase of the print or Kindle book includes a free eBook in the PDF format.Key Features: Build resilient, stateless, and stateful microservice applications that run on the cloud and edgeOvercome common issues in distributed systems, such as low latency and scaling, using any language and frameworkLearn how to expose and operate Dapr applications with multiple optionsBook Description: This second edition will help you get to grips with microservice architectures and how to manage application complexities with Dapr in no time. You'll understand how Dapr simplifies development while allowing you to work with multiple languages and platforms. Following a C# sample, you'll understand how Dapr's runtime, building blocks, and software development kits (SDKs) help you to simplify the creation of resilient and portable microservices.Dapr provides an event-driven runtime that supports the essential features you need for building microservices, including service invocation, state management, and publish/subscribe messaging. You'll explore all of those in addition to various other advanced features with this practical guide to learning Dapr. With a focus on deploying the Dapr sample application to an Azure Kubernetes Service cluster and to the Azure Container Apps serverless platform, you'll see how to expose the Dapr application with NGINX, YARP, and Azure API Management.By the end of this book, you'll be able to write microservices easily by implementing industry best practices to solve problems related to distributed systems.What You Will Learn: Use Dapr to create services, invoking them directly and via pub/subDiscover best practices for working with microservice architecturesLeverage the actor model to orchestrate data and behaviorExpose API built with Dapr applications via NGINX and Azure API ManagementUse Azure Kubernetes Service to deploy a sample applicationMonitor Dapr applications using Zipkin, Prometheus, and GrafanaScale and load test Dapr applications on KubernetesGet to grips with Azure Container Apps as you combine Dapr with a serverless platformWho this book is for: This book is for developers looking to explore and implement microservices architectures in Dapr applications using .NET examples. Whether you are new to microservices or have knowledge of this architectural approach and want to get hands-on experience using Dapr, you'll find this book useful. Familiarity with .NET will help you to understand the C# samples and code snippets used in the book.
Cloud Computing and Services Science
This book constitutes the refereed proceedings of the 11th International Conference on Cloud Computing and Services Science, CLOSER 2021, Virtual Event, during April 28-30, 2021. The 5 full papers included in this book were carefully reviewed and selected from 51 submissions. The proceedings deal with the topics of data processing, cloud computing environments, and services science.
Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022, which took place in Jyv瓣skyl瓣, Finland in November 2022.The 24 full technical papers, 9 short papers, and 6 poster papers presented in this volume were carefully reviewed and selected from 75 submissions. The book also contains and 8 doctoral symposium papers and 7 tutorial and workshop papers.The contributions were organized in topical sections as follows: Keynote; Cloud and AI; Empirical Studies; Process Management; Refactoring and Technical Dept; Software Business and Digital Innovation; Testing and Bug Prediction; Posters; Tutorials; Workshop on Engineering Processes and Practices for Quantum Software (PPQS'22); 1st Workshop on Computational Intelligence and Software Engineering (CISE 2022); Doctoral Symposium.
From Data to Models and Back
This book constitutes the refereed proceedings of the 10th International Symposium "From Data Models and Back", DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model verification; data mining and processing related approaches; and other approaches.
Quantum Software Engineering
This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed.The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques. Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods for quantum software engineering, quantum software modelling languages, and reengineering for quantum software are covered in this part. A second set of chapters then deals with quantum software environments and tools, detailing platforms like QuantumPath(R), Classiq as well as quantum software frameworks for deep learning. Overall, the book aims at academic researchers and practitioners involved in the creation of quantum information systems and software platforms. It is assumed that readers have a background in traditional software engineering and information systems.
Go for DevOps
Achieve reliable release automation and get zero troublesome notifications on your release day.Purchase of the print or Kindle book includes a free eBook in the PDF format.Key FeaturesDevelop the skills to build command-line tools to control thousands of nodesUse Go to create Terraform providers and GitHub actions and extend KubernetesGain the knowledge to build DevOps workflows that are understandable, scalable, and safeBook DescriptionGo is the go-to language for DevOps libraries and services, and without it, achieving fast and safe automation is a challenge. With the help of Go for DevOps, you'll learn how to deliver services with ease and safety, becoming a better DevOps engineer in the process.Some of the key things this book will teach you are how to write Go software to automate configuration management, update remote machines, author custom automation in GitHub Actions, and interact with Kubernetes. As you advance through the chapters, you'll explore how to automate the cloud using software development kits (SDKs), extend HashiCorp's Terraform and Packer using Go, develop your own DevOps services with gRPC and REST, design system agents, and build robust workflow systems.By the end of this Go for DevOps book, you'll understand how to apply development principles to automate operations and provide operational insights using Go, which will allow you to react quickly to resolve system failures before your customers realize something has gone wrong.What you will learnUnderstand the basic structure of the Go language to begin your DevOps journeyInteract with filesystems to read or stream dataCommunicate with remote services via REST and gRPCExplore writing tools that can be used in the DevOps environmentDevelop command-line operational software in GoWork with popular frameworks to deploy production softwareCreate GitHub actions that streamline your CI/CD processWrite a ChatOps application with Slack to simplify production visibilityWho this book is forThis book is for Ops and DevOps engineers who would like to use Go to develop their own DevOps tooling or integrate custom features with DevOps tools such as Kubernetes, GitHub Actions, HashiCorp Packer, and Terraform. Experience with some type of programming language, but not necessarily Go, is necessary to get started with this book.Table of ContentsGo Language BasicsGo Language EssentialsSetting Up Your EnvironmentFilesystem InteractionsUsing Common Data FormatsInteracting with Remote Data SourcesWriting Command-Line ToolingAutomating Command-Line TasksObservability with OpenTelemetryAutomating Workflows with GitHub ActionsUsing ChatOps to Increase EfficiencyCreating Immutable Infrastructure Using PackerInfrastructure as Code with TerraformDeploying and Building Applications in KubernetesProgramming the CloudDesigning for Chaos
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.
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.
Search-Based Software Engineering
This book constitutes the proceedings of the 14th International Symposium on Search-Based Software Engineering, SSBSE 2022, which was held in Singapore, in November 2022.The 6 regular papers, the NIER and RENE tracks as well as the Challenge Track that were included in this volume were carefully reviewed and selected from 15 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.
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
The book uses a Q&A format to address the issues that engineers need to understand to successfully work with software engineers, develop specs for quality software, and learn the basics of common programming languages. The new edition is updated to improve pedagogical flow and emphasize new software engineering processes, practices, and tools.
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.
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.
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.
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.
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).
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.
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.
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.
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.
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
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.
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.
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
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.
The Adventurous and Practical Journey to a Large-Scale Enterprise Solution
This book narrates the story of implementing a large-scale enterprise solution. The book covers analyzing, designing, developing, integrating, and deploying a large-scale enterprise system. For academicians and practitioners, the book is a comprehensive, best-practice guide to navigating the tortuous path to achieving an enterprise solution.
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
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.
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
