Continuous Delivery Pipeline - Where Does It Choke?
I have worked in Continuous Delivery projects for yet-to-be-famous tech startups and with well-established companies like Apple, Yahoo!, GoPro, ThoughtWorks, Walmart.com and PricewaterhouseCoopers Ltd. I share my experience of releasing software from a source code control repository to Production, and how the manual processes can be fully automated with good design and smart decisions. In this book, I zoom in on the choking points, so that my readers can accelerate through their own design and implementations.
Domain-Specific Languages
This textbook describes the theory and the pragmatics of using and engineering high-level software languages - also known as modeling or domain-specific languages (DSLs) - for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs. The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics - with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling. The book has been developed based on courses on model-driven software engineering (MDSE) and DSLs held by the authors. It aims at senior undergraduate and junior graduate students in computer science or software engineering. Since it includes examples and lessons from industrial and open-source projects, as well as from industrial research, practitioners will also find it a useful reference. The numerous examples include code in Scala 3, ATL, Alloy, C#, F#, Groovy, Java, JavaScript, Kotlin, OCL, Python, QVT, Ruby, and Xtend. The book contains as many as 277 exercises. The associated code repository facilitates learning and using the examples in a course.
Peeking at Call-A.P.P.L.E. 1980
PEEKing at Call-A.P.P.LE.: 1980 Compendium of Magazine Articles represents a nostalgic look back at the early years of the Apple computing revolution through the eyes of the Apple Pugetsound Program Library Exchange (A.P.P.L.E.) user group. Articles from all nine issues from the third year of Call-A.P.P.L.E. magazine are organized into categories such as: Applesoft, DOS, Pascal, Printers, Reviews, Tutorials, and Utilities. Over 320 pages are enhanced and restored, complete with advertisements, program listings, and a handy index. Relive the earliest days of the Apple II computer through the eyes of the creators and users. Highlights Include: - Articles and programs from Apple computing legends including: Mark Capella, Bob Sander-Cederlof, Robert Clardy, Bert Kersey, Neil Konzen, Eric E. Goez, Andy Hertzfeld, Randall Hyde, Roger Wagner, Keith S. Walls, Randy Wigginton. - Programming tips and tutorials for Applesoft BASIC, Integer BASIC, and Pascal beyond what is available from Apple. - Utility programs designed to help you accomplish more in less time. - An analysis of DOS 3.3 and how to make it work for you. - How Applesoft is constructed and interpreted by the computer.
ServiceNow for Architects and Project Leaders
Gain insight and strategic advice for driving value in your organization with this practical guide that condenses a decade of ServiceNow wisdom into the must-know essentials for impactful deploymentsKey Features: Focus on what to do when shaping and leading a ServiceNow journeyExplore strategies for making your projects impactful and valuableGuidance for leaders at every level to maximize return on their investments in ServiceNowBook Description: ServiceNow is the leading enterprise service management platform that enables the effective management of services in a modern enterprise.In this book, you'll learn how to avoid pitfalls that can challenge value realization, where to focus, how to balance tradeoffs, and how to get buy-in for complex decisions. You'll understand the key drivers of value in ServiceNow implementation and how to structure your program for successful delivery. Moving ahead, you'll get practical guidance on the methods and considerations in securely using ServiceNow. You'll also learn how to set up a multi-instance environment including best practices, patterns and alternatives in the use and maintenance of a multi-instance pipeline. Later chapters cover methods and approaches to design processes that deliver optimal ROI. Further, you'll receive tips for designing technical standards, designing for scale, ensuring maintainability, and building a supportable instance. Finally, you'll focus on the innovative possibilities that can be unlocked in a ServiceNow journey which will help you to manage uncertainty and claim the value of being an early adopter.By the end of this book, you'll be prepared to lead or support a ServiceNow implementation with confidence that you're bringing not only a solution but also making an impact in your organization.What You Will Learn: Understand the key drivers of value in ServiceNow implementationStructure your ServiceNow programs for successful deliveryDiscover methods and tools for securely using ServiceNowSet up a multi-instance environment with best practices and patternsArchitect and lead the deployment of AI capabilities in ServiceNowBuild innovative experiences using NLU, virtual agents and the Now Experience FrameworkWho this book is for: This book is for architects, consultants and project leaders looking to drive value by applying ServiceNow effectively and efficiently. Platform administration or development experience is useful but not necessary to get the most out of this book. However, some familiarity with the modules and features of ServiceNow is expected.
Introduction to Infrastructure as Code
Get inspired to explore the depths of the DevOps field. In today's rapidly transforming world, Infrastructure as Code (IaC) has emerged as an effective approach to maintain, scale, and deploy software systems. This book offers a mixture of foundational IaC concepts and practical examples to give you hands-on experience.You will first gain an understanding of DevOps culture as well as how to adapt to IaC. Introduction to Infrastructure as Code begins by reviewing the innovative features that DevOps in general, and IaC in particular, have to offer for adoption and growth for different verticals. With this solid base established, you will then learn the importance, processes, and outcome of building infrastructure solutions.Authors Sneh Pandya and Riya Guha Thakurta then provide hands-on examples utilizing IaC platforms, open source tools, and essential considerations such as security, scalability, and deployments. Each chapter focuses on one vertical (i.e., foundations, architecture patterns, securing infrastructure, preparing for deployment), how it impacts the DevOps toolchain in a holistic manner, and how it can be used to build solutions specific to that vertical, with a detailed walkthrough of code, environments, and other tools. After completing this book, you'll have launched your own infrastructure solution through an open source stack consisting of platforms and tools such as Terraform, Chef, and Puppet.What You Will LearnUnderstand the fundamentals of DevOps and Infrastructure as CodePrepare for the ever-evolving ecosystem of modular infrastructure and the needs of the futureAvoid potential pitfalls and breakdowns while working with infrastructureBuild scalable and efficient IaC solutions that work at a small, medium, and large scale in a real-life environmentUnderstand and be responsibly aware of security concerns related to the domain, and howto address themWho Is This Book ForBeginners interested in building a career in DevOps as well as professionals looking to gain expertise and advance their career with greater knowledge of IaC. including Technical Product Managers, and Architects.
A Guide to SCILAB with Applications
This Guide to SCILAB is a comprehensive treatment of the Scilab software system. It contains brief explanations of Scilab commands, programming, and graphing capabilities. This book is intended for beginning and experienced science and mathematics students. Coverage includes Scilab commands used in courses that involve calculus, linear algebra, differential equations, and graphics with plenty of examples and applications.
Peeking at Call-A.P.P.L.E. 1978
PEEKing at Call-A.P.P.LE.: 1978 Compendium of Magazine Articles represents a nostalgic look back at the early years of the Apple computing revolution through the eyes of the Apple Pugetsound Program Library Exchange (A.P.P.L.E.) user group. Articles from all 10 issues from the first year of Call-A.P.P.L.E. magazine are organized into categories such as: BASIC, Color Graphics, Disk Fundamentals, Printing and the Monitor. Over 100 pages are enhanced and restored, complete with advertisements and program listings. Relive the earliest days of the Apple II computer through the eyes of the creators and users. Highlights Include: - Articles and programs from Apple computing legends including: Darrell Aldrich, Ron Aldrich, Val Golding, Bob Huelsdonk, Randy Wigginton, Don Williams, and Apple co-founder Steve Wozniak. - A brief history of Apple by former Apple Inc. CEO Michael Scott. - The first documentation of Integer BASIC and Applesoft outside of Apple. - Reviews of the Disk II, DOS 3.1, Applesoft, the first printer for the Apple II, and many other revolutionary products.
Modern System Administration
Early system administration required in-depth knowledge of a variety of services on individual systems. Now, the job is increasingly complex and different from one company to the next with an ever-growing list of technologies and third-party services to integrate. How does any one individual stay relevant in systems and services? This practical guide helps anyone in operations - sysadmins, automation engineers, IT professionals, and site reliability engineers - understand the essential concepts of the role today. Collaboration, automation, and the evolution of systems change the fundamentals of operations work. No matter where you are in your journey, this book provides you the information to craft your path to advancing essential system administration skills. Author Jennifer Davis provides examples of modern practices and tools with recommended materials to advance your skills. Topics include: Development and testing: Version control, fundamentals of virtualization and containers, testing, and architecture review Deploying and configuring services: Infrastructure management, networks, security, storage, serverless, and release management Scaling administration: Monitoring and observability, capacity planning, log management and analysis, and security and compliance
Modern Concurrency on Apple Platforms
Build solid software with modern and safe concurrency features. Concurrency is one of the hardest problems in computer science. For years, computer scientists and engineers have developed different strategies for dealing with concurrency. However, the original concurrency primitives are complicated and difficult to understand, and even harder to implement. Using the new async/await APIs in Swift, this book will explain how your code can abstract a lot of the complexity with a simpler interface so you never have to deal with concurrency primitives such as semaphores, locks, and threads yourself. This will allow you to write concurrent code that is easier to read, easier to write, and easier to maintain. These new APIs are deeply ingrained into Swift, offering compile-level features that will keep you from writing dangerous concurrent code. You'll start by exploring why concurrency is hard to implement in a traditional system. Explaining the definition of concurrency and what its primitives are will help you understand why they are hard to use correctly. These concepts will become clearer as you work through the sample projects. The book's focus then shifts exclusively to the new APIs, helping you understand how the integration of the system with the language itself makes it easier for you to write concurrent code without overstepping the bounds of the concurrency safe zone. By the end of the book, you'll have a solid foundation for working safely with concurrent code using the new async/await APIs.What You'll LearnUnderstand concurrency and its traditional problems Work with the new async/await API and all its features, from the basic usage and await keywords, to task groups and async sequences.Implement modern and safe concurrent code that you can start using right awayWho This Book Is For Experienced iOS developers at a semi-senioror senior level. Knowledge on the Grand Central Dispatch is a bonus, but not required.
Advances in Model and Data Engineering in the Digitalization Era
This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.
Advances in Service-Oriented and Cloud Computing
This volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. The workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events: First International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022)PhD Symposium of ESOCC 2022ESOCC 2022 Projects TrackESOCC 2022 Industrial Track
Efficient Go
With technological advancements, fast markets, and higher complexity of systems, software engineers tend to skip the uncomfortable topic of software efficiency. However, tactical, observability-driven performance optimizations are vital for every product to save money and ensure business success. With this book, any engineer can learn how to approach software efficiency effectively, professionally, and without stress. Author Bartlomiej Plotka provides the tools and knowledge required to make your systems faster and less resource-hungry. Efficient Go guides you in achieving better day-to-day efficiency using Go. In addition, most content is language-agnostic, allowing you to bring small but effective habits to your programming or product management cycles. This book shows you how to: Clarify and negotiate efficiency goals Optimize efficiency on various levels Use common resources like CPU and memory effectively Assess efficiency using observability signals like metrics, logging, tracing, and (continuous) profiling via open source projects like Prometheus, Jaeger, and Parca Apply tools like go test, pprof, benchstat, and k6 to create reliable micro and macro benchmarks Efficiently use Go and its features like slices, generics, goroutines, allocation semantics, garbage collection, and more!
Professional C＋＋
This book contains all the necessary knowledge to learn, think and become a professional C++ developer for building real world and critical software. It requires some basic knowledge that could be acquired at the University, Engineering Schools or just by reading the right books for the right decision. C++ gave you the ability to create, design, think and implement such amazing big big stuff without limits. The industry is lead by C and C++. Ok, everybody has heard about security, memory management problem of unsecure stuff and that bla bla. OK listen to me: give me the list of all your applications on your laptop and I promise to you: 90% of the are made with C and C++. So who are the dinosaurs ? C/C++ developers or Marketing Clowns that wants you to drink Coc-Coal and Jack Daniel's on the morning, on twelve and in the afternoon ? "The World is Built on C++" by Herb Sutter. "The C++ Is The Invisible Foundation of Everything" by Bjarne Stroustrup. Windows, Office, Linux, LibreOffice, Chrome and all the C/C++ backed Linux shared libraries are done with native stuff. From GCC, Clang to CL.EXE shipped with Visual Studio from my Microsoft friends in Redmond, just dive and sometimes, deep dive into C++. It's an infinite source of learning, different way to cook. You will embrace the way GAFAM are developing software. Real World Wide software and all World Wide Critical software that makes our world running for the business, the economy and the Cloud, the gaming, the medical, the energy, the military and the old embedded industry reborn as IoT is all native are using C++ . Native World Is The Real Answer from A Complex World. Note: if you are a JS, TS, NET, Java, PHP developers, read this book. Don't be afraid. An then you will know why we rule the world...
Microservices with Go
Build, scale, and maintain microservices in Golang with ease.Key FeaturesCreate and organize well-structured Go microservicesLearn industry best practices and gain insights into Go microservice development tools, patterns, and solutionsCover hands-on Golang examples in each chapterBook DescriptionThis book covers the key benefits and common issues of microservices, helping you understand the problems microservice architecture helps to solve, the issues it usually introduces, and the ways to tackle them. You'll start by learning about the importance of using the right principles and standards in order to achieve the key benefits of microservice architecture. The following chapters will explain why the Go programming language is one of the most popular languages for microservice development and lay down the foundations for the next chapters of the book. You'll explore the foundational aspects of Go microservice development including service scaffolding, service discovery, data serialization, synchronous and asynchronous communication, deployment, and testing. After covering the development aspects, you'll progress to maintenance and reliability topics. The last part focuses on more advanced topics of Go microservice development including system reliability, observability, maintainability, and scalability. In this part, you'll dive into the best practices and examples which illustrate how to apply the key ideas to existing applications, using the services scaffolded in the previous part as examples. By the end of this book, you'll have gained hands-on experience with everything you need to develop scalable, reliable and performant microservices using Go.What you will learnGet familiar with the industry's best practices and solutions in microservice developmentUnderstand service discovery in the microservices environmentExplore reliability and observability principlesDiscover best practices for asynchronous communicationFocus on how to write high-quality unit and integration tests in Go applicationsUnderstand how to profile Go microservicesWho this book is forThis book is for all types of developers, from people interested in learning how to write microservices in Go to seasoned professionals who want to take the next step in mastering the art of writing scalable and reliable microservice-based systems. A basic understanding of Go will come in handy.Table of ContentsIntroduction to microservicesScaffolding a Go microserviceService discoverySerialization Synchronous communicationAsynchronous communicationStoring Service DataDeployment with KubernetesUnit and Integration TestingReliability overviewCollecting Service Telemetry DataSetting up Service AlertingAdvanced Topics
Intelligent Crowdsourced Testing
In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call. Since then, by modifying crowdsourcing into different forms, some of the most successful new companies on the market have used this idea to make people's lives easier and better. On the other hand, software testing has long been recognized as a time-consuming and expensive activity. Mobile application testing is especially difficult, largely due to compatibility issues: a mobile application must work on devices with different operating systems (e.g. iOS, Android), manufacturers (e.g. Huawei, Samsung) and keypad types (e.g. virtual keypad, hard keypad). One cannot be 100% sure that, just because a tested application works well on one device, it will run smoothly on all others.Crowdsourced testing is an emerging paradigm that can improve the cost-effectiveness of software testing and accelerate the process, especially for mobile applications. It entrusts testing tasks to online crowdworkers whose diverse testing devices/contexts, experience, and skill sets can significantly contribute to more reliable, cost-effective and efficient testing results. It has already been adopted by many software organizations, including Google, Facebook, Amazon and Microsoft. This book provides an intelligent overview of crowdsourced testing research and practice. It employs machine learning, data mining, and deep learning techniques to process the data generated during the crowdsourced testing process, to facilitate the management of crowdsourced testing, and to improve the quality of crowdsourced testing.
A Software Development Approach for Driving Competitiveness in Small Firms
The COVID-19 Pandemic has forced many businesses to accelerate their digital transformation strategies to continue to meet the changing needs of their customers. This has resulted in significant growth in the global software market. However, for decades, managing software product quality has been a major challenge for many software development firms. This low success rate is due mainly to the development and delivery of low-quality software products. In addition to the direct costs associated with poor-quality software, software flaws can also raisesecurity concerns, as hackers can gain complete control of various devices and data, such as mobile phones, computers, or the operational transactions of businesses. These security and privacy breaches are currently occurring with great frequency.Although producers and consumers of software products spend vast amounts of money developing and purchasing these products, in many cases the promised benefits of user satisfaction, efficiency, productivity and profitability are not realized. In more severe circumstances, software development firms have failed and face the threat of going bankrupt, being acquired or suffering closure, because customers are demanding high-quality software products that they consistently fail to deliver. Small and medium enterprises (SMEs) operating within the software development industry have a more critical need to produce high-quality software since they are less able to absorb both the cost and the reputational impact of producing low-quality output.A Software Development Approach for Driving Competitiveness in Small Firms provides some cost-efficient options that can help SMEs increase the likelihood that their software will be of high quality. It tells the story of the entrepreneurial journey that small firms should take to deliver high-quality software products. By utilizing practical examples and providing several recommended solutions to decrease the likelihood of producing low-quality software, the book outlines how mobilizing people, processes and technology are integral to the software development process and emphasizes why process maturity is the most influential factor in software development in small and medium enterprises.
Foundations of Arm64 Linux Debugging, Disassembling, and Reversing
Gain a solid understanding of how Linux C and C++ compilers generate binary code. This book explains the reversing and binary analysis of ARM64 architecture now used by major Linux cloud providers and covers topics ranging from writing programs in assembly language, live debugging, and static binary analysis of compiled C and C++ code. It is ideal for those working with embedded devices, including mobile phones and tablets. Using the latest version of Red Hat, you'll look closely at the foundations of diagnostics of core memory dumps, live and postmortem debugging of Linux applications, services, and systems. You'll also work with the GDB debugger and use it for disassembly and reversing. This book uses practical step-by-step exercises of increasing complexity with explanations and many diagrams, including some necessary background topics. In addition, you will be able to analyze such code confidently, understand stack memory usage, and reconstruct original C/C++ code. And as you'll see, memory forensics, malware, and vulnerability analysis, require an understanding of ARM64 assembly language and how C and C++ compilers generate code, including memory layout and pointers. This book provides the background knowledge and practical foundations you'll need to understand internal Linux program structure and behavior. Foundations of ARM64 Linux Debugging, Disassembling, and Reversing is the perfect companion to Foundations of Linux Debugging, Disassembling, and Reversing for readers interested in the cloud or cybersecurity. What You'll LearnReview the basics of ARM64 assembly languageExamine the essential GDB debugger commands for debugging and binary analysis Study C and C++ compiler code generation with and without compiler optimizations Look at binary code disassembly and reversing patternsSee how pointers in C and C++ are implemented and usedWho This Book Is ForSoftware support and escalation engineers, cloud security engineers, site reliability engineers, DevSecOps, platform engineers, software testers, Linux C/C++ software engineers and security researchers without ARM64 assembly language background, and beginners learning Linux software reverse engineering techniques.
Foundations of Linux Debugging, Disassembling, and Reversing
Review topics ranging from Intel x64 assembly language instructions and writing programs in assembly language, to pointers, live debugging, and static binary analysis of compiled C and C++ code. This book is ideal for Linux desktop and cloud developers. Using the latest version of Debian, you'll focus on the foundations of the diagnostics of core memory dumps, live and postmortem debugging of Linux applications, services, and systems, memory forensics, malware, and vulnerability analysis. This requires an understanding of x64 Intel assembly language and how C and C++ compilers generate code, including memory layout and pointers. This book provides the back-ground knowledge and practical foundations you'll need in order to master internal Linux program structure and behavior. It consists of practical step-by-step exercises of increasing complexity with explanations and ample diagrams. You'll also work with the GDB debugger and use it for disassembly and reversing. By the end of the book, you will have a solid understanding of how Linux C and C++ compilers generate binary code. In addition, you will be able to analyze such code confidently, understand stack memory usage, and reconstruct original C/C++ code. Foundations of Linux Debugging, Disassembling, and Reversing is the perfect companion to Foundations of ARM64 Linux Debugging, Disassembling, and Reversing for readers interested in the cloud or cybersecurity.What You'll LearnReview the basics of x64 assembly languageExamine the essential GDB debugger commands for debugging and binary analysis Study C and C++ compiler code generation with and without compiler optimizations Look at binary code disassembly and reversing patternsSee how pointers in C and C++ are implemented and usedWho This Book Is ForSoftware support and escalation engineers, cloud security engineers, site reliability engineers, DevSecOps, platform engineers, software testers, Linux C/C++ software engineers and security researchers without Intel x64 assembly language background, beginners learning Linux software reverse engineering techniques, and engineers coming from non-Linux environments.
Simplifying Hybrid Cloud Adoption with AWS
Become an expert in AWS Outposts and Hybrid architectures with in-depth explanations of the product and order processes while exploring the capabilities for creating next-generation edge solutionsKey Features: Learn AWS Outposts from the ground up guided by an AWS hybrid edge solutions architectMaster hybrid edge concepts, use cases, and architectures and discover how AWS Outposts fits into this spaceBecome the go-to professional for designing, deploying, operating, and maintaining AWS OutpostsBook Description: The hybrid edge specialty is often misunderstood because it began with an on-premises-focused view encompassing everything not running inside the traditional data center. If you too have workloads that need to live on premises and need a solution to bridge the gap between both worlds, this book will show you how AWS Outposts allows workloads to leverage the benefits of the cloud running on top of AWS technology.In this book, you'll learn what the Edge space is, the capabilities to look for when selecting a solution to operate in this realm, and how AWS Outposts delivers. The use cases for Outposts are thoroughly explained and the physical characteristics are detailed alongside the service logical constructs and facility requirements. You'll gain a comprehensive understanding of the sales process-from order placement to rack delivery to your location. As you advance, you'll explore how AWS Outposts works in real life with step-by-step examples using AWS CLI and AWS Console before concluding your journey with an extensive overview of security and business continuity for maximizing the value delivered by the product.By the end of this book, you'll be able to create compelling hybrid architectures, solve complex use cases for hybrid scenarios, and get ready for your way forward with the help of expert guidance.What You Will Learn: Discover the role of AWS Outposts in the hybrid edge spaceUnderstand rack components with typical use cases for AWS OutpostsExplore AWS services running on Outposts and its capabilitiesSelect, order, and successfully deploy your OutpostsWork with Outposts resources for hands-on operationsAssess logical and physical security aspects and considerationsMonitor and log configuration and usage to improve your architectureMaintain and troubleshoot hardware and software that run AWS servicesWho this book is for: If you are a seasoned data center professional, this book will empower you to support businesses to build hybrid edge solutions with AWS technology. It will also help AWS Cloud professionals to master a unique offering in the AWS portfolio that takes Amazon web services beyond the regions. Familiarity with AWS services and traditional data center concepts is assumed.
Applied Computer Sciences in Engineering
This book constitutes the proceedings of the 9th Workshop on Engineering Applications on Applied Computer Sciences in Engineering, WEA 2022, which took place in Bogot獺, Colombia, in November/December 2022. The 39 papers presented in this volume were carefully reviewed and selected from 143 submissions. They were organized in topical sections as follows: Artificial Intelligence; Optimization; Simulation; and Applications.
Model and Data Engineering
This book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022. The 18 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover topics such as database systems, data stream analysis, knowledge-graphs, machine learning, model-driven engineering, image processing, diagnosis, natural language processing, optimization, and advanced applications such as the internet of things and healthcare.
Static Analysis
This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.
Job Scheduling Strategies for Parallel Processing
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12 revised full papers presented were carefully reviewed and selected from 19 submissions. In addition to this,1 keynote paper was included in the workshop. The volume contains two sections: Technical papers and Open Scheduling Problems.
Principles of Systems Design
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022. This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Algorithms and Architectures for Parallel Processing
This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022. Due to COVID-19 pandemic the conference was held virtually. The 33 full papers and 10 short papers, presented were carefully reviewed and selected from 91 submissions. The papers cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems
SQL Server Analytical Toolkit
Learn window function foundational concepts through a cookbook-style approach, beginning with an introduction to the OVER() clause, its various configurations in terms of how partitions and window frames are created, and how data is sorted in the partition so that the window function can operate on the partition data sets. You will build a toolkit based not only on the window functions but also on the performance tuning tools, use of Microsoft Excel to graph results, and future tools you can learn such as PowerBI, SSIS, and SSAS to enhance your data architecture skills.This book goes beyond just showing how each function works. It presents four unique use-case scenarios (sales, financial, engineering, and inventory control) related to statistical analysis, data analysis, and BI. Each section is covered in three chapters, one chapter for each of the window aggregate, ranking, and analytical function categories.Each chapter includes several TSQL code examples and is re-enforced with graphic output plus Microsoft Excel graphs created from the query output. SQL Server estimated query plans are generated and described so you can see how SQL Server processes the query. These together with IO, TIME, and PROFILE statistics are used to performance tune the query. You will know how to use indexes and when not to use indexes.You will learn how to use techniques such as creating report tables, memory enhanced tables, and creating clustered indexes to enhance performance. And you will wrap up your learning with suggested steps related to business intelligence and its relevance to other Microsoft Tools such as Power BI and Analysis Services.All code examples, including code to create and load each of the databases, are available online.What You Will LearnUse SQL Server window functions in the context of statistical and data analysisRe-purpose code so it can be modified for your unique applicationsStudy use-case scenarios that span four critical industriesGet started with statistical data analysis and data mining using TSQL queries to dive deep into dataStudy discussions on statistics, how to use SSMS, SSAS, performance tuning, and TSQL queries using the OVER() clause.Follow prescriptive guidance on good coding standards to improve code legibility Who This Book Is ForIntermediate to advanced SQL Server developers and data architects. Technical and savvy business analysts who need to apply sophisticated data analysis for their business users and clients will also benefit. This book offers critical tools and analysis techniques they can apply to their daily job in the disciplines of data mining, data engineering, and business intelligence.
The Python Workshop - Second Edition
Gain proficiency, productivity, and power by working on projects and kick-starting your career in Python with this comprehensive, hands-on guide.Key Features: Understand and utilize Python syntax, objects, methods, and best practicesExplore Python's many features and libraries through real-world problems and big dataUse your newly acquired Python skills in machine learning as well as web and software developmentBook Description: Python is among the most popular programming languages in the world. It's ideal for beginners because it's easy to read and write, and for developers, because it's widely available with a strong support community, extensive documentation, and phenomenal libraries - both built-in and user-contributed.This project-based course has been designed by a team of expert authors to get you up and running with Python. You'll work though engaging projects that'll enable you to leverage your newfound Python skills efficiently in technical jobs, personal projects, and job interviews. The book will help you gain an edge in data science, web development, and software development, preparing you to tackle real-world challenges in Python and pursue advanced topics on your own. Throughout the chapters, each component has been explicitly designed to engage and stimulate different parts of the brain so that you can retain and apply what you learn in the practical context with maximum impact.By completing the course from start to finish, you'll walk away feeling capable of tackling any real-world Python development problem.What You Will Learn: Write efficient and concise functions using core Python methods and librariesBuild classes to address different business needsCreate visual graphs to communicate key data insightsOrganize big data and use machine learning to make regression and classification predictionsDevelop web pages and programs with Python tools and packagesAutomate essential tasks using Python scripts in real-time executionWho this book is for: This book is for professionals, students, and hobbyists who want to learn Python and apply it to solve challenging real-world problems. Although this is a beginner's course, you'll learn more easily if you already have an understanding of standard programming topics like variables, if-else statements, and functions. Experience with another object-oriented program, though not essential, will also be beneficial. If Python is your first attempt at computer programming, this book will help you understand the basics with adequate detail for a motivated student.
Analog Computing
Analog computing is one of the main pillars of Unconventional Computing. Almost forgotten for decades, we now see an ever-increasing interest in electronic analog computing because it offers a path to high-performance and highly energy-efficient computing. These characteristics are of great importance in a world where vast amounts of electric energy are consumed by today's computer systems. Analog computing can deliver efficient solutions to many computing problems, ranging from general purpose analog computation to specialised systems like analog artificial neural networks. The book "Analog Computing" has established itself over the past decade as the standard textbook on the subject and has been substantially extended in this second edition, which includes more than 300 additional bibliographical entries, and has been expanded in many areas to include much greater detail. These enhancements will confirm this book's status as the leading work in the field. It covers the history of analog computing from the Antikythera Mechanism to recent electronic analog computers and uses a wide variety of worked examples to provide a comprehensive introduction to programming analog computers. It also describes hybrid computers, digital differential analysers, the simulation of analog computers, stochastic computers, and provides a comprehensive treatment of classic and current analog computer applications. The last chapter looks into the promising future of analog computing.
Grokking Algorithms
Everything you need to know about functional programming all in one place!Granted, functional programming takes a little more learning than traditional programming, but it isn't as hard as you might think.This book is written in easy-to-understand language, with plenty of simple examples to explain the main functional programming concepts and lots of code examples to show you how it all works. In this book, you will: Learn the different types of algorithms and how they workLearn about the practical uses of algorithmsGet background knowledge about algorithms with concrete examplesMaster selection sort and recursionDiscover quicksort with real-life examplesLearn about hashtags and why they are usefulDiscover breadth-first search and dijkstra's algorithmMaster dynamic programmingAlgorithms are not the easiest part of data science to learn, but they don't have to be hard. This book shows you how they work by using real-world problems to demonstrate them. It starts off nice and easy, gradually building into more complex subjects as you begin to see everything you face daily in terms of an algorithm. I've provided plenty of examples and code for you to work through and lots of different subjects to tempt and excite you.
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.
Algorithmics of Wireless Networks
This book constitutes the refereed proceedings of the 18th International Symposium on Algorithmics of Wireless Network, ALGOSENSORS 2022, which took place in Potsdam, Germany in September 2022.The 10 full papers presented in this volume were carefully reviewed and selected from 21 submissions. ALGOSENSORS is an international symposium dedicated to algorithmic aspects of wireless networks.
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).
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. 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. Practice
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.
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.
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.
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
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.
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.
