Mobile Applications Development
The book covers the concepts of Python programming language along with mobile application development. Starting from fundamentals, the book continues with the explanation of mobile app development using Kivy framework. All the chapters offer questions and exercises for to better understanding of the subject. This second revised and updated edition covers the most recent developments in Kivy since the publishing of the first edition.
Requirements Engineering: Foundation for Software Quality
This book constitutes the refereed proceedings of the 31st International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2025, held in Barcelona, Spain, during April 7-10, 2025. The 21 full papers and 8 short papers included in this book were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Responsible RE; Crowd and Large-Scale RE; Requirements Modeling; Requirements Elicitation and Analysis; Participatory RE; RE for Safety-critical and Autonomous Systems; and Requirements Quality Assurance.
Software, System, and Service Engineering
This book constitutes selected and enlarged versions of papers presented at S3E 2024 Topical Area, held as part of FedCSIS 2024, in Belgrade, Serbia, 8-11 September, 2024 and the 25th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2024, held as part of SEAA 2024, Paris, France, during August 28-30, 2024. The 3 papers included from KKIO 2024 were selected from 18 submissions (and 10 presentations), and the 5 papers from S3E were selected from 25 submissions (and 12 presentations). The contributions deal with academic research and real-world applications in the field of software engineering.
Building Medallion Architectures
In today's data-driven world, organizations must manage and analyze vast amounts of information to deliver the insights that give them a competitive advantage. Many turn to the medallion architecture because it's a proven and well-known design. Yet implementing a robust data pipeline can be difficult, particularly when it comes to using the medallion architecture's bronze, silver, and gold layers--done wrong, it can hamper your ability to make data-driven decisions. This practical guide helps you build a medallion architecture the right way with Azure Databricks and Microsoft Fabric. Drawing on hands-on experience from the field, Piethein Strengholt demystifies common assumptions and complex problems you'll face when embarking on a new data architecture. Architects and engineers of all stripes will find answers to the most typical questions along with insights from real organizations about what's worked, what hasn't, and why. You'll learn: Lakehouse and medallion architecture fundamentals and key concepts Design considerations for Azure Databricks and Microsoft Fabric Scaling considerations, including governance, security, automation, and more How to make informed decisions when designing or implementing new data architectures Proven patterns for success that align with broader organizational objectives
Powerful, Profitable Software Products
You hold in your hands a comprehensive guide to creating a flourishing software development practice - one that makes a powerful impact with the software it builds. This guide describes the unique aspects of creating software-based products. It also lays out the clear practical guidance that's necessary to construct and evolve a modern practice. This includes hiring, structuring teams properly, writing good code, leveraging test driven development, designing architecture, automating development processes with DevOps techniques, and - importantly - leading teams through the disruptive change that each of these can represent. Further, the first principles upon which these practices rest will be elaborated so that the reader can readily adapt the already practical techniques to the broadest possible set of real-world situations.
Software Engineering Approaches to Enable Digital Transformation Technologies
Web Browser Engineering
This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read on the Oxford Academic platform and offered as a free PDF download from OUP and selected open access locations. A working or budding software engineer always benefits from deeply understanding the platform their code runs on, and web browsers are the most common and widely-used platform there is. This book is the essential description of how they work and how that impacts web developers and other software engineers whose work touches the web. Readers of?Web Browser Engineering?will join the authors in building their own web browser, including rich visual effects, multithreaded architecture, JavaScript APIs, and comprehensive security policies. Web browser engines are filled with unique challenges, interesting algorithms, and clever optimizations. Building a browser is both easy and incredibly hard, both intentional and accidental, and everywhere you look, you see the evolution and history of the web wrapped up in one codebase. It's both fun, and endlessly interesting. This interactive and engaging book will be a unique source for any software engineer, computer scientist, web developer, or simply anyone with an interest in web browsers and how they work.
Advances in Computational Intelligence. Micai 2024 International Workshops
Advances in Computational Intelligence. Micai 2024 International Workshops
Recent Trends in VLSI and Semiconductor Packaging
The International conference on Semiconductor Materials packaging, AI&ML, Reconfigurable VLSI architectures for IoT, future Communication Technologies ("SMART-2024") aimed to provide a platform for researchers, academicians, industry experts, and practitioners to exchange ideas, present research findings, and discuss emerging trends and challenges in the specified fields. "SMART-2024" seeked to foster collaboration, innovation, and knowledge dissemination by bringing together experts and stakeholders from diverse backgrounds to address key issues and explore new research directions. The conference targeted a diverse audience including researchers, academicians, scientists, engineers, technologists, industry professionals, students, policymakers, and other stakeholders interested in VLSI, IoT, AI-ML, communication systems, semiconductor packaging, hetero architecture devices, and Nano materials.
Responsible Software Engineering
Today's software applications need more than a friendly interface and correct algorithms. They also need to be responsible: to be beneficial for society and not cause harm. In an era of AI chatbots, deep fake images and videos, social media bubbles, expanding privacy regulations, and a rapidly warming planet, it's more important than ever to practice responsible software engineering so your products earn your users' trust and deserve it. Responsible Software Engineering can help you build better applications that are more ready for real-world situations: Treating people more fairly, regardless of their beliefs, culture, skin tone, and other attributes Operating more safely, to reduce the risk of physical, psychological, or financial harm Better protecting people's privacy, particularly when collecting personal information Incorporating wisdom from the social sciences, law, ethics, and other fields that many engineers may be unfamiliar with Reducing emissions of carbon dioxide (CO2), to address the risks of climate change Join Daniel J. Barrett, a senior manager at Google and long-time software engineer, to dive into these issues and more, including real-world, large-scale case studies. You'll receive expert advice on how to anticipate the effects of your application on the world and its inhabitants, so you can have more confidence that your products "do the right thing."
Greenlight Your Tech Career
No degree? No experience? No idea where to start? This book is for you!Tech jobs pay well and offer freedom, but job postings demand experience you don't have. Maybe you've thought about a computer science degree or a bootcamp-but here's the truth: neither truly prepares you for real jobs.This isn't another success story you can't replicate or a dry coding book. Instead, you'll dive into a fiction story that cleverly weaves in complicated tech terms, making them easy to grasp. Designed specifically for those with absolutely no prior programming experience or understanding of the tech industry, this book is definitely not for seasoned developers.Consider this your action plan-a step-by-step guide to gaining real experience, proving your skills, and getting hired fast. Forget meaningless exercises, "hello world" projects, or endless courses-this is about a practical strategy to break into the tech industry.Inside, you'll discover: How to start from zero-without a degree, bootcamp, or prior experienceWhy degrees and bootcamps often fall short-and what to do insteadHow to gain real experience that employers actually valueHow to prove your skills-so companies want to hire you, no waiting requiredHow to use AI to learn faster and stand outHow to get hired-without wasting time on the broken, traditional pathYou don't need permission, a diploma, or another tutorial to start your tech career. Real-world experience is the key to landing a tech job-and this book will show you exactly where to get it.Ready to write your own success story? Greenlight your career in tech today!
Trends in Functional Programming
This book constitutes the refereed proceedings of the 25th International Symposium on Trends in Functional Programming, TFP 2024, held in South Orange, NJ, USA, during January 10-12, 2024. The 10 full papers included in this book were carefully reviewed and selected from 14 submissions. Topical sections as follows: dependent type systems; compiler optimizations; and DSL design and implementation.
The Art of Computer Programming, Volume 4, Fascicle 7
The Art of Computer Programming is a multivolume work on the analysis of algorithms and has long been recognized as the definitive description of classical computer science. The five volumes published to date--Volumes 1, 2, 3, 4A, and 4B--already comprise a unique and invaluable resource in programming theory and practice. Countless readers have spoken about the profound personal influence of Knuth's writings. Scientists have marveled at the beauty and elegance of his analysis, while practicing programmers have successfully applied his "cookbook" solutions to their day-to-day problems. All have admired Knuth for the breadth, clarity, accuracy, and good humor found in his books. To continue the set, and to update parts of the existing volumes, Knuth has created a series of small books called fascicles, which are published at regular intervals. Each fascicle encompasses a section or more of wholly new or revised material. Ultimately, the content of these fascicles will be rolled up into the comprehensive, final versions of each volume, and the enormous undertaking that began in 1962 will be complete. Volume 4, Fascicle 7, which is brimming with lively examples, forms the first third of what will eventually become hardcover Volume 4C. It introduces and explores an important general framework for modeling and solving combinatorial problems, called the Constraint Satisfaction Problem (CSP). The concluding sections of Volume 4B contain expositions of two analogous frameworks, namely XCC ("exact covering with colors") and SAT ("Boolean satisfiability"); the XCC solvers and SAT solvers are now joined by CSP solvers, completing a powerful trio of techniques. Each member of the trio has its own strengths, while separately helping to understand the other two. This fascicle illuminates how the CSP framework is tied to dozens of other parts of computer science: Scene analysis (computer vision); efficient algorithms that embed one graph in another; fascinating instances of "graceful graphs"; new ways to look ahead when backtracking; new heuristics to guide a search that backtracks through a massive space of possibilities; situations when backtracking isn't necessary. New sparse-set data structures are introduced, leading to a technique called "dancing cells"--which often is even better than "dancing links"! Recreational topics appear throughout, including some new takes on the classic problem of a knight's tour, as well as modern puzzles such as fillomino. Nearly 500 exercises are provided, arranged carefully for self-instruction, together with detailed answers (in fact, sometimes also with answers to the answers). All the while, the author pays significant attention to the history of the subject and its human dimensions.
The Clean Architecture Handbook
Clean Architecture emphasizes building systems that remain adaptable, testable, and maintainable over time by clearly separating core business logic from implementation details. This book provides a comprehensive guide to applying those principles, illustrating how to structure software so that critical rules and processes stay independent of databases, user interfaces, or external libraries. At the heart of the approach is the drive to keep domain rules in a dedicated layer-ensuring that when requirements shift or technologies evolve, teams can replace frameworks, databases, or APIs without rewriting critical functionality.The discussion covers fundamental design patterns that minimize coupling and encourage cohesive modules, showing developers how to isolate concerns while integrating real-world processes such as continuous deployment and modern cloud services. It addresses situations ranging from microservices to more monolithic structures, presenting best practices for both greenfield and legacy scenarios. Readers will learn to adopt abstractions that safeguard domain logic against accidental contamination by external tools, keeping each segment of the codebase focused on a single responsibility.By drawing insights from multiple industries and coding paradigms, the book demonstrates how Clean Architecture can strengthen collaboration, reduce regressions, and streamline feature delivery. It stresses the importance of dedicated testing at each layer, ensuring reliable and confident releases. Ultimately, the techniques described equip software professionals with a robust framework for designing applications that withstand evolving business needs-allowing teams to innovate quickly while preserving a codebase that remains clear, structured, and primed for ongoing growth.
Engineering AI Systems
Transform Your Business with AI: The Ultimate Guide to Engineering AI Systems In the rapidly evolving world of business, integrating artificial intelligence (AI) into your systems is no longer optional. Engineering AI Systems: Architecture and DevOps Essentials is a comprehensive guide that will help you master the complexities of AI systems engineering. This book combines robust software architecture with cutting-edge DevOps practices to deliver high-quality, reliable, and scalable AI solutions. Experts Len Bass, Qinghua Lu, Ingo Weber, and Liming Zhu demystify the intricate process of engineering AI systems, providing practical strategies and tools for seamlessly incorporating AI into your business operations. You will gain a comprehensive understanding of the fundamentals of AI and software engineering and how they intersect to create powerful AI systems. Through real-world case studies, the authors illustrate practical applications and successful implementations of AI in small to medium-sized enterprises across various industries, and offer strategic insights into designing AI systems to align with your business goals. Lifecycle management of AI models, from data preparation to deployment Best practices in system architecture and DevOps for AI systems System reliability, performance, and security in AI implementations Privacy and fairness in AI systems to build trust and compliance Techniques for monitoring and observing AI systems to maintain operational excellence Future trends in AI engineering to stay ahead of the curve Equip yourself with the knowledge and tools to transform your business with AI. Whether you are a technical lead, software engineer, or business strategist, this book provides the essential insights you need to successfully engineer AI systems.
Algorithmic Worldmaking
Illuminates how algorithms, intertwined with human biases, damage political discourse and civic engagementAlgorithmic Worldmaking is an urgent exploration of the dynamic relationship between algorithms that encode their human creators' assumptions and the humans whose choices are shaped by these algorithms in search engines, social media, and other digital spaces. Transcending discussions of one or the other, Jeremy David Johnson traces the corrupting political and social influences that arise from their mutual interaction. Johnson uses the concept of kosmos in its sense of a dynamic order to frame the interplay between algorithms, humans, and their environments. He first shows how algorithms, far from being objective or unbiased, perpetuate human errors. Johnson then suggests a framework of four parts--navigation, exploration, maintenance, and monetization--to map the variety of political consequences to a society influenced by these four factors. Citing controversies at major platforms such as Google, YouTube, and Facebook, Johnson demonstrates how algorithms limit and shape human thought. He makes several persuasive arguments. First, algorithms and humans share agency but humans have exceptional responsibility. Second, the algorithmic kosmos mirrors and shapes social oppression. Third, algorithms incentivize capitalist exploitation. Last, these influences damage democratic deliberation. This landmark study is essential for scholars and students of political science, media studies, and those interested in the perilous implications of algorithmic systems on civic and political life.
Python for Absolute Beginners
This book eases you into the foundational aspects of Python 3.x with an extensive range of code samples that illustrate its diverse features. Start with Python tools and installations, and progressively learn intricacies like strings, loops, conditional logic, and much more. The appendices on NumPy and Pandas provide insights into efficient numerical operations, making it a holistic resource for novice programmers. Companion files with code samples are available for downloading from the publisher. FEATURES: Starts with the basics and advancing to complex topics, helping you grasp the essence of Python step-by-stepIncorporates a multitude of practical tasks, aiding in reinforcing concepts and honing skillsIncludes appendices on NumPy and Pandas which furnish a concise introduction to numerical operations in Python, rounding off your beginner's learning curveCompanion files with code samples are available for downloading from the publisher
Automated Technology for Verification and Analysis
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October 21 - 25, 2024. The 24 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The topics presented in these volumes are organized in the following topical sections: Part I: Invited Keynote and Tutorial Papers; Automata and Games; Concurrent and Distributed Systems; Learning for Verification and Synthesis. Part II: Synthesis and Runtime Verification; Software Verification and Programming Language Semantics; Automated Reasoning and Verification.
