Microsoft Access 2021 Programming Pocket Primer
As part of the successful Pocket Primer series, this book was designed for someone like you who needs to master Access programming fundamentals without spending too much time. All you need is this short book to get you started. It will show you only the things you need to know to feel at home with VBA. What you learn in this book on Access programming will also apply to, say, Excel programming. The book is divided into nine chapters that progressively introduce you to programming Microsoft Access 2021. Features: Includes a companion disc with all of the "Hands-On" files needed to complete the chapter projects and all the images from the text (files available from the publisher by emailing info@merclearning.com with proof of purchase)Introduces you to using the VBA programming language in Microsoft Access 2021.
Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.
Human-Centered Software Engineering
This book constitutes the refereed conference proceedings of the 9th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2022, which was held in Eindhoven, The Netherlands, during August 2022. The 11 full papers presented together with 2 poster and demo papers were carefully reviewed and selected from 25 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: user-centred design approaches; model-based and model-driven approaches; software development strategies; and posters and demos.
Model-Based Safety and Assessment
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in September 2022.The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: ​smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.
Hybrid Cloud Infrastructure and Operations Explained
Modernize and migrate smoothly to hybrid cloud infrastructure and successfully mitigate complexities relating to the infrastructure, platform, and production environmentKey Features: Presents problems and solutions for application modernization based on real-life use casesHelps design and implement efficient, highly available, and scalable cloud-native applicationsTeaches you how to adopt a cloud-native culture for successful deployments on hybrid cloud platformsBook Description: Most organizations are now either moving to the cloud through modernization or building their apps in the cloud. Hybrid cloud is one of the best approaches for cloud migration and the modernization journey for any enterprise. This is why, along with coding skills, developers need to know the big picture of cloud footprint and be aware of the integration models between apps in a hybrid and multi-cloud infrastructure. This book represents an overview of your end-to-end journey to the cloud. To be future agnostic, the journey starts with a hybrid cloud.You'll gain an overall understanding of how to approach migration to the cloud using hybrid cloud technologies from IBM and Red Hat. Next, you'll be able to explore the challenges, requirements (both functional and non-functional), and the process of app modernization for enterprises by analyzing various use cases. The book then provides you with insights into the different reference solutions for app modernization on the cloud, which will help you to learn how to design and implement patterns and best practices in your job.By the end of this book, you'll be able to successfully modernize applications and cloud infrastructure in hyperscaler public clouds such as IBM and hybrid clouds using Red Hat technologies as well as develop secure applications for cloud environments.What You Will Learn: Strategize application modernization, from the planning to the implementation phaseApply cloud-native development concepts, methods, and best practicesSelect the right strategy for cloud adoption and modernizationExplore container platforms, storage, network, security, and operationsManage cloud operations using SREs, FinOps, and MLOps principlesDesign a modern data insight hub on the cloudWho this book is for: This book is for cloud-native application developers involved in modernizing legacy applications by refactoring and rebuilding them. Cloud solution architects and technical leaders will also find this book useful. It will be helpful to have a basic understanding of cloud-native application development and cloud providers before getting started with this book.
Workflow Automation with Microsoft Power Automate - Second Edition
Make your organization more productive and simplify your workflow by using Microsoft Power Automate for business process automationPurchase of the print or Kindle book includes a free eBook in PDF format.Key FeaturesLearn the latest in Power Automate with updated user interface visuals and new technology includedApply practical knowledge like managing user inputs, documents, approvals, and database storageCreate flows that integrate with services both inside and outside the Microsoft 365 ecosystemBook DescriptionMS Power Automate is a workflow automation tool built into MS 365 to help businesses automate repetitive tasks or trigger business processes without user intervention. It is a low-code tool that is part of the Microsoft applications framework, the Power Platform.If you are new to Power Automate, this book will give you a comprehensive introduction and a smooth transition from beginner to advanced topics to help you get up to speed with business process automation. Complete with hands-on tutorials and projects, this easy-to-follow guide will show you how to configure automation workflows for business processes between hundreds of applications, using examples within Microsoft and including third-party apps like Dropbox and Twitter. Once you understand how to use connectors, triggers, and actions to automate business processes, you'll learn how to manage user input, documents, and approvals, as well as interact with databases. This edition also introduces new Power Automate features such as using robotic process automation (RPA) to automate legacy applications, interacting with the Microsoft Graph API, and working with artificial intelligence models to do sentiment analysis.By the end of this digital transformation book, you'll have mastered the basics of using Power Automate to replace repetitive tasks with automation technology.What you will learnLearn the basic building blocks of Power Automate capabilitiesExplore connectors in Power Automate to automate email workflowsDiscover how to make a flow for copying files between cloud servicesConfigure Power Automate Desktop flows for your business needsBuild on examples to create complex database and approval flowsConnect common business applications like Outlook, Forms, and TeamsLearn the introductory concepts for robotic process automationDiscover how to use AI sentiment analysisWho this book is forThis book is excellent for information workers and Power users who are looking to automate repetitive tasks for their organizations or for projects they are undertaking. To make the most of this book you should have some basic exposure to the MS 365 platform.Table of ContentsIntroducing Microsoft Power AutomateGetting Started with Power AutomateWorking with EmailCopying filesCreating Button FlowsGenerating Push NotificationsWorking with Shared FlowsWorking with ConditionsGetting Started with ApprovalsWorking with Multiple ApprovalsPosting Approvals to TeamsUsing a DatabaseWorking with Microsoft FormsAccepting User InputAutomating Azure ADIntroducing Robotic Process AutomationIntroducing AI ModelsExporting, Importing, and Distributing FlowsMonitoring and Troubleshooting Flows
Learning Functional Programming
Learn how to think and write code like a functional programmer. With this practical guide, software developers familiar with object-oriented programming will dive into the core concepts of functional programming and learn how to use both functional and OOP features together on large or complex software projects. Author Jack Widman uses samples from Java, Python, C#, Scala, and JavaScript to help you gain a new perspective and a set of tools for managing the complexity in your problem domain. You'll be able to write code that's simpler, reusable, easier to test and modify, and more consistently correct. This book also shows you how to use patterns from category theory to help bridge the gap between OOP and functional programming. Learn functional programming fundamentals and explore the way functional programmers approach problems Understand how FP differs from object-oriented and imperative programming Use a set of practical, applicable design patterns that model reality in a functional way Learn how to incorporate FP and OOP features into software projects Apply functional design patterns appropriately and use them to write correct, robust, and easily modifiable code
Computer Algebra in Scientific Computing
This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, which took place in Gebze, Turkey, in August 2022. The 20 full papers included in this book were carefully reviewed and selected from 32 submissions. They focus on the theory of symbolic computation and its implementation in computer algebra systems as well as all other areas of scientific computing with regard to their benefit from or use of computer algebra methods and software.
Practical Linux DevOps
Learn, develop and hone your Linux and DevOps skills by building a lab for learning, testing and exploring the latest Linux and open-source technologies. This book helps Linux users and others to master modern DevOps practices using a wide range of software and tools.Having a home or work-based Linux lab is indispensable to anyone looking to experiment with the ever-evolving landscape of new software and DevOps. With open-source tools and readily available hardware, you will end up with a lab you can use to try virtually any modern software, including Chef, Docker, Kubernetes and stalwarts like DNS, Dovecot, and Postfix for email. You'll set up pipelines for software deployment and focus on discrete projects that help you learn through doing. In the end, you'll acquire the skills needed to become better informed, more marketable engineers and developers, and better able to take on a wide array of software projects with confidence.Practical Linux DevOps is the perfect companion for those who want to learn how to build systems with utility and learn about modern hardware and software practices.What You'll LearnSet up a Linux-based virtualization environment and workstationCreate a lab network with a fully qualified domainBuild web-based applications with NGINX and LAMPUse version-control tools like GitAutomate deployments and configurationsThink like a modern DevOps engineerWho This Book Is For New and modestly experienced users with basic understanding of a basic understanding of Windows or Linux command line, as well as would-be and current DevOps engineers, and full-stack and other software developers
Learn C Programming - Second Edition
Get started with writing simple programs in C while learning core programming conceptsKey Features: - Learn essential C concepts such as variables, data structures, functions, loops, and pointers- Grasp the core programming aspects that form the base of many modern programming languages- Work with updated code samples and cover array declaration and initialization in detail in this new editionBook Description: The foundation for many modern programming languages such as C++, C#, JavaScript, and Go, C is widely used as a system programming language as well as for embedded systems and high-performance computing. With this book, you'll be able to get up to speed with C in no time.The book takes you through basic programming concepts and shows you how to implement them in the C programming language. Throughout the book, you'll create and run programs that demonstrate essential C concepts, such as program structure with functions, control structures such as loops and conditional statements, and complex data structures. As you make progress, you'll get to grips with in-code documentation, testing, and validation methods. This new edition expands upon the use of enumerations, arrays, and additional C features, and provides two working programs based on the code used in the book. What's more, this book uses the method of intentional failure, where you'll develop a working program and then purposely break it to see what happens, thereby learning how to recognize possible mistakes when they happen.By the end of this C programming book, you'll have developed basic programming skills in C that can be easily applied to other programming languages and have gained a solid foundation for you to build on as a programmer.What You Will Learn: - Implement fundamental programming concepts through C programs- Understand the importance of creating complex data types and the functions to manipulate them- Develop good coding practices and learn to write clean code- Validate your programs before developing them further- Use the C Standard Library functions and understand why it is advantageous- Build and run a multi-file program with Make- Get an overview of how C has changed since its introduction and where it is goingWho this book is for: If you're an absolute beginner who has basic familiarity with operating a computer, this book will help you learn the most fundamental concepts and practices that you need to know to become a successful C programmer. If you're an experienced programmer, you'll find the full range of C syntax as well as common C idioms covered in the book useful.
Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
Understanding Your ZX81 ROM
Launched in 1981, Sir Clive Sinclair's ZX81 - successor to his ZX80 released the year before - was designed to be a low-cost introduction to home computing for the general public. It was a hugely successful machine, with over one and a half million 'official' units being sold; many more unauthorised 'clones' were also produced, particularly in Russia and other Eastern Bloc countries of the era. One could either purchase the machine pre-built, or - as a significant number of consumers did - buy it in kit form for assembly at home at a slightly cheaper price. This 'DIY' approach, encouraged by Sinclair Research, became a core element of the computer's genetic make-up. Those who were comfortable putting together the four silicon chips and other such components were just as keen to poke around the machine's memory, learning as much as they could about its capability; the programs they would write could easily be shared once saved onto a standard audio cassette.This book helps the reader truly understand how the ZX81 works, with sections covering everything from the structure of the Z80 microprocessor used in the machine to the computer's registers, ALU and more. With an introduction to both binary and hex, Understanding Your ZX81 ROM helped many people get the most out of their machine in the very earliest days of home computing.
Computer Aided Verification
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
Rewriting Logic and Its Applications
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.
Microsoft Power Platform Solution Architect's Handbook
Gain expertise in solution architecture and master all aspects of Power Platform, from data and automation to analytics and securityKey Features: Become a full-fledged Power Platform expert and lead your solutions with conviction and clarityAdopt a consistent, systematic, and advanced approach to solution architectureWork on practical examples and exercises to develop expert-level skills and prepare for certificationBook Description: If you've been looking for a way to unlock the potential of Microsoft Power Platform and take your career as a solution architect to the next level, then look no further-this practical guide covers it all.Microsoft Power Platform Solution Architect's Handbook will equip you with everything you need to build flexible and cost-effective end-to-end solutions. Its comprehensive coverage ranges from best practices surrounding fit-gap analysis, leading design processes, and navigating existing systems to application lifecycle management with Microsoft Azure DevOps, security compliance monitoring, and third-party API integration.The book takes a hands-on approach by guiding you through a fictional case study throughout the book, allowing you to apply what you learn as you learn it. At the end of the handbook, you'll discover a set of mock tests for you to embed your progress and prepare for PL-600 Microsoft certification.Whether you want to learn how to work with Power Platform or want to take your skills from the intermediate to advanced level, this book will help you achieve that and ensure that you're able to add value to your organization as an expert solution architect.What You Will Learn: Cement the foundations of your applications using best practicesUse proven design, build, and go-live strategies to ensure successLead requirements gathering and analysis with confidenceSecure even the most complex solutions and integrationsEnsure compliance between the Microsoft ecosystem and your businessBuild resilient test and deployment strategies to optimize solutionsWho this book is for: This book is for solution architects, enterprise architects, technical consultants, and business and system analysts who implement, optimize, and architect Power Platform and Dataverse solutions. It will also help anyone who needs a detailed playbook for architecting and delivering successful digital transformation projects that leverage Power Platform apps and the Microsoft business apps ecosystem. A solid understanding of Power Platform configuration and administration, Power Automate processes, Power Apps Portals, Canvas Apps, Dataverse Plugins, and Workflow Capabilities is expected.
Spatial Gems, Volume 1
This book presents fundamental new techniques for understanding and processing geospatial data. These "spatial gems" articulate and highlight insightful ideas that often remain unstated in graduate textbooks, and which are not the focus of research papers. They teach us how to do something useful with spatial data, in the form of algorithms, code, or equations. Unlike a research paper, Spatial Gems, Volume 1 does not focus on "Look what we have done!" but rather shows "Look what YOU can do!" With contributions from researchers at the forefront of the field, this volume occupies a unique position in the literature by serving graduate students, professional researchers, professors, and computer developers in the field alike.
Spatial Gems, Volume 1
This book presents fundamental new techniques for understanding and processing geospatial data. These "spatial gems" articulate and highlight insightful ideas that often remain unstated in graduate textbooks, and which are not the focus of research papers. They teach us how to do something useful with spatial data, in the form of algorithms, code, or equations. Unlike a research paper, Spatial Gems, Volume 1 does not focus on "Look what we have done!" but rather shows "Look what YOU can do!" With contributions from researchers at the forefront of the field, this volume occupies a unique position in the literature by serving graduate students, professional researchers, professors, and computer developers in the field alike.
Remote Engineering Management
Managing an engineering team is hard, managing a remote engineering team is even harder--but dedicating effort to setting up a proper remote-first environment will allow for your team to thrive. This book breaks down the most important processes in engineering teams, and demonstrates how to make them work effectively in a remote organization. How do you organize code deployments, onboard new hires, give feedback, and stay up to date with your team when you can't see each other in person every day? This book looks at how building connections and working together to solve problems comes naturally when a team is co-located, but can feel almost impossible when everyone is working remotely and communicating over video calls and messages. Whether you're an experienced engineering manager or just getting started, you'll learn why copying in-office practices to the remote office doesn't work, the communication issues behind the scenes you may not even realize are happening, and how to make every aspect of remote work better for your team. From learning about how to remove new remote-specific biases from your interview process, to understanding what the team really thinks about those daily status update meetings, this book will be your guide in creating the best and most inclusive version of your engineering team. What You'll Learn Recognize where current remote processes are falling shortBuild up best practices to lead a team with a people-first and empathetic approachCommunicate effectively in a remote organization Who This Book is For Engineering managers, team leads, directors, and those hoping to move into a lead role, will get the most value out of the book. Many of the learnings around communication will be applicable to any position in an organization, but there's a focus on processes and job duties most relevant to engineers.
Software Engineering
Software engineering is as much about teamwork as it is about technology. This introductory textbook covers both. For courses featuring a team project, it offers tips and templates for aligning classroom concepts with the needs of the students' projects. Students will learn how software is developed in industry by adopting agile methods, discovering requirements, designing modular systems, selecting effective tests, and using metrics to track progress. The book also covers the 'why' behind the 'how-to', to prepare students for advances in industry practices. The chapters explore ways of eliciting what users really want, how clean architecture divides and conquers the inherent complexity of software systems, how test coverage is essential for detecting the inevitable defects in code, and much more. Ravi Sethi provides real-life case studies and examples to demonstrate practical applications of the concepts. Online resources include sample project materials for students, and lecture slides for instructors.
Revolutions and Revelations in Computability
This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022, in Swansea, UK, in July 2022. The 19 full papers together with 7 invited papers presented in this volume were carefully reviewed and selected from 41 submissions. The motto of CiE 2022 was "Revolutions and revelations in computability". This alludes to the revolutionary developments we have seen in computability theory, starting with Turing's and G繹del's discoveries of the uncomputable and the unprovable and continuing to the present day with the advent of new computational paradigms such as quantum computing and bio-computing, which have dramatically changed our view of computability and revealed new insights into the multifarious nature of computation.
Coordination Models and Languages
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.
Deployment and Operation of Complex Software in Heterogeneous Execution Environments
This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.
Kubernetes: Up and Running
In just five years, Kubernetes has radically changed the way developers and ops personnel build, deploy, and maintain applications in the cloud. With this book's updated third edition, you'll learn how this popular container orchestrator can help your company achieve new levels of velocity, agility, reliability, and efficiency--whether you're new to distributed systems or have been deploying cloud native apps for some time. Brendan Burns, Joe Beda, Kelsey Hightower, and Lachlan Evenson--who have worked on Kubernetes at Google and beyond--explain how this system fits into the life cycle of a distributed application. Software developers, engineers, and architects will learn ways to use tools and APIs to automate scalable distributed systems for online services, machine learning applications, or even a cluster of Raspberry Pi computers. This guide shows you how to: Create a simple cluster to learn how Kubernetes works Dive into the details of deploying an application using Kubernetes Learn specialized objects in Kubernetes, such as DaemonSets, jobs, ConfigMaps, and secrets Explore deployments that tie together the lifecycle of a complete application Get practical examples of how to develop and deploy real-world applications in Kubernetes
Algorithms, Humans, and Interactions
Amidst the rampant use of algorithmization enabled by AI, the common theme of AI systems is the human factor. Humans play an essential role in designing, developing, and operationalizing AI systems. We have a remit to ensure those systems run transparently, perform equitably, value our privacy, and effectively fulfill human needs. This book takes an interdisciplinary approach to contribute to the ongoing development of human-AI interaction with a particular focus on the "human" dimension and provides insights to improve the design of AI that could be genuinely beneficial and effectively used in society. The readers of this book will benefit by gaining insights into various perspectives about how AI has impacted people and society and how it will do so in the future, and understanding how we can design algorithm systems that are beneficial, legitimate, usable by humans, and designed considering and respecting human values. This book provides a horizontal set of guidelines and insight into how humans can be empowered by making choices about AI designs that allow them meaningful control over AI. Designing meaningful AI experiences has garnered great attention to address responsibility gaps and mitigate them by establishing conditions that enable the proper attribution of responsibility to humans. This book helps us understand the possibilities of what AI systems can do and how they can and should be integrated into our society.
Descriptional Complexity of Formal Systems
This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022.The 14 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains 4 invited talks. The conference focus to all aspects of descriptional complexity including Automata, grammars, languages, and other formal systems; various modes of operations and complexity measures.
Software Technologies
This book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6-8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.
Euro-Par 2022: Parallel Processing
This book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from the smallest to the largest parallel and distributed systems, from fundamental computational problems and models to full-fledged applications, from architecture and interface design and implementation to tools, infrastructures and applications.
Handbook of Requirements and Business Analysis
Meyer's Handbook of Requirements and Business Analysis is a comprehensive treatise providing the reader with all the principles and techniques necessary to produce effective requirements.Even the best design, implementation and verification are worthless if they are the solution to the wrong problem. Defining the problem properly is the task of requirements, also known as business analysis. To be successful, a project must apply to requirements the same engineering standards as to other parts of system construction.The Handbook presents a holistic view of requirements including four elements or PEGS: Project, Environment, Goals and System. One of its principal contributions is the definition of a Standard Plan for requirements documents, consisting of the four corresponding books and replacing the structure of the obsolete IEEE 1998 standard.The text covers both classical requirements techniques and advanced topics. The successive chapters address: fundamental concepts and definitions; requirements principles; the Standard Plan for requirements; how to write good requirements; how to gather requirements; scenario techniques (use cases, user stories); object-oriented requirements; how to take advantage of formal methods; abstract data types; and the place of requirements in the software lifecycle. The Handbook is suitable both as a practical guide for industry and as a textbook, with over 50 exercises and supplementary material available from the book's site, including slides and links to video lectures (MOOCs).
Working in Public
An inside look at modern open source software development and its influence on our online social world. Open source software, in which developers publish code that anyone can use, has long served as a bellwether for other online behavior. In the late 1990s, it provided an optimistic model for public collaboration, but in the last 20 years it's shifted to solo operators who write and publish code that's consumed by millions. In Working in Public, Nadia Eghbal takes an inside look at modern open source software development, its evolution over the last two decades, and its ramifications for an internet reorienting itself around individual creators. Eghbal, who interviewed hundreds of developers while working to improve their experience at GitHub, argues that modern open source offers us a model through which to understand the challenges faced by online creators. She examines the trajectory of open source projects, including: The GitHub platform for hosting and development The structures, roles, incentives, and relationships involved in open source projects The often-overlooked maintenance required of its creators The costs of production that endure through an application's lifetime. Eghbal also scrutinizes the role of platforms like Twitter, Facebook, Twitch, YouTube, and Instagram, which reduce infrastructure and distribution costs for creators but which massively increase the scope of interactions with their audience. Open source communities are increasingly centered around the work of individual developers rather than teams. Similarly, if creators, rather than discrete communities, are going to become the epicenter of our online social systems, we need to better understand how they work--and we can do so by studying what happened to open source.
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
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments
The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments for detecting different CPU, OS, and virtualization properties, and validated in different case studies.
Devops for Airborne Software
This Springer Brief presents a selection of tools and techniques which either enable or improve the use of DevOps for airborne software engineering. They are evaluated against the unique challenges of the aviation industry such as safety and airworthiness, and exercised using a demonstrator in order to gather first experience. The book is structured as follows: after a short introduction to the main topics of the work in chapter 1, chapter 2 provides more information on the tools, techniques, software and standards required to implement the subsequently presented ideas. In particular, the development practice BDD, the relation between DevOps, CI & CD and both the Rust & the Nix programming language are introduced. In chapter 3 the authors explain and justify their ideas towards advancing the state of the art, mapping the aforementioned tools and techniques to the DevOps Cycle while considering aspects of Do-178C. Next, in chapter 4 the experiences gathered while implementinga demonstrator using the tools and techniques are described. Eventually, chapter 5 briefly summarizes the findings and presents a compilation of open points and missing pieces which are yet to be resolved. The book targets three different reader groups. The first one are development managers from the aerospace industry who need to see examples and experience reports for the application of DevOps for airborne software. The second group are investigators in the safety-critical embedded systems domain who look for benchmarks at various application domains. And the third group are lecturers who offer graduate level software engineering courses for safety-critical software engineering.
Certifying Software Component Performance Specifications
In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
Deriving Goal-oriented Performance Models by Systematic Experimentation
Performance modelling can require substantial effort when creating and maintaining performance models for software systems that are based on existing software. Therefore, this thesis addresses the challenge of performance prediction in such scenarios. It proposes a novel goal-oriented method for experimental, measurement-based performance modelling. We validated the approach in a number of case studies including standard industry benchmarks as well as a real development scenario at SAP.
The Etch-a-Sketch and Other Fun Programs
The Etch-a-Sketch and Other Fun Programs is a collection of Apple II software programmed by a student in the 1980s. BASIC and machine language programming were once taught in schools, and here you'll find a variety of useful graphics, education, utility, and game software. The author also shares stories about his programming experiences in school. Features 13 Programs Including: - The Etch-a-Sketch - fun drawing with keyboard, joystick, and sound. - The Apple - the six color logo in beautiful lo-res. - Annual Graph Matrix - graph monthly amounts for one year. - Compound Interest - calculate investment interest over time. - States & Capitals - learn about the U.S. through quizzes. - H - a powerful HELLO program for launching files in DOS 3.3. - Random Access Filer - a simple text database for contacts. - Tunnel Race - dodge obstacles through a text-based cavern. - Joystick Calibration - optimize your entertainment device.
Double High
Generate text in different typefaces, sizes, colors, and angles from your Apple II programs on the Double Hi-Resolution screen. Features an easy-to-use editor for creation of your own unique character sets, with 46 fonts included. Assumes a working knowledge of Applesoft BASIC.
Directory Title Writer
Directory Title Writer is a DOS 3.3 utility that lets you create elaborate and fancy file names on your Apple II disk catalog. Type inverse, flash, and lower case directly from the keyboard.
Twilight II
Nothing else can match the variety of effects included with Twilight II, the ultimate Apple IIGS screen saver! What good is a screen saver that comes with only a few meager effects? We include over 65 different, colorful and stunning screen saver modules. Twilight II works with most GS/OS System 6.0 desktop programs.
Lean UX and Scrum - Leading Approaches to Agile Design and Agile Development Successfully Combined
Lean UX is probably the most popular and successful approach to agile innovation in interaction design. It ideally supports teams in developing customer solutions of the highest customer value and thus optimizing acceptance and value creation for the user. Based on the principles of lean and agility, it combines approaches and techniques from different methods and frameworks to form one big whole. Recently, through the collaboration of leading experts in Lean UX - such as Jeff Gothelf and Josh Seiden - with experts in Scrum, a joint approach was developed that best combines the strengths and application areas of both disciplines. This combination is presented in this book. Scrum.org offers the "Professional Scrum with User Experience (PSU I)" certification to combine the approaches. This book offers both deeper insights into the approach and targeted exam preparation. It deliberately avoids superfluous material and only covers content relevant to the topic.
Edsger Wybe Dijkstra
Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity.In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.
Edsger Wybe Dijkstra
Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for "fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design." Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity.In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra's numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.
Runtime Verification
This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient practical knowledge required to consider and apply it in industry. It starts with almost no assumptions on the knowledge of the reader and provides exercises throughout the book through which the reader builds their own runtime verification tool. All that is required are basic programming skills and a good working knowledge of the object-oriented paradigm, ideally Java. Drawing from years of the authors' real-world experience, the reader progresses from manually writing runtime verification code to instrumenting monitoring using aspect-oriented programming, after which they explore increasing levels of specification abstraction: automata, regular expressions, and linear time temporal logic. A range of other topics is also explored in the book, including real-time properties, concerns of efficiency and persistence, integration with testing and architectural considerations. The book is written for graduate students specializing in software engineering as well as for industry professionals who need an introduction to the topic of runtime verification. While the book focuses on underlying foundations and practical techniques, it additionally provides for each chapter a reading list in the appendix for the interested reader who would like to deepen their knowledge in a particular area.
The Authoritative Guide on Harbor
1 Artifact Management in The Cloud Native Environment.- 2 Installation and Configuration.- 3 Access Control.- 4 Security Policy.- 5 Remote Replication of Content.- 6 Advanced Management.- 7 Lifecycle Management.- 8 Harbor APIs.- 9 Governance Model of Harbor Community.
Developing Essbase Applications
Maintaining the advanced technical focus found in Developing Essbase Applications, this second volume is another collaborative effort by some of the best Essbase practitioners from around the world. The book explores technology areas that are much-discussed but still very new, including Exalytics and Hybrid Essbase. It covers the latest i
An Atypical ASP.NET Core 6 Design Patterns Guide - Second Edition
The professional developer's essential guide to building robust, maintainable, and flexible web apps by leveraging C# 10 and .NET 6 features and component- and application-scale design patternsKey Features: Apply the SOLID architectural principles and software design patterns effectively with a focus on dependency injectionDiscover modern application architectures such as vertical slice, clean architecture, and event-driven microservicesExplore full-stack ASP.NET Core with an overview of BlazorBook Description: An Atypical ASP.NET Core 6 Design Patterns Guide, Second Edition approaches programming like playing with LEGO(R) snapping small pieces together to create something beautiful. Thoroughly updated for ASP.NET Core 6, with further coverage of microservices patterns, data contracts, and event-driven architecture, this book gives you the tools to build and glue reliable components together to improve your programmatic masterpieces.The chapters are organized based on scale and topic, allowing you to start small and build on a strong base, the same way that you would develop a program. You will begin by exploring basic design patterns, SOLID architectural principles, dependency injection, and other ASP.NET Core 6 mechanisms. You'll explore component-scale patterns, and then move to higher level application-scale patterns and techniques to better structure your applications. Finally, you'll advance to the client side to connect the dots with tools like Blazor and make ASP.NET Core a viable full-stack web development framework.You will supplement your learning with practical use cases and best practices, exploring a range of significant Gang of Four (GoF) design patterns along the way. By the end of the book, you will be comfortable combining and implementing patterns in different ways, and crafting software solutions of any scale.What You Will Learn: Apply the SOLID principles for building flexible and maintainable softwareGet to grips with .NET dependency injectionWork with GoF design patterns such as strategy, decorator, fa癟ade, and compositeExplore the MVC patterns for designing web APIs and web applications using RazorDiscover layering techniques and tenets of clean architectureBecome familiar with CQRS and vertical slice architecture as an alternate to layeringUnderstand microservices and when they can benefit your applicationsBuild ASP.NET User interface from server-side to client-side BlazorWho this book is for: The book is intended for intermediate software and web developers with an understanding of .NET who want to write flexible, maintainable, and robust code for building scalable web applications. Knowledge of C# programming and an understanding of web concepts like HTTP is necessary.
