Product-Focused Software Process Improvement
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024. The 18 full papers, 12 short papers, 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers, and one Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The main theme of PROFES 2024 was professional software process improvement (SPI) motivated by product, process, and service quality needs. The technical program of PROFES 2024 was selected by a committee of leading experts in software process improvement, software process modeling, and empirical software engineering.
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vit籀ria, Brazil, during December 4-6, 2024. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Formal Analysis and Verification in Temporal and Symbolic Systems; Formal Semantics and Verification of UML Models; Formal Verification and Proof Techniques in Algorithms and Logics; and Formal Methods for Security and Privacy.
Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers
This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, held in Tartu, Estonia, during December 2-4, 2024. The 9 Industry papers, 2 Workshop papers, 2 Doctoral symposium papers and 1 Keynote paper presented in this volume were carefully reviewed and selected from 85 submissions. The contributions were organized in topical sections as follows: Industry Papers; Third Workshop on Engineering Processes and Practices for Quantum Software (PPQS 2024); and Doctoral Symposium Papers.
Modern Web Development with Angular
Learn modern Angular development and jumpstart your web development journey Book DescriptionAngular is one of the most popular and powerful frameworks for building dynamic, scalable web applications. With its robust ecosystem, it's widely used to create high-performance, enterprise-level applications. This book offers a hands-on approach to mastering Angular, guiding you from setting up your development environment to exploring advanced topics like unit testing. You'll start by learning how to set up Angular and create your first application, followed by gaining a solid understanding of TypeScript, enhancing your ability to work with Angular's strongly typed features. The book covers core building blocks like components, directives, pipes, and services, providing a strong foundation for robust applications. You'll also explore Angular's reactivity system and how to handle asynchronous data to build dynamic UIs. It dives into component communication, data flow, and both Reactive and Template-Driven forms, helping you implement form validation and handle user input effectively. Additionally, you'll master Angular's routing system, use Jest for unit testing, and explore new features like control flow syntax, Standalone components, and Signals. By the end, you'll be confident in building and managing Angular applications. Table of Contents1. Setting up Angular2. Angular Application3. Introduction to Typescript4. Components, Directives, Pipes, and Services5. Getting Started with Reactivity6. Component Communication and Data Flow7. Reactive and Template-driven Forms8. Form Validation9. Routing10. Unit Testing Index
Graph Coloring
This book explores the problem of minimal valid graph coloring, first in the form of games and then of resolution algorithms. Emphasis is placed on deterministic, guaranteed and non-guaranteed methods. Stochastic methods are then just mentioned because they are already widely described in previous publications.The study then details a general quantum algorithm of polynomial complexity. A final chapter provides elements of reflection on diplomatic algorithms that, for the problem of coloring under resource constraints, seek a compromise minimizing frustrations. The appendix includes some mathematical additions and the source codes of the main algorithms presented, in particular the one of the quantum method.
Terraform in Depth
An in-depth guide to everything Terraform, complete with newly established best practices and experienced insights into Infrastructure as Code. Terraform, and its new open source fork OpenTofu, practically eliminates manual infrastructure configuration, making it possible to script and automate almost every aspect of system management and administration. Its "Infrastructure as Code (IaC)" approach has a simple-yet-awesome premise: provision, update, scale, and replicate your infrastructure with the same ease as your application code. In Terraform in Depth, you'll discover absolutely everything you need to automate and manage your infrastructure with just a few lines of code. Inside Terraform in Depth, you'll learn how to: - Understand and write basic Terraform code - Avoid vendor lock-in with the open source OpenTofu - Switch between OpenTofu and Terraform as needed - Construct continuous integration and continuous delivery (CI/CD) pipelines with Terraform - Organize Terraform projects and modules for team-based, production use - Develop and test robust Terraform modules - Create custom Terraform providers Terraform in Depth is fully up to date with the latest versions, standards, and approaches of Terraform and OpenTofu. Complete and comprehensive, its one-stop approach covers everything from Terraform and OpenTofu's absolute basics all the way to advanced production uses. Every technique is illustrated with the kind of real-world examples infrastructure engineers encounter every day. About the book Terraform in Depth teaches you to effectively create and manage your infrastructure as Terraform code. Inside, you'll find essential insights into modern Terraform, including newly established patterns, best practices, and methods for empowering your development team with IaC. Each chapter is fully illustrated with hands-on examples, such as creating a flexible Terraform module to launch EC2 instances and debugging complex Terraform plans. Starting with the basics of reading and writing Terraform code, you'll quickly be able to define your infrastructure with Terraform and create reusable instances of your projects. Next, you'll dive into Terraform's advanced functions--including CI/CD pipelines, registries to distribute modules, and utilizing built-in tools for documentation, security, and module quality. Finally, you'll learn the secrets of Terraform code management, including rules for refactoring, testing modules, and advanced module patterns. About the reader For sysadmin and cloud engineers familiar with the CLI. About the author Robert Hafner has led engineering efforts at numerous startups, including Malwarebytes, Vicarious AI, and Rad AI. He is currently a Senior Principal Architect at a Fortune 100 Telecom in their Developer Experience organization. In his career, he has built large-scale infrastructure with reliability typically reserved for large organizations, while utilizing small, focused teams. When he's not working with computers, he's creating resin art or trying something new in the kitchen. He lives in Chicago with his amazing wife and two cats.
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6-8, 2024. The 23 full papers included in this book were carefully reviewed and selected from 68 submissions. The topics covered range from formal modelling, specification, and design in software development over safety-critical, fault-tolerant, and secure systems to real-time, hybrid, and cyber-physical systems and quantum computing.
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2024, held in Hong Kong, China, during November 26-28, 2024. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.
Building Resilient Architectures on AWS
Unlock the power of AWS to create resilient cloud architectures on AWS and operate your business efficiently using best practicesKey Features: - Transform chaos into reliability with real-world case studies and cutting-edge methods to design robust AWS architectures- Minimize downtime and protect business revenue through battle-tested architectural strategies- Implement scalable architecture solutions on AWS using proven patterns and best practices- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Building systems that can withstand failure is key to running a successful business on the cloud. Learn from distinguished AWS experts-Ajit, Imaya, and Rodrigue-who bring over four decades of experience in architecting enterprise-scale solutions, speaking at major AWS conferences, and implementing resilience strategies across diverse industries, as they guide you through building highly available and fault-tolerant applications on AWS.This book explores resiliency, offering steps to design, build, and operate resilient architectures on AWS. You'll master data security practices, backup strategies, and automation techniques, helping you build strong defenses and reliable recovery plans for resilience against disruptions. You'll also learn how to apply AWS Well-Architected pillars to design applications with redundancy, loose coupling, graceful degradation, and fault isolation. With architecture examples, you'll validate your design's effectiveness through resilient patterns, performance monitoring, and chaos engineering.By the end of this book, you'll be equipped with best practices for creating robust cloud infrastructures to ensure business continuity and success and become proficient at creating fault-tolerant systems, optimizing performance, and ensuring reliability across regions.What You Will Learn: - Master the key concepts and principles of building resilience in the cloud- Architect modern applications using serverless and containers following best practices- Use the AWS Well-Architected Framework to build durable architectures- Anticipate operational events with chaos engineering techniques- Understand when and how to use multi-region and cell-based architectures- Attain highly efficient and reliable workload architectures on AWS- Navigate the collaborative approach of the AWS Shared ResponsibilityWho this book is for: The book is for developers, architects, site reliability engineers, and IT managers who use cloud services for their workloads. It is particularly valuable for those using AWS to develop, deploy, and operate their applications. Prior knowledge of public cloud, architecting highly available infrastructure and applications, software development, deployment, and DevOps practices is assumed. Table of Contents- Understanding Resilience Concepts- Implementing Resilient Compute and Auto Scaling- Securing and Backing Up Critical Data- Orchestrating Graceful Degradation- Exploring the AWS Shared Responsibility Model- Learning AWS Well-Architected Principles for Resiliency- Architecting Fault-Tolerant Applications- Resiliency Considerations for Serverless Applications- Using Containers to Improve Resiliency- Resilient Architectures Across Regions- Examples of Resilient Architecture- Observability, Auditing, and Continuous Improvement- Performing Chaos Engineering Testing- Disaster Recovery Planning and Testing- Finalize Building Resilient Architecture Using AWS Resilience Services
Asynchronous Programming with C++
Design and develop high-performance software solutions by using concurrent and asynchronous techniques provided by the most modern features in C++20 and C++23Key Features: - Learn how to use modern C++ features, including futures, promises, async, and coroutines to build asynchronous solutions- Develop cross-platform network and low-level I/O projects with Boost.Asio- Master optimization techniques by understanding how software adapts to machine hardware- Purchase of the print or Kindle book includes a free PDF eBookBook Description: As hardware advancements continue to accelerate, bringing greater memory capacity and more CPU cores, software must evolve to adapt to efficiently use all available resources and reduce idle CPU cycles. In this book, two seasoned software engineers with about five decades of combined experience will teach you how to implement concurrent and asynchronous solutions in C++.You'll gain a comprehensive understanding of parallel programming paradigms-covering concurrent, asynchronous, parallel, multithreading, reactive, and event-driven programming, as well as dataflows-and see how threads, processes, and services are related. Moving into the heart of concurrency, the authors will guide you in creating and managing threads and exploring C++'s thread-safety mechanisms, including mutual exclusion, atomic operations, semaphores, condition variables, latches, and barriers. With this solid foundation, you'll focus on pure asynchronous programming, discovering futures, promises, the async function, and coroutines. The book takes you step by step through using Boost.Asio and Boost.Cobalt to develop network and low-level I/O solutions, proven performance and optimization techniques, and testing and debugging asynchronous software.By the end of this C++ book, you'll be able to implement high-performance software using modern asynchronous C++ techniques.What You Will Learn: - Explore the different parallel paradigms and know when to apply them- Acquire deep knowledge of thread management and safety mechanisms- Understand asynchronous programming in C++, including coroutines- Leverage network asynchronous programming by using Boost.Asio and Boost.Cobalt- Add proven performance and optimization techniques to your toolbox- Find out how to test and debug asynchronous softwareWho this book is for: This book is for developers who have some experience using C++, regardless of their professional field. If you want to improve your C++ skills and learn how to develop high-performance software using the latest modern C++ features, this book is for you.Table of Contents- Parallel Programming Paradigms- Processes, Threads, and Services- How to Create and Manage Threads in C++- Thread Synchronization with Locks- Atomic Operations- Promises and Futures- The Async Function- Asynchronous Programming Using Coroutines- Asynchronous Programming Using Boost.Asio- Coroutines with Boost.Cobalt- Logging and Debugging Asynchronous Software- Sanitizing and Testing Asynchronous Software- Improving Asynchronous Software Performance
Microsoft Office 365 Bible
OVER 450 PAGES OF CONTENTSEXCLUSIVE BONUS CONTENTS AVAILABLE THROUGH SCANNING A QR CODE IN THE PAPERBACK VERSION: VIDEO MASTERCLASS: Access expert-guided tutorials on Microsoft 365 and discover valuable tips and tricks. MOBILE APP ON THE GO: Gain instant access to a world of resources and tips right from your smartphone. READY-TO-USE TEMPLATES: Simplify your work with a collection of templates ready for immediate use. Ever pondered on transforming your career and daily productivity through mastering Microsoft 365 effortlessly? Feel enticed but hesitant due to the seemingly intricate nature of the suite? Ever found yourself lost amidst the myriad features, wishing for a guide that simplifies it all for you?Look no further! Introduce yourself to a comprehensive, step-by-step exploration of the Microsoft 365 suite with my guide, your compass to navigating and mastering Word, Excel, PowerPoint, Teams, OneNote, OneDrive, Publisher, Access, Outlook, and SharePoint effortlessly!This powerhouse guide, extending over 500 pages, seamlessly combines ten books in one, meticulously crafted for users at all levels, blending straightforward explanations with enriching visuals and rapid learning strategies. With my guide, not only will you familiarize yourself with the software, but you'll evolve into the Microsoft 365 connoisseur every organization covets!Embark on a Journey of Mastery: CAREER PROGRESSION: Stand out as a top performer and gain recognition, enhancing efficiency and showcasing your prowess.PRODUCTIVITY BOOST: Say goodbye to monotonous tasks! Automate processes, conserve energy, and witness a surge in your productivity.FINANCIAL ORGANIZATION: With newfound expertise, optimize personal expenses and investment planning efficiently.ACCESSIBLE EXPLANATIONS: Engage with clear, user-friendly explanations supplemented with instructive images and tutorials for both Windows and iOS.PATH FROM NOVICE TO GURU: Begin with basics and soar to proficiency across all Microsoft 365 applications, understanding their practical applications in various scenarios.SHORTCUTS & COMMANDS: Master essential shortcuts and commands confidently, becoming adept and efficient in your navigation.COMPLEX FEATURES SIMPLIFIED: Effortlessly navigate through advanced features, including data manipulation in Excel, email management in Outlook, and collaboration in Teams!Your journey to unleashing potential and revolutionizing your work landscape begins now. Click "Buy Now" for an immersive experience in the Microsoft 365 world, mastering the suite the effortless way with our unparalleled guide!
Cloud Observability with Azure Monitor
Implement real-time monitoring, visualization, analytics, and troubleshooting strategies on Azure to ensure optimal performance and reliability in your cloud environmentKey Features: - Monitor Azure-native, hybrid, and multi-cloud infrastructure effectively- Design proactive incident responses and visualization dashboards for configuring, optimizing, and monitoring data- Implement strategies for monitoring Azure applications using real-world case studies- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Cloud observability is complex and costly due to the use of hybrid and multi-cloud infrastructure as well as various Azure tools, hampering IT teams' ability to monitor and analyze issues. The authors distill their years of experience with Microsoft to share the strategic insights and practical skills needed to optimize performance, ensure reliability, and navigate the dynamic landscape of observability on Azure.You'll get an in-depth understanding of cloud observability and Azure Monitor basics, before getting to grips with the configuration and optimization of data sources and pipelines for effective monitoring. You'll learn about advanced data analysis techniques using metrics and the Kusto Query Language (KQL) for your logs, design proactive incident response strategies with automated alerts, and visualize reports via dashboards. Using hands-on examples and best practices, you'll explore the integration of Azure Monitor with Azure Arc and third-party tools, such as Datadog, Elastic Stack, or Dynatrace. You'll also implement artificial intelligence for IT Operations (AIOps) and secure monitoring for hybrid and multi-cloud environments, aligned with emerging trends.By the end of this book, you'll be able to develop robust and cost-optimized observability solutions for monitoring your Azure infrastructure and apps using Azure Monitor.What You Will Learn: - Get a holistic overview of cloud observability with Azure Monitor- Configure and optimize data sources to monitor Azure solutions- Analyze logs and metrics using advanced data analysis techniques with KQL- Design proactive incident response strategies with automated alerts- Visualize monitoring data through impactful dashboards and reports- Extend observability to hybrid and multi-cloud environments with Azure Arc- Build and implement monitoring solutions on Azure, aligned with industry standardsWho this book is for: If you're a seasoned cloud engineer, cloud architect, DevOps engineer, SRE, or an aspiring cloud practitioner eager to elevate your observability skills on Azure and implement monitoring strategies using Azure Monitor, then this book is for you. A basic understanding of Azure cloud services, cloud infrastructure management, and network virtualization will be helpful.Table of Contents- Introduction to Observability with Azure Monitor- Understanding Azure Monitor Components and Functions- Exploring Azure Monitor Data Sources and the Ingestion Pipeline- Analyzing Your Data Using Logs and Metrics- Responding to Monitoring Events- Visualizing Your Logs and Metrics- Application Observability and Performance Monitoring with Application Insights- Hybrid and Multi-Cloud Monitoring- Integrating with Third-Party Tools- Building Your Monitoring Strategy- Cost Management and Optimization- Future Trends and Looking Ahead- Appendix
Low Code Development with Mendix
DESCRIPTION This book offers a comprehensive overview of the Mendix platform from a developer's perspective. This powerful technology breaks down barriers, allowing anyone, with or without coding experience, to build custom applications quickly and efficiently with a solid foundation for platform evaluation. Key topics include Mendix's database design, page designer, and visual tools for creating functionality through microflows and nanoflows. You will also learn about security, best practices, and automated performance enhancements. Integration with other applications via REST, SOAP, and OData is explored, as well as the creation of web, progressive, and native mobile apps, all using the same low-code approach.By the end, you will be ready to begin your Mendix certification journey. You will have a thorough understanding of Mendix and through hands-on exercises. You will gain practical experience by developing a cloud-deployed Mendix application, positioning you for success in the fast-evolving low-code development landscape.KEY FEATURES ● Step-by-step instructions for creating Mendix applications from scratch, with practical exercises to build hands-on experience.● Tips and tricks to optimize performance and maintainability of Mendix applications.● Real-world examples, case studies, and optimization tips to enhance Mendix application performance and maintainability.WHAT YOU WILL LEARN● Grasp the essentials of low-code development and discover how it speeds up application creation.● Build robust data models that mirror real-world structures for effective data representation.● Create intuitive and reusable user-friendly interfaces using Mendix's drag-and-drop tools, enhancing user experience.● To automate business processes with microflows, including complex decision-making and data manipulation.● To integrate Mendix applications with external systems using REST, SOAP, and OData APIs.● Advanced topics like security, integration, and mobile development.WHO THIS BOOK IS FORThis book is intended for new and seasoned developers that are starting their journey into low code development and business users evaluating low code software development. A programming background is helpful but not required to understand the content of the book.
Integrated Formal Methods
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
Building a minimal reflective kernel
What is the class Object? What is the class Class? Why the class Object is an instance of the class Class? If you ever ask yourself such questions, this book is for you. After explaining the impact of representing classes as objects, you will develop step by step a minimal reflective kernel. In this book you will learn: - object instantiation, allocation, and initialization, - classes as objects, - description of classes, - creation of classes, - method lookup and error handling, - examples of metaclasses, - bootstrap of a reflective system. The content of this book has been used to teach reflective architectures for more than 15 years.
Introduction to Software Development
This book teaches the essential database development skills that are needed by every software developer, while leaving out ancillary details that could distract from the main mission. With a progression of topics from basic to advanced, and using real-world data in its discussion and examples, it maintains the tutorial style of the first two volumes of the series. The reader learns by doing. Topics covered include importing and exporting data, relational database design, writing SQL queries, modifying data, database performance, connecting from application code, and NoSQL.The overall goal of the series is to prepare students to enter the software development world. Mastering the content in all the volumes will prepare the student for his or her first interview for an entry level developer job.
Software Deployment, Updating, and Patching
Presenting valuable information for professionals involved in maintaining and securing Microsoft systems and applications, this guide provides the skills necessary to develop a comprehensive strategy for updating and securing Microsoft systems with the latest packs and patches. It demonstrates how to perform inventories of IT assets, identify old versions as well as new updates and patches, test compatibility, target deployment, and evaluate management technologies. It also shows readers how to create and implement their own deployment plans with recovery and remediation options and illustrates how to recognize potential vulnerabilities.
Software Testing as a Service
Software Testing as a Service explains, in simple language, how to use software testing to improve productivity, reduce time to market, and reduce costly errors. It explains how the normal functions of manufacturing can be applied to commoditize the software testing service to achieve consistent quality across all software projects. This up-to-date reference reviews different software testing tools, techniques, and practices and provides succinct guidance on how to estimate costs, allocate resources, and make competitive bids. Replete with examples and case histories, this resource illustrates how proper planning can lead to the creation of software that's head and shoulders above the competition.
Programming Microsoft Dynamics 365 Business Central - Seventh Edition
Extend Microsoft Business Central with custom functionality using the AL language in Visual Studio Code, guided by practical examples, expert insights, and real-world use casesKey Features: - Work with the new additions to the AL Language, Visual Studio Code, and Business Central- Enhance your AL programming skills through real-world examples and best practices curated by industry experts- Implement updated best practices for development to build efficient, reliable, and maintainable extensions- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Business Central opens a world of endless possibilities for custom business logic and functionality through extensions and customizations. For beginners in the AL language, navigating the vast landscape can feel overwhelming. It's challenging to know where to start and what's essential to learn. This updated edition offers a concise and well-organized guide, featuring hands-on exercises to support a successful learning journey.You'll get to grips with the basics of Business Central and how to create your first Visual Studio Code project with the AL language. As you learn about the table data structure, simple and complex data types, relationships, validation, and data flow, you'll be able to add and extend tables to your project. Progressively, you'll uncover the intricacies of user interfaces with pages, create advanced Excel report layouts, and harness the power of data queries. Immersing yourself in the AL language syntax, you'll start with variables, methods, procedures, and statements. You'll explore advanced topics to create business logic such as FlowFields, filtering, CRUD methods, interactions between object types, and different API interfaces that can be created using the AL language.By the end of this book, you'll be equipped to build fully featured, robust extensions and custom capabilities for Business Central.What You Will Learn: - Set up your first AL development environment with Visual Studio Code- Understand the data structure and flow of Business Central- Design, build, and extend Table, Page, Report, Codeunit, Query, and XMLport objects in Business Central- Develop AL code for business logic and data manipulation in Visual Studio Code- Use Excel layouts to report Business Central data- Integrate Business Central with external systems using API web services- Implement multi-language in your own extension- Debug and troubleshoot Business Central applicationsWho this book is for: This book is for anyone who wants to learn about Microsoft Dynamics 365 Business Central's powerful and extensive development capabilities. ERP consultants and managers of Business Central development will also find this book helpful. Although you aren't expected to have previously worked with Microsoft Dynamics Business Central, having a basic understanding of programming and familiarity with business applications software will help you understand the concepts covered in this book.Table of Contents- Introduction to Business Central- Tables- Data Types and Table Fields- Pages - The Interactive Interface- Reports and Queries- Introduction to AL- Intermediate AL- Extensibility beyond AL
Mastering AI App Development with MERN Stack
Transform Your Web App Development Journey with MERN and AI Are you ready to step confidently into the next era of web development? Mastering AI App Development with MERN Stack is your complete hands-on guide to building intelligent, data-driven applications using AI app development with MERN stack, full-stack JavaScript, and TensorFlow.js for developers. Book DescriptionWith AI applications driving a projected $15.7 trillion boost to the global economy by 2030, combining AI with the popular MERN stack has become a game-changer for developers and businesses alike. Mastering AI App Development with MERN Stack is a hands-on guide designed for developers ready to bring AI capabilities to their MERN applications, covering everything from foundational machine learning to advanced, real-world solutions. Starting with the essentials of setting up a MERN development environment, the book guides readers through machine learning basics in JavaScript, enabling AI integration with Node.js and TensorFlow.js. Each chapter provides practical insights into building intelligent interfaces with React, effective data handling with MongoDB, and AI middleware using Express.js. Readers will learn to create features like AI-powered chatbots, image and voice recognition, and personalized recommendation systems. Real-world scenarios and case studies demonstrate how AI can elevate MERN applications. What You'll Learn: Foundations of artificial intelligence web development and how to embed intelligent features with MERN stack and JavaScript machine learningEnd-to-end walkthroughs on building intelligent AI-powered web applications using Node.js, Express.js, React intelligent interfaces, and MongoDB for AI projectsStep-by-step tutorials for real-world MERN stack AI book applications, including creating Node.js AI chatbots, image recognition, and recommendation systemsHow to seamlessly connect TensorFlow.js for web development and machine learning JavaScript with MERN stack projectsDeployment insights for scalable MERN AI applications-from security and best practices to real user personalizationIntegrating data-driven features.Who Is This Book For?Developers and students eager to unlock cutting-edge full-stack development guide knowledge for web application AITech professionals seeking proven strategies in artificial intelligence web development and MERN stack machine learningEntrepreneurs and product builders wanting to add intelligent app development and personalized user experience to their solutionsYour Roadmap to AI-Powered Success: Build real-world machine learning with MERN stack projects using clear, step-by-step guidanceDevelop personalized user experience with AI integration and recommendation systemsGain actionable skills for secure and scalable MERN stack AI deployment and data-driven business value.Create the Next Generation of AI-Powered Applications! Table of Contents1. Introduction to AI and the MERN Ecosystem2. Setting Up the MERN Development Environment3. Fundamentals of Machine Learning with JavaScript4. Implementing AI with Node.js and TensorFlow.js5. Creating Intelligent User Interfaces with React6. Data Management for AI with MongoDB7. Building AI Middleware with Express.js8. Crafting AI-Powered Chatbots9. Image and Voice Recognition Capabilities10. Personalization with Recommendation Systems11. Deploying MERN and AI Applications12. Security Practices for AI-Enabled MERN Applications13. Scaling AI Features in Production14. Emerging Trends in AI and MERN Development15. Case Studies and Real-World Success StoriesIndex
Jetpack Compose 1.7 Essentials
Unleash the full potential of Android app development with Jetpack Compose 1.7. This comprehensive guide teaches you to build sleek, modern Android applications using the latest tools, including Android Studio, Material Design 3, and Kotlin. Tailored for developers who want to go from setup to full-scale deployment, this book takes you step-by-step through every phase of app creation-from mastering the essentials of Android Studio to publishing on the Google Play Store.Begin by setting up your development environment and dive into Kotlin essentials, covering data types, functions, coroutines, and more to build a strong programming foundation. Then, explore Jetpack Compose fundamentals and Android project architecture, moving into practical tutorials on crafting custom Composables and layouts like row, column, box, flow, pager, and list components. The book doesn't just stop at layout; it guides you through state management, UI navigation, modifiers, and custom components.Unlock advanced capabilities with biometric authentication, Google Maps integration, and in-app billing for revenue generation. Deepen your skills with graphics, animations, and gesture handling to create interactive and dynamic interfaces. Plus, master data storage with Room databases, view models, and live data.To solidify your knowledge, the book includes access to over 55 online knowledge test quizzes covering each key concept, giving you a way to test your understanding and track your progress. Every concept is reinforced through hands-on tutorials, complete with downloadable source code, making it easy to follow along and practice as you go.Every concept is reinforced through hands-on tutorials, complete with downloadable source code, making it easy to follow along and practice as you go. If you're ready to bring your app to life, this guide will walk you through the complete process, from development to publication.Get ready to take your Android app development skills to the next level with this essential guide to Jetpack Compose 1.7.
Advances in Conceptual Modeling
This book constitutes the refereed proceedings of the workshops held at the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024. The 22 full papers and 1 short paper included in this book were carefully reviewed and selected from 52 submissions. They stem from the following workshops: AISA'2024 - The First International Workshop on AI Services and Applications CMLS2024 - The 5th International Workshop on Conceptual Modeling for Life Sciences EmpER'24 -7th International Workshop on Empirical Methods in Conceptual Modeling QUAMES 2024 - 5th International Workshop on Quality and Measurement of Model-Driven Software Development JUSMOD24 - 3rd International Workshop on Digital JUStice, Digital Law and Conceptual MODeling LLM4Modeling - 2nd Workshop on Modeling in the Age of Large Language Models
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Conceptual Modeling
This book constitutes the proceedings of the 43rd International Conference on Conceptual Modeling, ER 2024, which took place in Pittsburgh, PA, USA, during October 28-31, 2024. The 22 full papers presented in this volume were carefully reviewed and selected from 113 submissions. They are grouped into the following topics: process modeling; advanced modeling languages; ontological modeling; domain and goal modeling; language models and conceptual modeling; applications of conceptual modeling.
Theory and Practice of Quality Assurance for Machine Learning Systems
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains.
Technologies and Innovation
This book constitutes the refereed proceedings of the 10th International Conference on Technologies and Innovation, CITI 2024, held in Guayaquil, Ecuador, during November 2024. The 15 full papers presented in this volume were carefully reviewed and selected from 38 submissions. These papers have been organized under the following topical sections: Artificial intelligence in Agriculture; Natural language processing and semantic web; Machine learning; Software tools.
Efficient Algorithm Design
Master advanced algorithm design techniques to tackle complex programming challenges and optimize application performanceKey Features: - Develop advanced algorithm design skills to solve modern computational problems- Learn state-of-the-art techniques to deepen your understanding of complex algorithms- Apply your skills to real-world scenarios, enhancing your expertise in today's tech landscape- Purchase of the print or Kindle book includes a free PDF eBookBook Description: Efficient Algorithm Design redefines algorithms, tracing the evolution of computer science as a discipline bridging natural science and mathematics. Author Masoud Makrehchi, PhD, with his extensive experience in delivering publications and presentations, explores the duality of computers as mortal hardware and immortal algorithms.The book guides you through essential aspects of algorithm design and analysis, including proving correctness and the importance of repetition and loops. This groundwork sets the stage for exploring algorithm complexity, with practical exercises in design and analysis using sorting and search as examples. Each chapter delves into critical topics such as recursion and dynamic programming, reinforced with practical examples and exercises that link theory with real-world applications. What sets this book apart is its focus on the practical application of algorithm design and analysis, equipping you to solve real programming challenges effectively.By the end of this book, you'll have a deep understanding of algorithmic foundations and gain proficiency in designing efficient algorithms, empowering you to develop more robust and optimized software solutions.What You Will Learn: - Gain skills in advanced algorithm design for better problem-solving- Understand algorithm correctness and complexity for robust software- Apply theoretical concepts to real-world scenarios for practical solutions- Master sorting and search algorithms, understanding their synergy- Explore recursion and recurrence for complex algorithmic structures- Leverage dynamic programming to optimize algorithms- Grasp the impact of data structures on algorithm efficiency and design Who this book is for: If you're a software engineer, computer scientist, or a student in a related field looking to deepen your understanding of algorithm design and analysis, this book is tailored for you. A foundation in programming and a grasp of basic mathematical concepts is recommended. It's an ideal resource for those already familiar with the basics of algorithms who want to explore more advanced topics. Data scientists and AI developers will find this book invaluable for enhancing their algorithmic approaches in practical applications.Table of Contents- Introduction to Algorithm Analysis- Mathematical Induction and Loop Invariant for Algorithm Correctness- Rate of Growth for Complexity Analysis- Recursion and Recurrence Functions- Solving Recurrence Functions- Sorting Algorithms- Search Algorithms- Symbiotic Relationship between Sort and Search- Randomized Algorithms- Dynamic Programming- Landscape of Data Structures- Linear Data Structures- Non-Linear Data Structures- Tomorrow's Algorithms
Reactive Programming
Discover the world of Reactive Programming with this comprehensive guide that covers everything from the fundamentals to advanced topics. Learn the benefits, principles, and concepts of Reactive Programming, and master the building, testing, and optimization of reactive applications. With real-world examples and a focus on practicality, this book is perfect for developers looking to take their programming skills to the next level.
Containerization
Get ready to dive into the world of containerization with this comprehensive guide. From understanding Docker to mastering Kubernetes, this book covers it all. Learn how to containerize your applications, optimize performance, secure your containers, and explore real-world case studies. Perfect for both beginners and experienced users, this book is packed with practical examples and best practices. Whether youre a developer, sysadmin, or IT professional, youll find everything you need to know about containerization in this ultimate guide.
Microservices
In this comprehensive guide, learn how to leverage the power of microservices to build scalable and resilient applications. From understanding the basics to implementing best practices, this book covers everything you need to know about microservices architecture. Discover real-world case studies and explore the future of microservices in the ever-evolving world of software development.
Web Assembly
Unleash the power of Web Assembly with this comprehensive guide on building high-performance web applications. From setting up your development environment to advanced optimization techniques, this book covers everything you need to know to become a Web Assembly expert. Packed with practical examples and resources, it is the ultimate resource for web developers looking to harness the full potential of this revolutionary technology.
Generative Analysis
Learn Generative Analysis--a New Method of Object-Oriented Analysis--to Keep Pace with How Generative AI Is Transforming the Face of Software Engineering Generative AI is revolutionizing software engineering--many aspects of manual coding are becoming automated, and the skills needed by software engineers, developers, and analysts are evolving. Anyone who writes or works with code will need to produce precise analysis artifacts to feed the AI code-generation process. Enter generative analysis: a precise, structured way for software engineers, programmers, and analysts to transition to this new, AI-enhanced software engineering world. In Generative Analysis, experts Jim Arlow and Ila Neustadt leverage Literate Modeling, M++, and multivalent logic to lay out a step-by-step approach to object-oriented analysis that produces clear and unambiguous results suitable for further processing into code by generative AI systems such as Copilot, ChatGPT, and Gemini. Prepare for the challenge of the future by understanding the flexibility you already have at hand using generative analysis. Gain a new perspective on the shift to generative AI-based programming models Understand how generative analysis artifacts feed generative AIs to generate code and UML models Explore techniques that feed into and refine each other until a precise analysis definition of a software system is achieved Recognize milestones and end points to eliminate "analysis paralysis" Learn to work at the right level of abstraction to leverage the most power from generative AI Gain understanding from real-world, detailed examples of prompts and AI responses This guide teaches advanced, precise, and sophisticated analysis techniques that will allow you to thrive in the new world of software engineering with generative AI. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
Service-Oriented Computing
This book constitutes the refereed proceedings of the 18th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2024, held in Crete, Greece, during June 24-29, 2024. The 8 revised full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 24 submissions. They cover the following topics: modeling the digital world; quantum computing; data platforms.
Applied Computer Sciences in Engineering
The two-volume set CCIS 2222 + 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024. The 42 full papers presented here were carefully reviewed and selected from 97 submissions. The papers are organized in the following topical sections: Part I - Artificial Intelligence. Part II - Optimization; Simulation; Applications.
Applied Computer Sciences in Engineering
The two-volume set CCIS 2222 and 2223 constitutes the proceedings of the 11th Workshop on Engineering Applications, WEA 2024, which took place in Barranquilla, Colombia, during October 23-25, 2024. The 42 full papers presented here were carefully reviewed and selected from 97 submissions. The papers are organized in the following topical sections: Part I - Artificial Intelligence. Part II - Optimization; Simulation; Applications.
C# 13 Programming Essentials - .NET 9 Edition
This book is a comprehensive guide to mastering the C# 13 programming language and the .NET 9 SDK, providing a thorough learning experience for both beginners and experienced developers. With 31 detailed chapters, 30 online knowledge quizzes, and access to downloadable project code, this guide is structured to support your journey from basic concepts to advanced programming techniques, all within the Visual Studio Code environment.We will start by introducing the foundational components of the C# ecosystem, providing an overview of the Common Language Infrastructure (CLI), the Common Intermediate Language (CIL), and the Virtual Execution System (VES). These initial sections will offer a deeper understanding of the platform's architecture. Following that, we will provide step-by-step instructions for installing and using the Visual Studio Code environment.As you advance, you will learn about the foundational principles of the C# language. This will include exploring topics such as variables, constants, operators, flow control, and loops. These basic concepts will then be expanded to cover object-oriented programming (OOP), with an emphasis on inheritance, abstract classes, interfaces, and structures.Beyond the basics, this book advances into more specialized areas, including string manipulation, working with arrays and collections, handling exceptions, and implementing asynchronous programming techniques. These sections are designed to deepen your understanding and equip you with the skills necessary to build more sophisticated apps.Whether you are new to programming or seeking to refine your skills, C# 13 Programming Essentials - .NET 9 Edition offers the knowledge and practical guidance you need to succeed in C# development.
Platform Engineering for Architects
Design and build Internal Developer Platforms (IDPs) with future-oriented design strategies, using the Platform as a Product mindsetKey Features: - Learn how to design platforms that create value and drive user adoption- Benefit from expert techniques for shifting to a product-centric mindset as an architect and platform team- Implement best practices to understand platform complexity, manage technical debt, and ensure its evolution- Purchase of the print or Kindle book includes a free PDF eBookBook Description: The rapid pace of technological advancements, the shortage of IT talent, and the complexity of modern systems highlight the need for structured guidance in building resilient, user-centric platforms for cloud-native environments. This book empowers platform engineers and architects to implement value-driven internal development platforms.You'll learn how to identify end users, understand their challenges, and define the purpose of a platform, with a focus on self-service solutions for modern cloud-native software development, delivery, and operations. The book incorporates real-world examples of building platforms within and for the cloud, leveraging the power of Kubernetes. You'll learn how adopting a product mindset for architecting and building platforms helps foster successful platform engineering teams. This emphasizes early end-user involvement and provides a framework that gives you the flexibility to easily adapt and extend for future use cases. The book also offers insights into building a sustainable platform without accumulating technical debt.By the end of this book, you'll be able to drive the design, definition, and implementation of platform capabilities as a product that aligns with your organizational requirements and strategy.What You Will Learn: - Make informed decisions based on your organization's platform needs- Identify missing platform capabilities and technical debt- Develop a critical user journey through your platform capabilities- Define the purpose, principles, and key performance indicators (KPIs) for your platform- Utilize relevant data points for making data-driven product decisions- Implement your own platform reference and target architecturesWho this book is for: This book is for platform architects and solutions architects seeking to enhance their skills in designing and building a platform as a product. It also offers valuable insights for decision-makers, platform engineers, and DevOps professionals. While familiarity with cloud-native concepts, CI/CD, and Kubernetes is beneficial, the book builds on these topics to address self-service, cost management, and technical debt. It's particularly suited to experts tackling the challenge of integrating diverse domains to create effective internal developer platforms with top-notch operational readiness.Table of Contents- Platform Engineering and the Art of Crafting Platforms- Understanding Platform Architecture to Build Platform as a Product- Building the Foundation for Supporting Platform Capabilities- Architecting the Platform Core - Kubernetes as a Unified Layer- Integration, Delivery, and Deployment - Automation is Ubiquitous- Build for Developers and Their Self-Service- Building Secure and Compliant Products- Cost Management and Best Practices- Choosing Technical Debt to Unbreak Platforms- Crafting Platform Products for the Future
