Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Technologies and Innovation
This book constitutes the refereed proceedings of the 9th International Conference on Technologies and Innovation, CITI 2023, held in Guayaquil, Ecuador, during November 13-16, 2023. The 20 full papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: Machine Learning; Natural Language Processing and Semantic Web; Computer vision; and Knowledge-based systems.
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
Quantum Computing Algorithms
Explore essential quantum computing algorithms and master concepts intuitively with minimal math expertise required Key Features: Learn the fundamentals with an introduction to matrix arithmeticWrite quantum computing programs in Qiskit-IBM's publicly available quantum computing websiteEmail your questions directly to the author-no question is too elementaryPurchase of the print or Kindle book includes a free PDF eBookBook Description: Navigate the quantum computing spectrum with this book, bridging the gap between abstract, math-heavy texts and math-avoidant beginner guides. Unlike intermediate-level books that often leave gaps in comprehension, this all-encompassing guide offers the missing links you need to truly understand the subject.Balancing intuition and rigor, this book empowers you to become a master of quantum algorithms. No longer confined to canned examples, you'll acquire the skills necessary to craft your own quantum code. Quantum Computing Algorithms is organized into four sections to build your expertise progressively.The first section lays the foundation with essential quantum concepts, ensuring that you grasp qubits, their representation, and their transformations. Moving to quantum algorithms, the second section focuses on pivotal algorithms - specifically, quantum key distribution and teleportation.The third section demonstrates the transformative power of algorithms that outpace classical computation and makes way for the fourth section, helping you to expand your horizons by exploring alternative quantum computing models.By the end of this book, quantum algorithms will cease to be mystifying as you make this knowledge your asset and enter a new era of computation, where you have the power to shape the code of reality.What You Will Learn: Define quantum circuitsHarness superposition and entanglement to solve classical problemsGain insights into the implementation of quantum teleportationExplore the impact of quantum computing on cryptographyTranslate theoretical knowledge into practical skills by writing and executing code on real quantum hardwareExpand your understanding of this domain by uncovering alternative quantum computing modelsWho this book is for: This book is for individuals familiar with algebra and computer programming, eager to delve into modern physics concepts. Whether you've dabbled in introductory quantum computing material or are seeking deeper insights, this quantum computing book is your gateway to in-depth exploration.
Research and Evidence in Software Engineering
Research and Evidence in Software Engineering: From Empirical Studies to Open Source Artifacts introduces advanced software engineering to software engineers, scientists, postdoctoral researchers, academicians, software consultants, management executives, doctoral students, and advanced level postgraduate computer science students.This book contains research articles addressing numerous software engineering research challenges associated with various software development-related activities, including programming, testing, measurements, human factors (social software engineering), specification, quality, program analysis, software project management, and more. It provides relevant theoretical frameworks, empirical research findings, and evaluated solutions addressing the research challenges associated with the above-mentioned software engineering activities.To foster collaboration among the software engineering research community, this book also reports datasets acquired systematically through scientific methods and related to various software engineering aspects that are valuable to the research community. These datasets will allow other researchers to use them in their research, thus improving the quality of overall research. The knowledge disseminated by the research studies contained in the book will hopefully motivate other researchers to further innovation in the way software development happens in real practice.
SQL Server Database Programming with Java
This textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook. Over 40 real sample database programming projects are covered in this textbook with detailed illustrations and explanations to help students understand the key techniques and programming technologies. Chapters include homework and selected solutions to strengthen and improve students' learning and understanding for topics they study in the classroom. Both Java desktop and Web applications with SQL Server database programming techniques are discussed and analyzed. Some updated Java techniques, such as Java Server Pages (JSP), Java Server Faces (JSF), Java Web Service (JWS), JavaServer Pages Standard Tag Library (JSTL), JavaBeans and Java API for XML Web Services (JAX-WS) are also discussed and implemented in the real projects developed in this textbook. This textbook targets mainly advanced-level students in computer science, but it also targets entry-level students in computer science and information system. Programmers, software engineers and researchers will also find this textbook useful as a reference for their projects.
Optimization Algorithms
Solve design, planning, and control problems using modern AI techniques. Optimization problems are everywhere in daily life. What's the fastest route from one place to another? How do you calculate the optimal price for a product? How should you plant crops, allocate resources, and schedule surgeries? Optimization Algorithms introduces the AI algorithms that can solve these complex and poorly-structured problems. In Optimization Algorithms: AI techniques for design, planning, and control problems you will learn: - The core concepts of search and optimization - Deterministic and stochastic optimization techniques - Graph search algorithms - Trajectory-based optimization algorithms - Evolutionary computing algorithms - Swarm intelligence algorithms - Machine learning methods for search and optimization problems - Efficient trade-offs between search space exploration and exploitation - State-of-the-art Python libraries for search and optimization Inside this comprehensive guide, you'll find a wide range of optimization methods, from deterministic search algorithms to stochastic derivative-free metaheuristic algorithms and machine learning methods. Don't worry--there's no complex mathematical notation. You'll learn through in-depth case studies that cut through academic complexity to demonstrate how each algorithm works in the real world. Plus, get hands-on experience with practical exercises to optimize and scale the performance of each algorithm. Purchase of the print book includes a free eBook in PDF and ePub formats from Manning Publications. About the technology Every time you call for a rideshare, order food delivery, book a flight, or schedule a hospital appointment, an algorithm works behind the scenes to find the optimal result. Blending modern AI methods with classical search and optimization techniques can deliver incredible results, especially for the messy problems you encounter in the real world. This book shows you how. About the book Optimization Algorithms explains in clear language how optimization algorithms work and what you can do with them. This engaging book goes beyond toy examples, presenting detailed scenarios that use actual industry data and cutting-edge AI techniques. You will learn how to apply modern optimization algorithms to real-world problems like pricing products, matching supply with demand, balancing assembly lines, tuning parameters, coordinating mobile networks, and cracking smart mobility challenges. What's inside - Graph search algorithms - Metaheuristic algorithms - Machine learning methods - State-of-the-art Python libraries for optimization - Efficient trade-offs between search space exploration and exploitation About the reader Requires intermediate Python and machine learning skills. About the author Dr. Alaa Khamis is an AI and smart mobility technical leader at General Motors and a lecturer at the University of Toronto. The technical editor on this book was Frances Buontempo. Table of Contents PART 1 1 Introduction to search and optimization 2 A deeper look at search and optimization 3 Blind search algorithms 4 Informed search algorithms PART 2 5 Simulated annealing 6 Tabu search PART 3 7 Genetic algorithms 8 Genetic algorithm variants PART 4 9 Particle swarm optimization 10 Other swarm intelligence algorithms to explore PART 5 11 Supervised and unsupervised learning 12 Reinforcement learning included with the eBook only: Appendix A Appendix B Appendix C
Fighting Back the von Neumann Bottleneck with Small- and Large-Scale Vector Microprocessors
In his seminal Turing Award Lecture, Backus discussed the issues stemming from the word-at-a-time style of programming inherited from the von Neumann computer. More than forty years later, computer architects must be creative to amortize the von Neumann Bottleneck (VNB) associated with fetching and decoding instructions which only keep the datapath busy for a very short period of time. In particular, vector processors promise to be one of the most efficient architectures to tackle the VNB, by amortizing the energy overhead of instruction fetching and decoding over several chunks of data. This work explores vector processing as an option to build small and efficient processing elements for large-scale clusters of cores sharing access to tightly-coupled L1 memory
C# for Beginners
Looking For An Easy To Follow & Comprehensive C# Programming Guide? Want to learnthe secrets of C# programming language but don't have the time to watch all those endless explainer videosand tutorials? Need a quick, simple and easy-to-follow C# guide? Here's how you can master the popular C#programming language and start developing your own Microsoft platform apps!The Ultimate C#Programming Language Guide - Everything You Need To Know In A Nutshell! By the end of thisall-inclusive beginner's guide to C# programming language, you will learn everything you need, including: - Variables- Data Types- User Input- Operators- Functions-Control Structures- Programming TutorialsAs a result, our all-in-one C# guide will help yougain an in-depth understanding of programming fundamentals and enhance your programming skills withouthaving to spend a small fortune or waste time watching hours of boring videos.And The BestPart?You can do it at your own pace, come back to any part you need to revise and re-take everystep from the beginning. Unlike those videos that you have to rewind every time you have a questions, our C#guide will allow you to maximize your efficiency and minimize the time needed to master the C# programminglanguage!What Are You Waiting For? Nathan Metzler, the author of this in-depthguide, has been one of the C# language pioneers ever since it was first developed and started gainingpopularity. His years of experience will enable you to understand the basics of C# programming languagefaster in a fun and easy way. Plus, the simple writing style will make you forget that you are reading a bookabout computer programming languages and allow you to focus better on your results.Click "BuyNow" If You Want To Take Your App Programming Skills To Another Level & Master C#!
The Scrum Anti-Patterns Guide
Unlock Scrum success for beginners and experts alike with The Scrum Anti-Patterns Guide, your key to understanding and elevating Scrum practices. Scrum is simple to understand but difficult to master. As a framework, Scrum is particularly challenging as there is no formal education tailored to these roles and no comprehensive set of practices readily available to those interested in applying it. The Scrum Guide 2020 describes its underlying principles only in the broadest strokes--from applying Scrum to complex adaptive problems to embracing self-management--but the Scrum Guide is not at all prescriptive about how Scrum Teams work. The Scrum Anti-Patterns Guide compiles the most common challenges that every Scrum Team faces and how to remedy them. Stefan Wolpers uses the Scrum Guide as a template to structure the content, thus supporting the junior practitioner's Scrum discovery journey (categorized by roles, events, artifacts, and commitments) while allowing the more experienced reader to use the book to reference individual problems or situations. Addresses Scrum anti-patterns for both novices and experienced practitioners Offers actionable insights into why Scrum implementations fall short and how to improve Covers real-time course corrections and improvements in Scrum practice Maximize Scrum success with this quick reference to the most common Scrum anti-patterns and how to resolve them. "Stefan Wolpers has a remarkable ability to highlight underlying traps and issues for stakeholders, teams, and process. Wolpers documents sources of waste and frustration, an amazing compendium of typical ways progress becomes blocked. Depressing! He doesn't leave us there though. He also recommends insightful remedies. Uplifting!" --Diana Larsen, speaker, advisor, author, and co-developer of the Agile Fluency(R) Model Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Software Development: A Career Guide
Software is typically developed to meet the demands of potential customers, clients and businesses or for personal use. Software development refers to the process of designing, programming, conceiving, testing, documenting and bug fixing which are inherent processes involved in the creation and maintenance of software components. Writing and managing the source code is an important aspect of software development. Software products are developed through meticulous research, prototyping, reuse, re-engineering, etc. Some of the many professionals involved in this functional domain are computer programmers, software developers, software engineers, consulting software engineers and software publishers, among many others. This textbook provides comprehensive insights into the field of software development. Most of the topics introduced herein discuss the various careers involved in this domain and the ways to succeed in them. It is an essential guide for both academicians and those who wish to pursue this discipline further.
Web API Development for the Absolute Beginner
If you are a developer who wants to learn the basic skills of web and application programming interfaces (APIs) with .NET, this book is your complete introduction. The book takes a learn-by-experience approach. You will hit the ground running with a sample project that has everything you need to be wired up.As you follow along, you will learn simple and intuitive conventions that will free you from some of the more tedious decisions and work, in order to allow you to focus on the business requirements required by your team. Certain components of the framework should always appear in certain folders in the solution to speed up development while others need a name that follows particular conventions. You will learn the building blocks of Web API and how to leverage them to have a well-rounded API. Understanding these small but important tricks will make development faster, easier, and more pleasant, and will prevent time-consuming errors.Part I introduces you to the basics of Web. Part II gets you started creating an API that you will use and build upon throughout the book until you have a complete project. All companion code is available via GitHub. Part III covers more advanced concepts, including how to override out-of-the-box conventions to customize an API to meet your specific business needs. By the end of the book you will have a fully functional API, and you will be better prepared for an interview for a .NET backend developer job.What You Will Learn Build a start-to-finish Web APIKnow the main concepts of the WebApply best practices in API development to your own projectsKnow the fundamentals of Web API developmentKnow the fundamentals of a RESTful APILeverage Web API constructs to implement a clean and extensible APIGet hands-on experience to unit test a Web APIGain the skills required to apply for a junior or entry-level .NET Web developer job Who This Book Is ForDevelopers who want to learn API development with .NET. It is helpful to have some basic C# programming knowledge because it is used in API development in .NET, but it is not mandatory. Readers should be familiar with a programming language to be able to understand code and examples. Experience with web development is not necessary.
Confident Coding
Coding is one of the most in-demand skills in the job market. Whether you're a recent graduate or a professional, Confident Coding offers the career insights and technical knowledge you need for success. A unique combination of technical insights and fascinating career guidance, this book highlights the importance of coding, whatever your professional profile. For entrepreneurs, being able to create your own website or app can grant you valuable freedom and revolutionize your business. For aspiring developers, this book will give you the building blocks to embark on your career path. This new and improved third edition of the award-winning book gives you a step-by-step learning guide to HTML, CSS, JavaScript, Python, building iPhone and Android apps and debugging. Confident Coding is the essential guide to mastering the fundamentals of coding. About the Confident series...From coding and data science to cloud and cyber security, the Confident books are perfect for building your technical knowledge and enhancing your professional career.
Applicable Formal Methods for Safe Industrial Products
This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems. Since 1994 he has worked as a consultant to industry, specializing in development methods, verification, validation and test of safety-critical systems, and since 1995 he has been a Professor of Computer Science at the University of Bremen. In his research he has been most interested in the combination and application of existing methods and corresponding tools to real-world problems, particularly in the field of safety-critical embedded systems and distributed systems, including avionics and railway control systems. The papers in this volume reflect those interests, and the impact he has had on colleagues and collaborators. The volume is structured into sections on testing; railway verification and safety & security; intelligent systems and cyber-physical systems; and tools and techniques for specification, verification and code generation.
String Processing and Information Retrieval
This volume LNCS 14240 constitutes the refereed proceedings of the 30th International Symposium on String Processing and Information Retrieval, SPIRE 2023, held in Pisa, Italy, during September 26-28, 2023. The 31 full papers presented were carefully reviewed and selected from 47 submissions. They cover topics such as: data structures; algorithms; constrained Substring complexity; data compression codes; succinct k-spectra; and LCP array of wheeler DFAs.
Electronic Governance with Emerging Technologies
This book constitutes the refereed proceedings of the Second International Conference on Electronic Governance with Emerging Technologies, EGETC 2023, held in Poznan, Poland, during September 11-12, 2023.The 15 full papers and one short paper presented were thoroughly reviewed and selected from the 76 submissions. This volume focuses on the recent developments in the domain of eGovernment and governance of digital organizations also aims to shed light on the emerging research trends and their applications.
Job Scheduling Strategies for Parallel Processing
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023. The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and technical papers.
Logic and Engineering of Natural Language Semantics
This volume LNCS 14213 constitutes the refereed proceedings of the 19th International Conference, LENLS 2019, held in November 2022, in Tokyo, Japan. The 13 full papers presented were carefully reviewed and selected from 34 submissions. The conference focuses on theoretical and computational linguistics covering topics ranging from syntax, semantics, and pragmatics to the philosophy of language and natural language processing.
Pro Power Bi Theme Creation
Use JSON theme files to standardize the look of Power BI dashboards and reports. This book shows how you can create theme files using the Power BI Desktop application to define high-level formatting attributes for dashboards as well as how to tailor detailed formatting specifications for individual dashboard elements in JSON files. Standardize the look of your dashboards and apply formatting consistently over all your reports. The techniques in this book provide you with tight control over the presentation of all aspects of the Power BI dashboards and reports that you create. Power BI theme files use JSON (JavaScript Object Notation) as their structure, so the book includes a brief introduction to JSON as well as how it applies to Power BI themes. The book further includes a complete reference to all the current formatting definitions and JSON structures that are at your disposal for creating JSON theme files up to the May 2023 release of Power BI Desktop. Finally, the book includes dozens of theme files, from the simple to the most complex, that you can adopt and adapt to suit your own requirements. What You Will Learn Produce designer output without manually formatting every individual visual in a Power BI dashboardStandardize presentation for families of dashboard typesSwitch presentation styles in a couple of clicksSave dozens, or hundreds, of hours laboriously formatting dashboardsDefine enterprise-wide presentation standardsRetroactively apply standard styles to existing dashboards Who This Book Is For Power BI users who want to save time by defining standardized formatting for their dashboards and reports, IT professionals who want to create corporate standards of dashboard presentation, and marketing and communication specialists who want to set organizational standards for dashboard delivery.
Practical C＋＋ Backend Programming
"Practical C++ Backend Programming" is a comprehensive walkthrough that provides readers with the necessary tools and knowledge to become proficient C++ backend developers. With a strong focus on real-world application and practical implementation, this book takes readers on a journey through the multifaceted landscape of backend development, making it an essential resource for any aspiring or current backend developer.Starting with the basics, the book introduces C++, providing a solid foundation in the language, its structure, and core concepts with regards to backend programming. From there, readers dive into the more complex elements of backend development. Through our engaging sections, use-cases and sample examples, readers are introduced to advanced topics such as concurrent programming, exploring threading and multiprocessing to handle intensive computational tasks, thus laying the groundwork for scalable applications.This book offers an in-depth look into APIs, specifically gRPC, along with caching strategies, and database management, using MongoDB as a NoSQL database of choice. All the while, readers will learn to implement these technologies in a practical context, building a blog application from scratch, thereby bridging the gap between theory and practical implementation. An entire section is dedicated to securing applications, wherein the book teaches authentication, authorization, and database security, and demonstrates how to implement these measures in the blog application.Another utmost important part of this book is to cover testing strategies, teaching the reader how to employ Google Test (gtest) to create robust and fail-proof backend solutions. Finally, the journey culminates in a step-by-step walkthrough to deploying applications on AWS, ensuring the reader is equipped with the necessary skills to take their applications live.Key LearningsDetailed overview of C++ programming, catering to both beginners and experienced coders.Practical exploration of concurrent programming for scalable and efficient application design.Comprehensive understanding of API usage, specifically using the gRPC framework.Deep dive into MongoDB for effective NoSQL database management and operations.Thorough walkthrough to implementing caching strategies for performance optimization.Strategic use of Nginx for handling web server needs including load balancing.Hands-on guide to implementing security measures for databases, APIs, and web servers.Instruction on employing Google Test for robust application testing and debugging.Step-by-step guidance for deploying applications on AWS, ensuring real-world readiness.Practical application of concepts via building and refining a blog application.Table of ContentIntroduction to Backend DevelopmentC++ Refresher and EssentialsDeep Dive into AlgorithmsMastering Version Control - Git and GitHubManaging Database Operations with MongoDBCrafting Rest APIs with gRPCDealing with Client-side and Server-side CachingManaging Web Servers with NginxTesting Your C++ BackendSecuring Your C++ BackendDeploying Your ApplicationAudienceThis book is appropriate for readers with some background in C++ and nothing about back-end development. It's great for those just getting their feet wet in back-end, as well as seasoned pros looking to hone their craft and learn something new. Whether you're a student, or professional this book will teach you everything you need to know to master the art of C++ back-end development.
Theories of Programming and Formal Methods
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng's research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng's recent roadmap for UTP.
Quality of Information and Communications Technology
This book constitutes the refereed proceedings of the 16th International Conference on Quality of Information and Communications Technology, QUATIC 2023, held in Aveiro, Portugal, during September 11-13, 2023.The 17 full papers and 4 short papers included in this book were carefully reviewed and selected from 37 submissions. They were organized in topical sections as follows: Disseminating Advanced Methods, Techniques, and Tools for Supporting Quality ICT Engineering and Management Approaches.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Linux Containers and Virtualization
This book is a practical, comprehensive guide to creating secure and efficient Linux containers using the Rust programming language. It utilizes a hands-on approach to teach Rust's programming constructs, security features, and its application in containerization. Author Shashank Mohan Jain starts with a gentle introduction to Rust to help you grasp the language's core concepts, syntax, and unique memory safety guarantees. He then transitions into the realm of Linux container development, where Rust shines as a robust and secure language for building containerized applications. Through hands-on examples, you will gain a deep understanding of how to harness Rust's features to create lightweight and secure Linux containers and how to leverage its strong type system and ownership model to eliminate common bugs and ensure memory safety in containerized applications. As you progress, you'll explore the intricacies of working with system resources, networking, and interacting withthe host operating system while maintaining isolation and security within the containers, as well as how Rust's concurrency model can build performant and responsive containerized applications. The book also covers advanced topics such as secure configuration handling, logging, and handling authentication within your containerized environment. After completing this book, you will be well-versed in Rust programming, equipped to create efficient and secure Linux containers, and confident in your ability to develop containerized applications for a variety of use cases. What You Will Learn Understand the basics of the Rust programming languageUnderstand Rust's security featuresCreate Linux constructs like namespaces in RustDevelop your own container runtime using Rust Who This Book Is For Developers, Architects and SREs working with cloud applications and dealing with container based workloads.
Formal Methods for an Informal World
This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.
Persistence Best Practices for Java Applications
The definitive guide for designing and delivering reliable and high-performing persistence layers using Java in the cloud-native agePurchase of the print or Kindle book includes a free PDF eBookKey Features: Uncover database patterns for designing readable and maintainable architectures and Java applicationsMaster various techniques to overcome application and architecture persistence challengesDiscover painless application modernization with change-data-capture powered by cloud-native technologiesBook Description: Having a solid software architecture breathes life into tech solutions. In the early stages of an application's development, critical decisions need to be made, such as whether to go for microservices, a monolithic architecture, the event-driven approach, or containerization. In Java contexts, frameworks and runtimes also need to be defi ned. But one aspect is often overlooked - the persistence layer - which plays a vital role similar to that of data stores in modern cloud-native solutions. To optimize applications and data stores, a holistic understanding of best practices, technologies, and existing approaches is crucial.This book presents well-established patterns and standards that can be used in Java solutions, with valuable insights into the pros and cons of trending technologies and frameworks used in cloud-native microservices, alongside good Java coding practices. As you progress, you'll confront the challenges of cloud adoption head-on, particularly those tied to the growing need for cost reduction through stack modernization. Within these pages, you'll discover application modernization strategies and learn how enterprise data integration patterns and event-driven architectures enable smooth modernization processes with low-to-zero impact on the existing legacy stack.What You Will Learn: Gain insights into data integration in Java services and the inner workings of frameworksApply data design patterns to create a more readable and maintainable design systemUnderstand the impact of design patterns on program performanceExplore the role of cloud-native technologies in modern application persistenceOptimize database schema designs and leverage indexing strategies for improved performanceImplement proven strategies to handle data storage, retrieval, and management efficientlyWho this book is for: If you're a developer, engineer, or software architect working in the field of software development, particularly with a focus on Java solutions, this book is for you.
Grokking Algorithms
Algorithms will always be the central point of efficient development, and you will use them everywhere. You'll need to use them when writing code, you'll come across them at every coding interview you attend, and they will definitely be part of your daily development work. Even more, they are part of life, and throughout this book, I'll show you some real-world examples of algorithms to help you understand them more easily. What is algorithmic thinking, though? And how do you use it to help you work through a problem?How to Use Algorithmic Thinking For many people, algorithmic thinking is a complete change in their thinking. The concept isn't difficult - it's merely a way of systematically thinking through a problem and finding the solution, much the same way a computer runs.
Grokking Algorithms
Welcome to Grokking Algorithms: Advanced Methods to learn and use Grokking Algorithms and Data structures for Programming.Even before the conception of the computer itself, algorithms existed. After the computer was introduced and with all the development that followed, the number of existing algorithms grew increasingly. At this stage, it wouldn't be wrong to say that algorithms are the core of what computing today is capable of. Grokking Algorithms provides a very comprehensive and interesting introduction to the world of computer algorithms. We will look at a lot of algorithms and their uses, and we'll even learn how to manipulate them step by step. Even though the book is aimed at an audience with a more advanced level of knowledge, we have tried to convey most of the explanations and knowledge contained within the book in an easygoing manner to make it easier to understand.
Modern Data Architecture on Azure
This book is an exhaustive guide to designing and implementing data solutions on Azure. It covers the process of managing data from end to end, starting from data collection all the way through transformation, distribution, and consumption. Modern Data Architecture on Azure begins with an introduction to the fundaments of data management, followed by a demonstration of how to build relational and non-relational data solutions on Azure. Here, you will learn data processing for complex analysis and how to work with CSV and JSON files. Moving forward, you will learn the foundational concepts of big data architecture, along with data management patterns and technology options offered by Azure. From there, you'll be walked through the data architecture process, including data consortium on Azure, enterprise data governance, and much more. The book culminates with a deep dive into data architecture frameworks with data modeling. After reading this book, you will have a thorough understanding of data design and analytics using Azure, allowing you to collect and analyze massive amounts of data to optimize business performance, forecast future results, and more. What Will You Learn Understand the fundamentals of data architecture including data management, data handling ethics, data governance, and metadata managementAnalyze and understand business needs to choose the right Azure services and make informed business decisionsUnderstand Azure Cloud Data design patterns for relational and non-relational data, batch real-time processing, and ETL/ELT pipelinesModernize data architecture using Azure to leverage data and AI to enable digital transformation by securing and optimizing overall data lifecycle management Who Is This Book For: Data solution architects, data engineers, and IT consultants who want to gain a better understanding of modern data architecture design and implementation on Azure.
Testing Software and Systems
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022.The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
Hands-On Test-Driven Development
Learn to properly test Ruby and Ruby on Rails applications by first writing failing tests, and then by implementing application code to make the failing tests pass. This book will teach you how to employ test-driven development (TDD) using RSpec while building a blog from start to finish. By the end of the book, you will be ready to deploy their fully tested blog to their own production web server using the latest versions of Ruby 3 and Ruby on Rails 7. The biggest challenge with learning and becoming comfortable with test-driven development is that software engineers often cannot imagine what writing a failing test looks like in practice. They write their implementation code first, and only then think about writing tests around their implementation code. This leads to tests that pass by accident, or tests that do not actually test anything. This book will give you the confidence to write tests in the RSpec domain-specific language. You will see your tests fail "properly" before proceeding with writing any implementation code to get them to pass. This book covers the latest techniques for writing RSpec tests, including "system" specs, and the often overlooked "view" specs, and how to integrate RSpec with other tools like Capybara, headless Chrome, and the new web driver gem. It also covers FactoryBot for mock test data and offers experienced advice on how to avoid creating tests that fail randomly. What You Will Learn Build a blog application from start to finish using test driven developmentInstall and explore popular tools used in professional Ruby software engineeringEvaluate the benefits of effective testing in RSpecExplore Capistrano for advanced user interface testing Who Is This Book For Beginner to intermediate Ruby software engineers who are interested in learning to use TDD with RSpec to test and build web applications using Ruby on Rails. Readers should have some basic experience with Ruby and Ruby on Rails and have read the "Getting Started with Rails" guide, or something similar.
Origins and Development of Recollection
In the past decade, artificial intelligence has been making waves. From self-driving cars to Siri to Alexa, artificial intelligence is everywhere. But what exactly is it? The term "artificial intelligence" was coined in 1956 by John McCarthy, a computer scientist at Dartmouth College. His work was based on the idea that computers could be made to exhibit intelligent behavior if they were programmed correctly. Since then, many people have taken up the mantle of creating intelligent machines-from engineers and computer scientists like Alan Turing and John von Neumann to psychologists like B. F. Skinner and Ivan Pavlov. And today, dozens of different types of artificial intelligence algorithms are being used by companies worldwide: deep learning algorithms, machine learning algorithms... even genetic algorithms!
Artist Management for the Music Business
This book provides detailed guidance around architecting and deploying Power BI reporting solutions, including help and best practices for sharing and security. You'll find chapters on dataflows, shared datasets, composite model and DirectQuery connections to Power BI datasets, deployment pipelines, XMLA endpoints, and many other important features related to the overall Power BI architecture that are new since the first edition. You will gain an understanding of what functionality each of the Power BI components provide (such as Dataflow, Shared Dataset, Datamart, thin reports, and paginated reports), so that you can make an informed decision about what components to use in your solution. You will get to know the pros and cons of each component, and how they all work together within the larger Power BI architecture. Commonly encountered problems you will learn to handle include content unexpectedly changing while users are in the process of creating reports and building analyses, methods of sharing analyses that don't cover all the requirements of your business or organization, and inconsistent security models. Detailed examples help you to understand and choose from among the different methods available for sharing and securing Power BI content so that only intended recipients can see it. The knowledge provided in this book will allow you to choose an architecture and deployment model that suits the needs of your organization. It will also help ensure that you do not spend your time maintaining your solution, but on using it for its intended purpose: gaining business value from mining and analyzing your organization's data. What You Will Learn Architect Power BI solutions that are reliable and easy to maintain Create development templates and structures in support of reusabilitySet up and configure the Power BI gateway as a bridge between on-premises data sourcesand the Power BI cloud serviceSelect a suitable connection type--Live Connection, DirectQuery, Scheduled Refresh, or Composite Model--for your use caseChoose the right sharing method for how you are using Power BI in your organizationCreate and manage environments for development, testing, and productionSecure your data using row-level and object-level security Save money by choosing the right licensing plan Who This Book Is For Data analysts and developers who are building reporting solutions around Power BI, as well as architects and managers who are responsible for the big picture of how Power BI meshes with an organization's other systems, including database and data warehouse systems.
The Garbage Collection Handbook
Published in 1996, Richard Jones's Garbage Collection was a milestone in the area of automatic memory management. Its widely acclaimed successor, The Garbage Collection Handbook: The Art of Automatic Memory Management, captured the state of the field in 2012. Modern technology developments have made memory management more challenging, interesting and important than ever. This second edition updates the handbook, bringing together a wealth of knowledge gathered by automatic memory management researchers and developers over the past sixty years. The authors compare the most important approaches and state-of-the-art techniques in a single, accessible framework.The book addresses new challenges to garbage collection made by recent advances in hardware and software. It explores the consequences of these changes for designers and implementers of high performance garbage collectors. Along with simple and traditional algorithms, the book covers state-of-the-art parallel, incremental, concurrent and real-time garbage collection. Algorithms and concepts are often described with pseudocode and illustrations.Features of this edition Provides a complete, up-to-date, and authoritative sequel to the 1996 and 2012 books Offers thorough coverage of parallel, concurrent, and real-time garbage collection algorithms Discusses in detail modern, high-performance commercial collectors Explains some of the trickier aspects of garbage collection, including the interface to the run-time system Over 90 more pages including new chapters on persistence and energy-aware garbage collection Backed by a comprehensive online database of over 3,400 garbage collection-related publications The adoption of garbage collection by almost all modern programming languages makes a thorough understanding of this topic essential for any programmer. This authoritative handbook gives expert insight on how different collectors work as well as the various issues currently facing garbage collectors. Armed with this knowledge, programmers can confidently select and configure the many choices of garbage collectors.http: //gchandbook.org
Composability, Comprehensibility and Correctness of Working Software
Software Architecture
This book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice.
Data Structures And Algorithms Made Easy
"Data Structures And Algorithms Made Easy: Data Structures and Algorithmic Puzzles" is a book that offers solutions to complex data structures and algorithms. It can be used as a reference manual by those readers in the computer science industry. This book serves as guide to prepare for interviews, exams, and campus work. In short, this book offers solutions to various complex data structures and algorithmic problems.Topics Covered: IntroductionRecursion and BacktrackingLinked ListsStacksQueuesTreesPriority Queue and HeapsDisjoint Sets ADTGraph AlgorithmsSortingSearchingSelection Algorithms [Medians]Symbol TablesHashingString AlgorithmsAlgorithms Design TechniquesGreedy AlgorithmsDivide and Conquer AlgorithmsDynamic ProgrammingComplexity ClassesMiscellaneous Concepts
Kaboom
Learn to identify problems when developing complex systems and design effective solutions using a model-based system engineering approachKey Features: - Implement model-based systems engineering, including visualization, verification, and validation processes- Explore the complexity of a system and learn how it can be commissioned as an effective resource- Filled with comprehensive explanations, practical examples and self assessment testsBook Description: Systems engineering helps in developing and describing complex systems. Written by an internationally-recognized systems engineering expert, this updated edition provides insight into elements to consider when designing a complex system that is robust and successful.The latest edition covers the new approaches of Model-Based Systems Engineering (MBSE) and its deployment techniques using the Trinity approach. You will learn about the system engineering life cycle and processes to implement. Effective systems can be built only when the system is designed with close attention to detail, meaning each aspect of the system is recognized and understood before the system is built. The book explains in great detail, different system models and visualization techniques, with a focus on SysML, to help you visualize a system in the design phase. You will also learn various verification and validation techniques to ensure your system design is ready to be implemented. The book ends with key management processes, systems engineering best practices, and guidelines, with a new section on effective approaches based on the author's impressive 30 years of experience in the field.By the end of this systems engineering book, you'll be able to apply modern model-based systems engineering techniques to your own systems and projects.What You Will Learn: - Study the three evils of systems engineering: complexity, ambiguous communication, lack of understanding- Learn how to deploy MBSE using the Trinity approach- Receive invaluable information about the philosophy of modeling from a seasoned professional- Understand the MBSE life cycle and how design, verification, and validation fit into it- Explore processes and concepts such as activities, stakeholders, and resources- Discover how needs fit into the life cycle and how to comply with relevant processes- Gain a deeper understanding of how to model effectively and efficientlyWho this book is for: This book is for aspiring systems engineers, engineering managers, or anyone looking to apply systems engineering practices to their systems and projects. While a well-structured, model-based approach to systems engineering is an essential skill for engineers of all disciplines, many companies are finding that new graduates have little understanding of MBSE. This book helps you acquire this skill with the help of a simple and practical approach to developing successful systems. No prior knowledge of systems engineering or modeling is required to get started with this book.Table of Contents- Introduction to Systems Engineering- Model-Based Systems Engineering- Systems and Interfaces- Life Cycles- System Engineering Processes- Needs and Requirements- Modeling the Design- Modeling Verification and Validation- Methodologies- System Engineering Management- Deploying MBSE- The Art of Modeling- Best Practices
Beginning Helidon
Learn how to build cloud-native microservices with Helidon - an open-source Java framework from Oracle. This book will show you how to take full advantage of the cloud by optimizing applications with fast start times, low memory consumption, and a small disk footprint. The open-source Helidon framework provides all that, and more. It's based on Java 17, giving you full access to new code features. This book reveals how Helidon also supports modern enterprise Java standards such as MicroProfile. Plus, you'll see how Helidon lets you use GraalVM to build lightning-fast native executables, and its unique reactive layer allows you to develop efficient low-level APIs.Each chapter in the book teaches a new Helidon concept through practical examples based on real-life use-cases. You'll learn how to add observability and security to your microservices, how to work with databases, and call other services. You'll also look at all MicroProfile 5.0 platform specifications aswell as some stand-alone specs such as Messaging and Long Running Actions. Best of all, everything covered in this book makes it a great study guide for the upcoming Oracle Helidon certification - the perfect way to prove your new skills to a prospective employer!What You'll LearnPackage microservices using JLink and GraalVMDeploy microservices to Kubernetes Review MicroProfile 5.0 specifications in detailUnderstand the basics of Helidon Reactive APIsWho This Book Is ForDevelopers and architects who want to start developing cloud-native applications; developers who already use different Java framework and want to learn about Helidon; those interested in developing portable applications using MicroProfile and Jakarta EE
Tests and Proofs
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
Squeak by Example 6.0
Squeak is a modern, open-source development environment for the Smalltalk programming language promoting a vision of an environment where everything is an object and anything can at run-time. Squeak by Example, intended for both students and developers, will guide you through the Smalltalk language and the Squeak environment by means of a series of examples and exercises. The book helps you getting started with an initial tour of the environment before introducing the details of the language, the standard library, the tools, and the Morphic framework. You can also download the PDF-version for free from https: //github.com/hpi-swa-lab/SqueakByExample-english/releases.
Computer Aided Verification
The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
Unity of Logic and Computation
This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24-28, 2023. The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ​Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.
Software Technologies
This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11-13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.
Parallel Computing Technologies
This book constitutes the refereed proceedings of the 17th International Conference on Parallel Computing Technologies, PaCT 2023, held in Astana, Kazakhstan, during August 21-25, 2023. The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: automatic programming and program tuning; frameworks and services; algorithms; and distributed systems management.
