- Table View
- List View
Reducing Risk with Software Process Improvement
by Louis PoulinReducing Risk with Software Process Improvement recommends the critical practices that aid in the successful delivery of software products and services. The author describes the observations that he made over a period of ten years in IT projects and organizations. He focuses on the areas of software development and maintenance, highlighting the mos
Reduction, Approximation, Machine Learning, Surrogates, Emulators and Simulators: RAMSES (Lecture Notes in Computational Science and Engineering #151)
by Gianluigi Rozza Max Gunzburger Marta D'Elia Giovanni StabileThis volume is focused on the review of recent algorithmic and mathematical advances and the development of new research directions for Mathematical Model Approximations via RAMSES (Reduced order models, Approximation theory, Machine learning, Surrogates, Emulators, Simulators) in the setting of parametrized partial differential equations also with sparse and noisy data in high-dimensional parameter spaces. The book is a valuable resource for researchers, as well as masters and Ph.D students.
Reductive Reading: A Syntax of Victorian Moralizing
by Sarah AllisonHow practices from the digital analysis of texts both simplify and enhance traditional literary criticism.Honorable Mention, NAVSA Best Book of the Year by the North American Victorian Studies AssociationWhat is to be gained by reading George Eliot’s Middlemarch from an Excel spreadsheet, or the novels of Charles Dickens through a few hundred dialogue tags—those he said/she saids that bring his characters to life? Sarah Danielle Allison’s Reductive Reading argues that the greatest gift the computational analysis of texts has given to traditional criticism is not computational at all. Rather, one of the most powerful ways to generate subtle reading is to be reductive; that is, to approach literary works with specific questions and a clear roadmap of how to look for the answers. Allison examines how patterns that form little part of our conscious experience of reading nevertheless structure our experience of books. Exploring Victorian moralizing at the level of the grammatical clause, she also reveals how linguistic patterns comment on the story in the process of narrating it. Delving into The London Quarterly Review, as well as the work of Eliot, Dickens, Elizabeth Barrett Browning, Anthony Trollope, William Makepeace Thackeray, and other canonical Victorian writers, the book models how to study nebulous and complex stylistic effects. A manifesto for and a model of how digital analysis can provide daringly simple approaches to complex literary problems, Reductive Reading introduces a counterintuitive computational perspective to debates about the value of fiction and the ethical representation of people in literature.
Reductive Reading: A Syntax of Victorian Moralizing
by Sarah Allison“A masterful integration of digital humanistic approaches and more traditional close-reading methods . . . compelling, persuasive.” —Victorian Studies for the 21st CenturyWhat is to be gained by reading George Eliot’s Middlemarch from an Excel spreadsheet, or the novels of Charles Dickens through a few hundred dialogue tags—those he said/she saids that bring his characters to life? Sarah Danielle Allison’s Reductive Reading argues that the greatest gift the computational analysis of texts has given to traditional criticism is not computational at all. Rather, one of the most powerful ways to generate subtle reading is to be reductive; that is, to approach literary works with specific questions and a clear roadmap of how to look for the answers.Allison examines how patterns that form little part of our conscious experience of reading nevertheless structure our experience of books. Exploring Victorian moralizing at the level of the grammatical clause, she also reveals how linguistic patterns comment on the story in the process of narrating it. Delving into The London Quarterly Review, as well as the work of Eliot, Dickens, Elizabeth Barrett Browning, Anthony Trollope, William Makepeace Thackeray, and other canonical Victorian writers, the book models how to study nebulous and complex stylistic effects.A manifesto for and a model of how digital analysis can provide daringly simple approaches to complex literary problems, Reductive Reading introduces a counterintuitive computational perspective to debates about the value of fiction and the ethical representation of people in literature.“A book that promises to transform the way we read novels.” —Elsie B. Michie, author of The Vulgar Question of Money
Redux in Action
by Marc Garreau will faurotSummaryWith Redux in Action, you'll discover how to integrate Redux into your React application and development environment. With the insights you glean from the experience of authors Marc Garreau and Will Faurot, you'll be more than confident in your ability to solve your state management woes with Redux and focus on developing the apps you need!Foreword by Mark Erikson, Redux co-maintainer.Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.About the TechnologyWith Redux, you manage the state of a web application in a single, simple object, practically eliminating most state-related bugs. Centralizing state with Redux makes it possible to quickly start saved user sessions, maintain a reliable state history, and smoothly transfer state between UIs. Plus, the Redux state container is fully programmable and integrates cleanly with React and other popular frameworks.About the BookRedux in Action is an accessible guide to effectively managing state in web applications. Built around common use cases, this practical book starts with a simple task-management application built in React. You'll use the app to learn the Redux workflow, handle asynchronous actions, and get your hands on the Redux developer tools. With each step, you'll discover more about Redux and the benefits of centralized state management. The book progresses to more-complex examples, including writing middleware for analytics, time travel debugging, and an overview of how Redux works with other frameworks such as Angular and Electron. What's InsideUsing Redux in an existing React applicationHandling side effects with the redux-saga libraryConsuming APIs with asynchronous actionsUnit testing a React and Redux applicationAbout the ReaderFor web developers comfortable with JavaScript and React.About the AuthorMarc Garreau has architected and executed half a dozen unique client-side applications using Redux. Will Faurot is a mentor for Redux developers of all skill levels.Table of ContentsIntroducing Redux Your first Redux application Debugging Redux applications Consuming an API Middleware Handling complex side effects Preparing data for components Structuring a Redux store Testing Redux applications Performance Structuring Redux code Redux beyond React
Redux Made Easy with Rematch: Reduce Redux boilerplate and apply best practices with Rematch
by Sergio MorenoDiscover the power of Rematch and its plugins by building a real-world application from scratchKey FeaturesGet to grips with the capabilities of Rematch quickly as you build applicationsLearn to use Rematch and its plugins to simplify everyday tasksTake total control of the application state and manage its scalability using RematchBook DescriptionRematch is Redux best practices without the boilerplate. This book is an easy-to-read guide for anyone who wants to get started with Redux, and for those who are already using it and want to improve their codebase.Complete with hands-on tutorials, projects, and self-assessment questions, this easy-to-follow guide will take you from the simplest through to the most complex layers of Rematch. You'll learn how to migrate from Redux, and write plugins to set up a fully tested store by integrating it with vanilla JavaScript, React, and React Native. You'll then build a real-world application from scratch with the power of Rematch and its plugins. As you advance, you'll see how plugins extend Rematch functionalities, understanding how they work and help to create a maintainable project. Finally, you'll analyze the future of Rematch and how the frontend ecosystem is becoming easier to use and maintain with alternatives to Redux.By the end of this book, you'll be able to have total control of the application state and use Rematch to manage its scalability with simplicity.What you will learnUnderstand the principal concepts of Flux and ReduxFind out what the main problems are that Rematch solvesBecome familiar with the Rematch ecosystemDevelop an application using Rematch and React togetherWrite unit and integration tests to get 100% test coverage of your programs with RematchCreate a React Native app with Rematch and ExpoPersist data with redux-persist and RematchBuild a Rematch plugin from scratchWho this book is forThis book is for React and Redux users looking for better alternatives for Redux. Familiarity with JavaScript, React, and Redux will help you make the most of this book.
Redux Quick Start Guide: A beginner's guide to managing app state with Redux
by James Lee Tao Wei Suresh Kumar MukhiyaIntegrate Redux with React and other front-end JavaScript frameworks efficiently and manage application states effectivelyKey FeaturesGet better at building web applications with state management using ReduxLearn the fundamentals of Redux to structure your app more efficientlyThis guide will teach you develop complex apps that would be easier to maintainBook DescriptionStarting with a detailed overview of Redux, we will follow the test-driven development (TDD) approach to develop single-page applications. We will set up JEST for testing and use JEST to test React, Redux, Redux-Sage, Reducers, and other components. We will then add important middleware and set up immutableJS in our application. We will use common data structures such as Map, List, Set, and OrderedList from the immutableJS framework. We will then add user interfaces using ReactJS, Redux-Form, and Ant Design.We will explore the use of react-router-dom and its functions. We will create a list of routes that we will need in order to create our application, and explore routing on the server site and create the required routes for our application. We will then debug our application and integrate Redux Dev tools.We will then set up our API server and create the API required for our application. We will dive into a modern approach to structuring our server site components in terms of Model, Controller, Helper functions, and utilities functions. We will explore the use of NodeJS with Express to build the REST API components. Finally, we will venture into the possibilities of extending the application for further research, including deployment and optimization.What you will learnFollow the test-driven development (TDD) approach to develop a single-page applicationAdd important middleware, such as Redux store middleware, redux-saga middleware, and language middleware, to your applicationUnderstand how to use immutableJS in your applicationBuild interactive components using ReactJSConfigure react-router-redux and explore the differences between react-router-dom and react-router-reduxUse Redux Dev tools to debug your applicationSet up our API server and create the API required for our applicationWho this book is forThis book is meant for JavaScript developers interesting in learning state management and building easy to maintain web applications.
Reel Success: Creating Demo Reels and Animation Portfolios
by Cheryl CabreraAre you an animator looking to get your foot in the door to the top studios? It's tough if you don't have a demo reel and portfolio that reflects your unique style and incredible talents. The reception of that reel will make or break you; so it's no wonder that creating a demo reel can be such a daunting task. Reel Success by Cheryl Cabrera can help. This book guides you into putting the right content into your portfolio, how to cater to the right audience, and how to harness the power of social media and network effectively. Accompanied by case studies of actual students' demo reels, this book teaches how to develop a critical eye toward effective and ineffective demo reels. Looking to get your foot in the door? Break it down with Reel Success.
Reengineering Corporate Communication: A Marketer’s Perspective Offering New Concepts, Processes, Tools, and Templates (Future of Business and Finance)
by Uwe SeebacherThis book employs the latest insights from modern marketing into the theory and practice of corporate communication, including the main stages and goals, and highlights the key potentials for the field. It briefly presents the essential features of the methodological and structural sciences in order to illustrate to the reader how, from a marketer's point of view, these new insights can be derived objectively, reliably, and validly for the field of corporate communication according to scientific criteria. The book then introduces the maturity model for modern corporate communication and describes which fields of activity must be gone through in order to be able to implement the change management process towards corporate communication excellence efficiently and effectively. Building on this, it introduces and defines the most important new concepts of corporate communication in the twenty-first century and thus clearly delineates the field of research for this corporate function in the coming years. The book goes on to address the important areas of IT and HR in order to provide a 360° view of the developments to be realized in the field of corporate communication. A “CC self-test” at the end of the book is intended to help the reader immediately recognize where their own organization stands and, against this backdrop, to be able to start the necessary activities towards corporate communication excellence immediately on the basis of the maturity model. “Prof. Dr. Uwe Seebacher takes us on a timely and informative read on what could be the biggest crisis for Corporate Communications – remaining stagnant in a time of great change. With rich context and fine detail, he illuminates the opportunities to reengineer Corporate Communications and quantify its role in truly impacting business. From the importance of predictive intelligence underpinned by authenticity and empathy to building trust, this book is a guide for successful business in the 21st Century. I highly recommend it.”Heidi Eusebio, Strategist and Executive Director, Edelman "Uwe Seebacher has once again demonstrated in a well-founded manner what methodological and structural science is capable of - namely, to precisely logically derive the long overdue process of change in the field of corporate communications and thereby make it comprehensible. But he also takes the important next step of operationalizing his thoughts in a directly measurable way by providing an easy applicable concrete process model for reengineering corporate communication with many tips, templates and inputs for HR and IT.“ Miguel Gimenez de Castro, Head Of Communications Spain, Portugal, Greece and Israel, IBM
Refactoring at Scale: Regaining Control Of Your Codebase
by Maude LemaireMaking significant changes to large, complex codebases is a daunting task--one that's nearly impossible to do successfully unless you have the right team, tools, and mindset. If your application is in need of a substantial overhaul and you're unsure how to go about implementing those changes in a sustainable way, then this book is for you.Software engineer Maude Lemaire walks you through the entire refactoring process from start to finish. You'll learn from her experience driving performance and refactoring efforts at Slack during a period of critical growth, including two case studies illustrating the impact these techniques can have in the real world. This book will help you achieve a newfound ability to productively introduce important changes in your codebase.Understand how code degrades and why some degradation is inevitableQuantify and qualify the state of your codebase before refactoringDraft a well-scoped execution plan with strategic milestonesWin support from engineering leadershipBuild and coordinate a team best suited for the projectCommunicate effectively inside and outside your teamAdopt best practices for successfully executing the refactor
Refactoring in Ruby
by William C. Wake Kevin RutherfordRefactoring in Ruby gives you all the realistic, hands-on practice you need to refactor Ruby code quickly and effectively and shows when and how to refactor with both legacy code and during new test-driven development.
Refactoring JavaScript: Turning Bad Code Into Good Code
by Evan BurchardHow often do you hear people say things like this? "Our JavaScript is a mess, but we’re thinking about using [framework of the month]."Like it or not, JavaScript is not going away. No matter what framework or ”compiles-to-js” language or library you use, bugs and performance concerns will always be an issue if the underlying quality of your JavaScript is poor. Rewrites, including porting to the framework of the month, are terribly expensive and unpredictable. The bugs won’t magically go away, and can happily reproduce themselves in a new context. To complicate things further, features will get dropped, at least temporarily.The other popular method of fixing your JS is playing “JavaScript Jenga,” where each developer slowly and carefully takes their best guess at how the out-of-control system can be altered to allow for new features, hoping that this doesn’t bring the whole stack of blocks down. This book provides clear guidance on how best to avoid these pathological approaches to writing JavaScript:Recognize you have a problem with your JavaScript quality.Forgive the code you have now, and the developers who made it.Learn repeatable, memorable, and time-saving refactoring techniques.Apply these techniques as you work, fixing things along the way.Internalize these techniques, and avoid writing as much problematic code to begin with.Bad code doesn’t have to stay that way. And making it better doesn’t have to be intimidating or unreasonably expensive.
Refactoring Legacy T-SQL for Improved Performance: Modern Practices for SQL Server Applications
by Lisa BohmBreathe new life into older applications by refactoring T-SQL queries and code using modern techniques. This book shows you how to significantly improve the performance of older applications by finding common anti-patterns in T-SQL code, then rewriting those anti-patterns using new functionality that is supported in current versions of SQL Server, including SQL Server 2019. The focus moves through the different types of database objects and the code used to create them, discussing the limitations and anti-patterns commonly found for each object type in your database.Legacy code isn’t just found in queries and external applications. It’s also found in the definitions of underlying database objects such as views and tables. This book helps you quickly find problematic code throughout the database and points out where and how modern solutions can replace older code, thereby making your legacy applications run faster and extending their lifetimes. Author Lisa Bohm explains the logic behind each anti-pattern, helping you understand why each pattern is a problem and showing how it can be avoided. Good coding habits are discussed, including guidance on topics such as readability and maintainability. What You Will LearnFind specific areas in code to target for performance gainsIdentify pain points quickly and understand why they are problematicRewrite legacy T-SQL to reduce or eliminate hidden performance issuesWrite modern code with an awareness of readability and maintainabilityRecognize and correlate T-SQL anti-patterns with techniques for better solutionsMake a positive impact on application user experience in your organizationWho This Book Is ForDatabase administrators or developers who maintain older code, those frustrated with complaints about slow code when there is so much of it to fix, and those who want a head start in making a positive impact on application user experience in their organization
Refactoring SQL Applications
by Stephane Faroult Pascal L'HermiteWhat can you do when database performance doesn't meet expectations? Before you turn to expensive hardware upgrades to solve the problem, reach for this book. Refactoring SQL Applications provides a set of tested options for making code modifications to dramatically improve the way your database applications function. Backed by real-world examples, you'll find quick fixes for simple problems, in-depth answers for more complex situations, and complete solutions for applications with extensive problems. Learn to:Determine if and where you can expect performance gainsApply quick fixes, such as limiting calls to the database in stored functions and proceduresRefactor tasks, such as replacing application code by a stored procedure, or replacing iterative, procedural statements with sweeping SQL statementsRefactor flow by increasing parallelism and switching business-inducted processing from synchronous to asynchronousRefactor design using schema extensions, regular views, materialized views, partitioning, and moreCompare before and after versions of a program to ensure you get the same results once you make modificationsRefactoring SQL Applications teaches you to recognize and assess code that needs refactoring, and to understand the crucial link between refactoring and performance. If and when your application bogs down, this book will help you get it back up to speed.
Refactoring TypeScript: Keeping your code healthy
by James HickeyDiscover various techniques to develop maintainable code and keep it in shape. Key Features Learn all about refactoring - why it is important and how to do it Discover easy ways to refactor code with examples Explore techniques that can be applied to most other programming languages Book Description Refactoring improves your code without changing its behavior. With refactoring, the best approach is to apply small targeted changes to a codebase. Instead of doing a huge sweeping change to your code, refactoring is better as a long-term and continuous enterprise. Refactoring TypeScript explains how to spot bugs and remove them from your code. You'll start by seeing how wordy conditionals, methods, and null checks make code unhealthy and unstable. Whether it is identifying messy nested conditionals or removing unnecessary methods, this book will show various techniques to avoid these pitfalls and write code that is easier to understand, maintain, and test. By the end of the book, you'll have learned some of the main causes of unhealthy code, tips to identify them and techniques to address them. What you will learn Spot and fix common code smells to create code that is easier to read and understand Discover ways to identify long methods and refactor them Create objects that keep your code flexible, maintainable, and testable Apply the Single Responsibility Principle to develop less-coupled code Discover how to combine different refactoring techniques Learn ways to solve the issues caused by overusing primitives Who this book is for This book is designed for programmers who are looking to explore various refactoring techniques to develop healthy and maintainable code. Some experience in JavaScript and TypeScript can help you easily grasp the concepts explained in this book.
Refactoring with Microsoft Visual Studio 2010
by Peter RitchieThis book focuses on real-world, easy-to-understand examples of code in a one-on-one style. Refactoring examples are performed and reasons why this refactoring should be applied are detailed. The book is structured from less advanced topics to more advanced topics; but is designed so that reading from beginning to end is not necessary. This book is primarily for developers who want to refactor their code in Visual Studio. However, the book can be used by anyone using Visual Studio. Developers, designers, and architects who are eager to improve the performance of their craft will find this book useful because it details refactoring existing code to use recognized and established patterns and principles to improve code structure and architectural behavior. The book assumes that the reader knows both Visual Studio and C#, but no previous knowledge of refactoring is required.
Referate präsentieren mit PowerPoint für Dummies Junior (Für Dummies)
by Ute Schmid Katharina WeitzDu sollst ein Referat in der Schule halten und willst es richtig gut machen? Du hast schon mal in PowerPoint hineingeschaut, weißt aber nicht so genau, was man dort alles so machen kann? Du möchtest gern verstehen, wie der Computer arbeitet? Dann ist dieses Buch genau richtig für dich. Gestalte übersichtliche Folien, sodass dein Publikum schnell versteht, worum es geht. Wähle ein Design, erstelle Notizen, füge Bilder, Tabellen und Animationen ein. Finde heraus, wie Anwendersoftware aufgebaut ist und was du davon erwarten kannst. Bestens geeignet für Kinder und Jugendliche ab 10 Jahre. Du wirst von diesen Tipps und Techniken begeistert sein.
Reference Architectures for Critical Domains: Industrial Uses and Impacts
by Elisa Yumi Nakagawa Pablo Oliveira AntoninoThis book presents reference architecture as a key blueprint to develop and evolve critical software-intensive systems, emphasizing both the state of the art in research and successful industrial cases. After outlining the theoretical foundations of reference architecture and presenting an overview of a number of reference architectures proposed over the recent years, this book dives into a set of critical application domains, including defense, health, automotive, avionics, and Industry 4.0, highlighting the respective most relevant reference architectures that have impacted these domains, the experience and lessons learned, insights gained, benefits and drawbacks, and factors that make these architectures sustainable. The book finishes with the most relevant directions for future advances in reference architectures.The content of this book is useful for researchers and advanced professionals in industry in the areas of computing and engineering, as well as in critical application domains that increasingly require interconnected, large, and complex software-intensive systems.
The Reference Collection: From the Shelf to the Web
by Linda S KatzStay up-to-date with the growing amount of reference resources available onlineHow important is the World Wide Web to information retrieval and communication? Important enough that information professionals have seen students exit from their libraries en masse when Internet service was lost. Internet providers dominate the indexing and abstracting of periodical articles as major publishers now offer nearly all of their reference titles in digital form. Libraries spend increasing amounts of funding on electronic reference materials, and librarians devote an increasing amount of time to assisting in their use. The Reference Collection: From the Shelf to the Web is an essential guide to collection development for electronic materials in academic and public libraries. The Reference Collection: From the Shelf to the Web tracks the continuing evolution of electronic reference resources-and how they&’re accessed-in a variety of settings. Librarians representing university, elementary school, and public libraries in the United States and Australia examine how reference collections have evolved over time (and may soon be a thing of the past); how public and school libraries have dealt with the changes; why library research assignments have become more difficult for teachers to make and for students to complete; how to organize online reference sources; and why the nature of plagiarism has changed in the electronic era. The book also examines the use of electronic references from a publisher&’s perspective and looks at the most important Web-accessible reference tools-both free and subscription-in the areas of humanities, medicine, the social sciences, business, and education. The Reference Collection: From the Shelf to the Web also examines: issues of authority, accessibility, cost, comfort, and user education in evaluating electronic resources the formation of purchasing consortia to facilitate the transfer of reference materials from print to online formats current literature and research findings on the state of digital versus print reference collections what electronic publishing means to smaller reference books (dictionaries, almanacs, etc.) the need for increased information literacy among students the nature, extent, and causes of cyber plagiarism the use of federated search tools and includes a selected list of the top 100 free Internet reference sitesThe Reference Collection: From the Shelf to the Web is an essential resource for all reference and collection development librarians, and an invaluable aid for publishing professionals.
A Reference Manual for Data Privacy Laws and Cyber Frameworks (Cyber Shorts)
by Ravindra DasAs the world is becoming more digital and entwined together, the cybersecurity threat landscape has no doubt become a daunting one. For example, typical threat variants of the past, especially those of phishing, have now become much more sophisticated and covert in nature. A lot of this has been brought on by the proliferation of ransomware, which exploded during the COVID-19 pandemic. Now, there is another concern that is looming on the horizon: data privacy. Now, more than ever, consumers on a global basis want to know exactly what is happening to their personal identifiable information (PII) datasets. Examples of what they want to know about include the following: What kinds and types of information and data are being collected about them How those PII datasets are being stored, processed, and transacted with How their PII datasets are being used by third-party suppliers In response to these concerns and fears, as well as the cyber risks posed by these datasets, many nations around the world have set up rather extensive and very detailed data privacy laws. In their respective tenets and provisions, these pieces of legislation not only specify why and how businesses need to comply with them, but also outline the rights that are afforded to each and every consumer. In this book, we detail the tenets and provisions of three key data privacy laws: The GDPR The CCPA The CMMC We also provide a general framework at the end on how a business can comply with these various data privacy laws.The book begins with an in-depth overview of the importance of data and datasets, and how they are so relevant to the data privacy laws just mentioned.
Referenzmodell zur Digitalisierung des strategischen Einkaufs: Handlungsrahmen und Kernanforderungen zur Implementierung in Informationssystemen
by Boris David IdlerDieses Buch beschreibt einen anforderungsorientierten Handlungsrahmen zur Gestaltung digitaler Einkaufsprozesse. Das dafür entworfene Referenzmodell dient dabei als Ausgangspunkt mehrerer Ableitungen und ermöglicht ein grundlegendes Verständnis über die prozessualen Aufgaben im strategischen Einkauf, um die Ziele der Einkaufsorganisation zu unterstützen. Neben Lieferantenqualifikation oder Kostenmanagement werden auch Prozesse beschrieben, die erst durch eine Digitalisierung möglich sind. Damit kann die Überführung der Prozesse in Anforderungen an IT-Systeme vollzogen und auch der Frage nachgegangen werden, inwiefern die einzelnen Kernprozesse zu integrierten Prozessnetzwerken verbunden werden sollten.
Referenzterminologie SNOMED CT: Interlingua zur Gewährleistung semantischer Interoperabilität in der Medizin
by Josef Ingenerf Cora DrenkhahnSNOMED CT wird zunehmend auch in Deutschland als wesentlicher Baustein innovativer digitaler Gesundheitsanwendungen verwendet. Sie gilt mit über 350.000 formal definierten Konzepten sowie mehrsprachigen Bezeichnungen als ausdrucksmächtigste internationale Referenzterminologie. Gleichwohl stellt die Einführung von SNOMED CT mit dem Potenzial zur Postkoordination „neuer Konzepte“ einen Paradigmenwechsel dar. Dieser geht einher mit vielfältigsten methodischen Grundlagen, die interessierten Anwendern und Software-Entwicklern vermittelt werden müssen, um den erwarteten Nutzen realisieren zu können. Dieses Buch soll hierzu einen Beitrag leisten.
Refinement: Foundations And Advanced Applications (Formal Approaches To Computing And Information Technology (facit) Ser.)
by Eerke Boiten John DerrickRefinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
Refinement in Z and Object-Z: Foundations and Advanced Applications
by Eerke A. Boiten John DerrickRefinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to ZGeneralisations of refinement that change the interface and atomicity of operationsRefinement in Object-ZModelling state and behaviour by combining Object-Z with CSPRefinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisationProvides an updated discussion on divergence, non-atomic refinements and approximate refinementIncludes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSPPresents a fuller account of the relationship between relational refinement and various models of refinement in CSPBibliographic notes at the end of each chapter have been extended with the most up to date citations and research
Reflections on Artificial Intelligence for Humanity (Lecture Notes in Computer Science #12600)
by Bertrand Braunschweig Malik GhallabWe already observe the positive effects of AI in almost every field, and foresee its potential to help address our sustainable development goals and the urgent challenges for the preservation of the environment. We also perceive that the risks related to the safety, security, confidentiality, and fairness of AI systems, the threats to free will of possibly manipulative systems, as well as the impact of AI on the economy, employment, human rights, equality, diversity, inclusion, and social cohesion need to be better assessed. The development and use of AI must be guided by principles of social cohesion, environmental sustainability, resource sharing, and inclusion. It has to integrate human rights, and social, cultural, and ethical values of democracy. It requires continued education and training as well as continual assessment of its effects through social deliberation. The “Reflections on AI for Humanity” proposed in this book develop the following issues and sketch approaches for addressing them:How can we ensure the security requirements of critical applications and the safety and confidentiality of data communication and processing? What techniques and regulations for the validation, certification, and audit of AI tools are needed to develop confidence in AI? How can we identify and overcome biases in algorithms? How do we design systems that respect essential human values, ensuring moral equality and inclusion?What kinds of governance mechanisms are needed for personal data, metadata, and aggregated data at various levels? What are the effects of AI and automation on the transformation and social division of labor? What are the impacts on economic structures? What proactive and accommodation measures will be required?How will people benefit from decision support systems and personal digital assistants without the risk of manipulation? How do we design transparent and intelligible procedures and ensure that their functions reflect our values and criteria? How can we anticipate failure and restore human control over an AI system when it operates outside its intended scope?How can we devote a substantial part of our research and development resources to the major challenges of our time such as climate, environment, health, and education?