Saltar al contenido principal
Elsevier

Libros en Software

  • Trustworthy LLMs

    Principles and Challenges
    • 1 Edición
    • Mohit Kumar
    • Inglés
    Despite numerous advantages, LLMs have trust, transparency, accountability, and reliability issues due to development with "black-box" approaches, which make it difficult to understand how LLMs create specific outputs. Trustworthy LLMs: Principles and Challenges presents the fundamental concepts of trustworthy LLMs, then proceeds to address the foremost challenges researchers and developers face in developing reliable and trustworthy LLMs. The book begins by presenting the main research branches of artificial intelligence along with the principles of LLMs, from pre-training to fine tuning, and, ultimately, trustworthy LLMs. Readers will learn about the chief technical principles of LLMs, including attention mechanism, transformers, and transfer learning. The methodologies used for development of ChatGPT have been explained as a case study for comprehensive understanding of the concepts involved in LLMs. Readers will also learn about the integration of XAI with LLM, and other key frontiers in trustworthy LLM development, including the synergy between deep learning and LLMs, as well as case studies on GPT-4 and OPT-1.3B. The book concludes with chapters on key challenges and future research approaches for developing trustworthy LLMs.

  • Modeling Systems with SysML v2

    The Systems Modeling Language
    • 1 Edición
    • Sanford Friedenthal + 2 más
    • Inglés
    Whether you have previous experience modeling with SysML v1 or are new to modeling with SysML, Modeling Systems with SysML v2: The Systems Modeling Language provides the understanding and guidance to help you gain a basic level of competency in SysML v2, prepare for SysML v2 certification, and advance your modeling skills over time. SysML v2 is the next generation systems modeling language that can be used to model complex systems that span a wide range of application domains. It provides the ability to specify requirements, behavior, structure, analysis, and verification of interacting systems and their components while maintaining traceability across the system model. SysML v2 enhances the precision, expressiveness, consistency, usability, extensibility and interoperability of systems modeling. It provides both graphical and textual notations that facilitates stakeholder understanding and enables modern practices with agile workflows. SysML also includes an application programming interface (API) that facilitates interoperability across digital engineering tools and models. The formal semantic and syntactic foundation for SysML v2 enables technologies such as artificial intelligence (AI) with large language models (LLM) to interact with the SysML model. The combination of SysML v2's textual notation and standard API, along with a formal foundation and consistent usage patterns, facilitate automation to support model validation, workflow enhancements, and integration with other models and tools. This book provides a comprehensive and practical guide for modeling systems with SysML v2. With their unique perspective as leading contributors to the language, Friedenthal and Seidewitz provide a full description of the language along with a quick reference guide and practical examples to help you use SysML v2. The book begins with guidance on the most commonly used features to help you get started quickly, explaining the benefits of a model-based approach and providing an overview of the language and how to apply SysML v2 to model systems. The authors include a comprehensive description of SysML v2 that provides a detailed understanding that can serve as a foundation for modeling with SysML v2, and as a reference for practitioners. The book includes methods for applying model-based systems engineering using SysML v2 to specify and design systems, and how these methods can help manage complexity.

  • Advances in Machine Learning for Engineering Applications and Sustainable Development

    • 1 Edición
    • Volumen 145
    • Inglés
    Advances in Machine Learning for Engineering Applications and Sustainable Development, published as Volume 145 of the serial Advances in Computers, provides a comprehensive and timely exploration of how artificial intelligence (AI) and machine learning (ML) are transforming engineering practice and advancing sustainability goals. The volume brings together contributions from leading researchers to examine the integration of data-driven methods in concrete technology, digital fabrication, structural health monitoring, materials engineering, and industrial process optimisation. It highlights emerging paradigms such as AI-driven 3D printing, predictive analytics for failure detection, lifecycle and environmental impact assessment, and circular economy strategies.Spanning foundational methods and real-world implementations, the volume emphasises sustainable materials, eco-efficient construction processes, and intelligent system design. It pays particular attention to the use of ML in improving resource efficiency, enabling recycling of industrial by-products, and enhancing the performance of green materials such as biochar-based composites. By combining theoretical insights, mathematical modelling, and application-oriented case studies, this volume serves as a critical reference for advancing resilient, efficient, and environmentally responsible engineering systems.

  • Full-Stack Web Development from the Ground Up

    Principles, Practices, and Technologies
    • 1 Edición
    • Christopher D. Hundhausen
    • Inglés
    Web development is one of the most highly sought after skills in the software industrytoday. Full-Stack Web Development From the Ground Up: Principles, Practices, andTechnologies presents a systematic and modern treatment of this core area of softwaredevelopment, starting with the fundamentals of front-end development using HTML, CSS,and JavaScript; moving to front-end development with React; and culminating in server-sidedevelopme... using Express.js, Node.js, and MongoDB.Using the widely adopted MERN stack (MongoDB, Express.js, React.js, and Node.js), thisundergraduate textbook explores full-stack web development through the step-bystepconstruct... of a pedagogical version of SpeedScore (see https://speedscore.o... asophisticated full-stack web application that supports the international speedgolf community.The book’s emphasis is not on specific web development technologies, but rather on theunderlying concepts, principles, and best practices of web development. This approach laysa solid foundation for students to become proficient web developers who can adapt to therapidly changing landscape of web development technologies.

  • High-Performance Computing

    Applications and Frontiers
    • 1 Edición
    • Oscar Diez
    • Inglés
    High-Performance Computing: Applications and Frontiers serves as an essential, up-to-date guide for those seeking to master the rapidly evolving field of HPC. Building on foundational concepts, this volume delves into specialized tools and emerging technologies shaping modern research and industry, such as parallel and distributed systems, GPU programming, quantum computing, and cloud-based solutions. Designed for advanced students, researchers, and professionals, it prepares readers to tackle real-world challenges by combining theoretical insights with practical expertise, offering a clear roadmap for navigating both established and cutting-edge HPC landscapes.The book further distinguishes itself by exploring domain-specific applications, machine learning, and the future trajectory of high-performance computing. Key topics include containerization, AI-powered HPC, hybrid and multi-cloud strategies, as well as recent advancements in GPU and quantum technologies. With its blend of theory and hands-on examples, this book is a versatile reference that meets the growing demand for a comprehensive resource in today's data-driven world.

  • Agile Systems Engineering with SysML v2 and AI

    • 2 Edición
    • Bruce Powel Douglass
    • Inglés
    Agile Systems Engineering with SysML v2 and AI, Second Edition presents a practical vision of systems engineering in which requirements, structure, behavior, and analysis are captured as precise engineering data—while still addressing the “big system” concerns of safety, security, reliability, privacy, and performance in an agile context. World-renowned author and speaker Dr. Bruce Powel Douglass shows how agile methods, model-based systems engineering (MBSE), and artificial intelligence (AI), work together to reduce ambiguity, expose defects earlier, and sustain end-to-end traceability from stakeholder intent to verification evidence.This edition goes beyond concepts by providing usable, repeatable workflows for modern programs—covering incremental, agile, and DevSecOps-oriented lifecycles and the concrete process steps and gates that make them executable in practice. Rather than treating modeling as documentation, the book treats SysML v2 as a semantic backbone for capturing requirements, architecture, interfaces, behaviors, constraints, and verification intent in one coherent source of truth.New to this edition is an introduction to SysML v2 and an entire chapter on AI and modern MBSE, showing where AI assistants provide leverage, how to apply quality-control gates to keep outputs trustworthy, and how to integrate AI into real engineering workflows without surrendering correctness. Each chapter includes AI prompt patterns for MBSE—ready-to-use prompt structures for generating SysML v2 model elements, extracting and normalizing requirements from external sources, reconciling terminology, and reviewing models against project rules and acceptance criteria. Throughout, Douglass equips systems engineers with concrete methods to prevent specification defects, improve system quality, and reduce rework—so teams can move faster and build with greater confidence

  • Mastering Java Full Stack Development

    From Spring Boot to ReactJS
    • 1 Edición
    • Usharani Bhimavarapu
    • Inglés
    Mastering Java Full Stack Development: From Spring Boot to ReactJS is an essential handbook for building robust, scalable, and future-ready enterprise applications using today’s most in-demand technologies. Written for full-stack developers, software engineers stepping into enterprise systems, as well as students preparing for real-world architecture challenges, this comprehensive guide walks readers through every layer of modern application design—from Spring Boot and Hibernate to Node. js and ReactJS, and from secure RESTful application programming interfaces to microservices and cloud-native deployment. Structured for progressive learning, this book blends theory with hands-on examples to help readers build applications that are not just functional, but maintainable, secure, and scalable. Each chapter provides the why behind the how—enabling readers to make informed technical decisions grounded in industry best practices. This book offers a unified, full-stack view of enterprise application development, integrating back-end, front-end, database, and cloud layers. It provides an integrated, end-to-end guide that shows how Spring, Hibernate, React, and Microservices work together in a cohesive architecture. It also addresses the growing interest and practical implementation challenges associated with applying the most current development methodologies to Java software engineering environments, offering a deep dive into foundational concepts, the challenges faced in real-world applications, and potential future developments. Java remains an integral programming language in modern web-based software development, which enables smoother collaboration, faster deployment, and improved quality of software products. This book is written for full-stack developers and Java back-end developers who want to expand into front-end technologies, as well as front-end developers looking to master enterprise-level back-end development.

  • Development of Multi-Agent System Infrastructures

    A Practical Approach
    • 1 Edición
    • Andrei Olaru
    • Inglés
    Development of Multi-Agent Systems Infrastructure: A Practical Approach explores the creation of modular frameworks to support the deployment of real-world software applications utilizing multi-agent systems (MAS). Drawing from the author’s hands-on experience with the FLASH-MAS framework—a Fast Lightweight Agent Shell—the book delves into both theoretical models and practical solutions for MAS implementation. It addresses the complexities of deploying autonomous agents across diverse fields such as manufacturing, robotics, health care, and supply chain management, highlighting the shared challenges developers face when managing distributed, networked, or large-scale agent interactions. The book is organized into three main sections, covering models and languages for MAS, the deployment and interaction between system entities, and practical guidance for implementing robust MAS frameworks. Emphasizing modularity, the author presents adaptable tools and solutions that can be independently utilized for system development and maintenance. Practical issues such as entity lifecycle management, environmental interactions, and system robustness are thoroughly examined, making this resource valuable for both new and experienced MAS developers.

  • Pioneering Autonomous Technology: A Deep Dive into Hyper Automation

    • 1 Edición
    • Volumen 143
    • Inglés
    Pioneering Autonomous Technology: A Deep Dive into Hyper Automation, Volume 143 in the Advances in Computers series, showcases the transformative role of artificial intelligence, deep learning, and machine learning in creating safer, more efficient, and socially inclusive environments. This volume explores how autonomous technologies are reshaping healthcare, transportation, agriculture, and urban living. Chapters cover important topics such as a Survey on Deep Learning Based Autonomous Medical Diagnosis Models for Chronic Disease Identification, Human-Robot Interaction: Ensuring Safe and Effective Coordination, Blazing Trails: Cutting-Edge Technologies Revolutionizing Forest Fire Screening, Connected Communities: Fostering Social Inclusion and Equity in Smart Cities through IoT Integration, and much more.Additional chapters cover a Preliminary Study of Retinal Biomarkers Detection on Fundus Images for the Diagnosis of Alzheimer’s and Parkinson’s Diseases, Deep Learning Driven Classification of Sweet Lime Leaves: A Superior CNN Approach for Agricultural Automation, Machine Learning in Healthcare: Advancements, Applications, and Challenges, Feature Extraction and Object Recognition in Autonomous Systems, The Future of Autonomous Vehicles: Industry Trends, Technologies, and Challenges, Autonomous Systems: Shaping the Future of Industries and Transportation, and many other topics that will be of interest to readers.

  • Foundations of High-Performance Computing

    A Comprehensive Guide to Systems, Concepts, and Programming
    • 1 Edición
    • Oscar Diez
    • Inglés
    Foundations of High Performance Computing: A Comprehensive Guide to Systems, Concepts, and Programming offers a comprehensive reference on high-performance computing (HPC). Laying the groundwork for the companion text, High-Performance Computing: Applications and Frontiers, this book serves as a comprehensive introduction to the fundamental concepts, systems, and introductory programming techniques. It focuses on infrastructure, programming basics, and practical access to HPC systems, covering the evolution of HPC and offering an architectural overview of HPC systems. In addition, it explores resource management and performance metrics in parallel systems, discussing practical access to HPC and considering the concepts behind distributed and shared memory. Other sections focuses on OpenMP for multithreading, MPI programming, GPU computing, OpenACC, and CUDA, and parallel I/O, data management, filesystems, cloud based HPC, and virtualization. The book concludes with a reference and glossary, equipping the reader with a thorough grounding in the basics of HPC and providing a comprehensive, multidisciplinary guide on the principles and concepts that underpin high performance computing. It is designed for graduate students, early-career professionals, and researchers seeking to build a solid foundation in HPC.

  • Mastering DevOps

    A Cloud Engineering and Data Science Perspective
    • 1 Edición
    • Chinmaya Kumar Dehury + 1 más
    • Inglés
    Mastering DevOps: A Cloud Engineering and Data Science Perspective addresses the challenge of understanding and implementing DevOps in an era of rapid technological advancement where cloud-based infrastructure and data science applications have become integral to many organizations. The book covers the specific requirements of these fields, such as scalability, automation, and managing large-scale data and containerized applications. Content focuses on DevOps principles while integrating core technologies such as cloud computing, microservices, and continuous integration/continuo... delivery (CI/CD). Additionally, the book provides coverage of a DevOps approach tailored to data science by covering recent advancements and explaining their relevance in a DevOps environment. Specific topics cover fundamental principles, including history, planning, and essential tools like Git, introduce the core technologies and architectures that power modern DevOps, such as microservices, cloud computing, and containerization, and focus on the practical implementation of DevOps, exploring key practices like continuous integration, automation, and monitoring. Finally, the book delves into advanced topics and future trends, such as deployment strategies and the extension of DevOps principles to data science and other narrowed-down domains.

  • AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities

    • 1 Edición
    • Volumen 142
    • Inglés
    AI, Blockchain and Social Network on Urban Crisis Management: Leveraging Emerging Technologies for Disaster Response and Resilience in Smart Cities, Volume 142 in the Advances in Computers series, examines how cutting-edge digital technologies are reshaping disaster preparedness and response. This volume highlights the convergence of artificial intelligence, blockchain, and social network analysis to predict, prevent, and manage urban crises. Chapters explore Nutrient Recovery from Livestock Effluent in a Circular Economy Approach, Leveraging Artificial Intelligence for Deforestation Monitoring and Conservation in the Colombian Amazon, Experimental and Theoretical Investigation of Diffusion in Hydrocarbon-Based Dense Fluids for Enhanced Oil Recovery, and much more.Additional chapters cover Navigating the Complexities: Challenges, Weaknesses, and Hurdles in Integrating AI, Blockchain, and Social Networks for Urban Crisis Management, Educating Europe's Guardians: Ethical AI and Emerging Technologies in Law Enforcement Training for Urban Crisis Management, The Intersection of AI, Blockchain, and Social Networks in Urban Crises Management, Application of Graph Theory in Disaster Management for Efficient Handling and Mobilizing of Resources and Logistics, Analyzing the Role of Social Networks in Urban Crisis Management through Citizen Participation and Smart Technological Deployment, and many more important and timely topics.

  • Mastering Cloud Computing

    Foundations and Applications Programming
    • 2 Edición
    • Rajkumar Buyya + 4 más
    • Inglés
    Mastering Cloud Computing: Foundations and Applications Programming, Second Edition serves as a comprehensive introduction for readers seeking to develop applications in the ever-evolving world of cloud computing. As technology advances, applications are no longer confined to a single machine but instead operate from virtual servers, accessible globally at any time. This book equips aspiring developers with the essential tools and knowledge to create effective cloud-based applications. Beyond the foundational principles, the book delves into distributed and parallel computing, providing in-depth coverage of virtualization, thread programming, task programming, and map-reduce techniques.It also addresses the development of applications for various cloud architectures, highlighting industrial platforms and critical security considerations. To reinforce learning, the text integrates real-world case studies, practical examples, hands-on exercises, and lab activities throughout, allowing readers to apply concepts directly and build their expertise effectively.

  • Programming Massively Parallel Processors

    A Hands-on Approach
    • 5 Edición
    • Wen-mei W. Hwu + 2 más
    • Inglés
    Programming Massively Parallel Processors: A Hands-on Approach, Fifth Edition shows both students and professionals alike the basic concepts of parallel programming and GPU architecture. Concise, intuitive, and practical, it is based on years of road-testing in the authors' own parallel computing courses. Various techniques for constructing and optimizing parallel programs are explored in detail, while case studies demonstrate the development process, which begins with computational thinking and ends with effective and efficient parallel programs. This new edition has been updated with an expanded repertoire of optimizations, new patterns and applications, ad more coverage of important CUDA features.

  • Cloud-native Architecture (CNA) and Artificial Intelligence (AI) for the Future of Software Engineering: The Principles, Patterns, Platforms and Practices

    • 1 Edición
    • Volumen 141
    • Inglés
    Cloud-native Architecture (CNA) and Artificial Intelligence (AI) for the Future of Software Engineering: The Principles, Patterns, Platforms and Practices, Volume 141 in the Advances in Computers series, explores the convergence of artificial intelligence, machine learning, and modern software engineering practices. Chapters in this new release include Demystifying the Cloud-native Artificial Intelligence (CNAI) Paradigm, Articulating Machine and Deep Learning Models for Next-Generation Software Development, Delineating Artificial Intelligence (AI) and Its Potentials for Automated Software Engineering, Leveraging Machine and Deep Learning (ML/DL) Algorithms towards AI Models for Automating Software Development, and more.Other sections cover Artificial Intelligence (AI) Technologies and Tools for Accelerated Software Development, Demystifying the Agentic AI Paradigm for Accelerated Software Engineering, Detailing AI Techniques and Tools for Software Engineering Acceleration and Automation, Generative AI Tools for Accelerated Software Engineering, Empowering Software Engineering Automation through Explainable AI, and much more.

  • Tcl/Tk

    A Developer's Guide
    • 4 Edición
    • Clif Flynt
    • Inglés
    Tcl/Tk: A Developer's Guide, Fourth Edition is an essential resource for computer professionals, from systems administrators to programmers. It covers new Tcl features, expanded Tcl-OO coverage, web technology using Rivet and SQLite, and AI integration with AWS. The book also delves into Tcl's standard tools, multi-faceted nature, and extensibility, making it ideal for developing GUIs, client/server middleware, and web applications. Readers will quickly learn to code in Tcl and extend its capabilities with the inclusion of numerous code examples and case studies.The updated edition includes over 150 pages on the latest Tcl extensions, proven techniques, and tools for effective programming. Extensive code snippets and online tutorials enhance understanding, while case studies provide practical insights. The book also discusses Tcl's role as the hidden "secret sauce" in commercial applications, highlighting its graphics and control infrastructure. With a vibrant user community and evolving API, Tcl/Tk remains a powerful and versatile programming platform for both beginners and experienced programmers.

  • Engineering Generative AI-Based Software

    • 1 Edición
    • Miroslaw Staroń
    • Inglés
    Engineering Generative-AI Based Software discusses both the process of developing this kind of AI-based software and its architectures, combining theory with practice. Sections review the most relevant models and technologies, detail software engineering practices for such systems, e.g., eliciting functional and non-functional requirements specific to generative AI, explore various architectural styles and tactics for such systems, including different programming platforms, and show how to create robust licensing models. Finally, readers learn how to manage data, both during training and when generating new data, and how to use generated data and user feedback to constantly evolve generative AI-based software.As generative AI software is gaining popularity thanks to such models as GPT-4 or Llama, this is a welcomed resource on the topics explored. With these systems becoming increasingly important, Software Engineering Professionals will need to know how to overcome challenges in incorporating GAI into the products and programs they develop.

  • Consensus

    Fueling Blockchain Innovation and DApp Expansion
    • 1 Edición
    • Ali Ahmadian + 3 más
    • Inglés
    Consensus: Fueling Blockchain Innovation and DApp Expansion explores the complexities of consensus mechanisms in order to shed light on emerging trends, best practices, and real-world applications that can fuel blockchain innovation while encouraging the dissemination of DApps across various industries. Additionally, the book bridges a crucial gap in the literature by providing in-depth insights into the role of consensus mechanisms in shaping the future of blockchain technology and decentralized applications. This book delves into the fundamentals of blockchain technology along with the roles and significance of vital consensus mechanisms, their underlying principles, formal specifications, functional characteristics, architecture, frameworks, and potential across diverse blockchain applications. Moreover, the book meticulously explores classification, performance metrics, and design parameters. It offers a comprehensive comparative analysis of these mechanisms, shedding light on their computational and communication complexity, strengths, weaknesses, and suitability. Additionally, the book delves into future research directions, highlighting emerging trends and areas requiring further investigation. It also addresses the efforts underway to address existing challenges and open issues within the realm of consensus mechanisms, ensuring a comprehensive understanding of the state-of-the-art in this pivotal aspect of blockchain technology. Due to the wide range of availability and evolving new consensus mechanisms, selecting an optimal and suitable consensus for a specific blockchain application is one of the crucial challenges in the development and innovation of blockchain systems. This book has also a discussion on appropriate selection algorithms based on multi-attribute decision-making for specific blockchain systems and DApps development.

  • Quantum Computing

    Principles and Paradigms
    • 1 Edición
    • Rajkumar Buyya + 1 más
    • Inglés
    Quantum Computing: Principles and Paradigms covers a broad range of topics, providing a state-of-the-art and comprehensive reference for the rapid progress in the field of quantum computing and related technologies from major international companies (such as IBM, Google, Intel, Rigetti, Q-Control) and academic researchers. This book appeals to a broad readership, as it covers comprehensive topics in the field of quantum computing, including hardware, software, algorithms, and applications, with chapters written by both academic researchers and industry developers.This book presents readers with the fundamental concepts of quantum computing research, along with the challenges involved in developing practical devices and applications.

  • Python Fast Track

    A Complete Guide to Rapidly Mastering and Applying Python Programming
    • 1 Edición
    • Sanjiban Sekhar Roy + 2 más
    • Inglés
    Python Fast Track: A Complete Guide to Rapidly Mastering and Applying Python Programming adopts a simplified writing style and provides clear explanations to ensure ease of understanding, making it an ideal resource for those new to Python. Starting with the basics, the book covers fundamental concepts such as variables, data types, printing and prompting, lists, dictionaries, tuples, control structure, functions, and object-oriented concepts. The book includes everything you need to understand and apply more advanced programming techniques such as file handling, exception handling, and regex.This great resource is created especially for those who want to apply Python for their research and professional work in scientific computing, data analysis and machine learning, including chapters on NumPy and Pandas, two of the most popular Python application libraries. It demonstrates how to effectively master key applications of Python such as web development, software creation, task automation, and data analysis. The book covers data analysis and machine learning tasks that greatly benefit from Python, thanks to libraries such as TensorFlow and Keras that enable efficient coding.

  • The Convergence of Artificial Intelligence (AI) and 6G Communication Networks: The Needs and Implications

    • 1 Edición
    • Volumen 139
    • Inglés
    Advances in Computers, Volume 139 focuses on the convergence of Artificial Intelligence (AI) and 6G communication networks, addressing key advancements and implications across various fields. It explores cybersecurity challenges in 5G networks, solutions for 5G performance evaluation, and the transition to 5G-Advanced. The role of AI in enhancing 6G network performance, resource allocation, and management is discussed alongside the technical foundations of 6G and its ability to power edge AI applications. The volume highlights how 6G will transform industries like logistics through automation and AI-driven decision-making, while also covering strategic management perspectives on AI-driven innovations. Sustainability is a key theme, with discussions on energy-efficient cloud and quantum data centers, as well as the integration of green innovations into AI-6G synergy. The metaverse and its reliance on 5G and 6G for immersive experiences are reviewed, alongside the revolutionary potential of quantum computing in 6G networks. The practical applications of AI, such as a CNN-based model for brain tumor detection using 5G edge cloud, and federated learning for 6G, demonstrate the technology's impact on healthcare and data privacy. Additionally, the volume delves into 6G’s role in enabling next-generation metaverse systems and AI-powered telemedicine, while providing insights into the architecture, communication systems, and industrial use cases of 6G. It concludes by summarizing the advancements, advantages, and challenges of 6G, offering a comprehensive view of its future impact on global connectivity.

  • Quantum Process Algebra

    • 1 Edición
    • Yong Wang
    • Inglés
    Quantum Process Algebra introduces readers to the algebraic properties and laws for quantum computing. The book provides readers with all aspects of algebraic theory for quantum computing, including the basis of semantics and axiomatization for quantum computing. With the assumption of a quantum system, readers will learn to solve the modeling of the three main components in a quantum system: the unitary operator, quantum measurement, and quantum entanglement, with full support of quantum and classical computing in closed systems. Next, the book establishes the relationship between probabilistic quantum bisimilarity and classical probabilistic bisimilarity, including strong probabilistic bisimilarity and weak probabilistic bisimilarity, which makes an axiomatization of quantum processes possible. With this framework, quantum and classical computing mixed processes are unified with the same structured operational semantics. Finally, the book establishes a series of axiomatizations of quantum process algebras. These process algebras support nearly all the main computation properties. Quantum and classical computing in closed quantum systems are unified with the same equational logic and the same structured operational semantics under the framework of ACP-like probabilistic process algebra. This unification means that the mathematics in the book can be used widely for verification of quantum and classical computing mixed systems, for example, most quantum communication protocols. ACP-like axiomatization also inherits the advantages of ACP, for example, and modularity means that it can be extended in an elegant way.

  • Probability for Deep Learning Quantum

    A Many-Sorted Algebra View
    • 1 Edición
    • Charles R. Giardina
    • Inglés
    Probability for Deep Learning Quantum provides readers with the first book to address probabilistic methods in the deep learning environment and the quantum technological area simultaneously, by using a common platform: the Many-Sorted Algebra (MSA) view. While machine learning is created with a foundation of probability, probability is at the heart of quantum physics as well. It is the cornerstone in quantum applications. These applications include quantum measuring, quantum information theory, quantum communication theory, quantum sensing, quantum signal processing, quantum computing, quantum cryptography, and quantum machine learning. Although some of the probabilistic methods differ in machine learning disciplines from those in the quantum technologies, many techniques are very similar.Probability is introduced in the text rigorously, in Komogorov’s vision. It is however, slightly modified by developing the theory in a Many-Sorted Algebra setting. This algebraic construct is also used in showing the shared structures underlying much of both machine learning and quantum theory. Both deep learning and quantum technologies have several probabilistic and stochastic methods in common. These methods are described and illustrated using numerous examples within the text. Concepts in entropy are provided from a Shannon as well as a von-Neumann view. Singular value decomposition is applied in machine learning as a basic tool and presented in the Schmidt decomposition. Besides the in-common methods, Born’s rule as well as positive operator valued measures are described and illustrated, along with quasi-probabilities. Author Charles R. Giardina provides clear and concise explanations, accompanied by insightful and thought-provoking visualizations, to deepen your understanding and enable you to apply the concepts to real-world scenarios.

  • Soft Computing in Smart Manufacturing and Materials

    • 1 Edición
    • Sudan Jha + 4 más
    • Inglés
    Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques, concepts and design principles behind smart soft computing, and describes how they can be applied in the development and manufacture of smart materials. It provides perspectives for design and commissioning of intelligent applications, including in health care, agriculture, and production assembly, and reviews the latest intelligent technologies and algorithms related to the methodologies of monitoring and mitigation of sustainable engineering.

  • Programming Language Pragmatics

    • 5 Edición
    • Michael Scott + 1 más
    • Inglés
    Programming Language Pragmatics is the most comprehensive programming language textbook available today, with nearly 1000 pages of content in the book, plus hundreds more pages of reference materials and ancillaries online. Michael Scott takes theperspective that language design and language implementation are tightly interconnected, and that neither can be fully understood in isolation. In an approachable, readable style, he discusses more than 50 languages in the context of understanding how code isinterpreted or compiled, providing an organizational framework for learning new languages, regardless of platform. This edition has been thoroughly updated to cover the most recent developments in programming language design and provides both a solid understanding of the most important issues driving software development today

  • Antivirus Engines

    From Methods to Innovations, Design, and Applications
    • 1 Edición
    • Paul A. Gagniuc
    • Inglés
    Antivirus Engines: From Methods to Innovations, Design, and Applications offers an in-depth exploration of the core techniques employed in modern antivirus software. It provides a thorough technical analysis of detection methods, algorithms, and integration strategies essential for the development and enhancement of antivirus solutions. The examples provided are written in Python, showcasing foundational, native implementations of key concepts, allowing readers to gain practical experience with the underlying mechanisms of antivirus technology.The text covers a wide array of scanning techniques, including heuristic and smart scanners, hexadecimal inspection, and cryptographic hash functions such as MD5 and SHA for file integrity verification. These implementations highlight the crucial role of various scanning engines, from signature-based detection to more advanced models like behavioral analysis and heuristic algorithms. Each chapter provides clear technical examples, demonstrating the integration of modules and methods required for a comprehensive antivirus system, addressing both common and evolving threats.Beyond simple virus detection, the content illustrates how polymorphic malware, ransomware, and state-sponsored attacks are tackled using multi-layered approaches. Through these examples, students, researchers, and security professionals gain practical insight into the operation of antivirus engines, enhancing their ability to design or improve security solutions in a rapidly changing threat environment.

  • High Performance Computing

    Modern Systems and Practices
    • 2 Edición
    • Thomas Sterling + 2 más
    • Inglés
    Performance Computing: Modern Systems and Practices is a fully comprehensive and easily accessible treatment of high performance computing, covering fundamental concepts and essential knowledge while also providing key skills training. With this book, students will begin their careers with an understanding of possible directions for future research and development in HPC, domain scientists will learn how to use supercomputers as a key tool in their quest for new knowledge, and practicing engineers will discover how supercomputers can employ HPC systems and methods to the design and simulation of innovative products.This new edition has been fully updated, and has been reorganized and restructured to improve accessibility for undergraduate students while also adding trending content such as machine learning and a new chapter on CUDA.

  • Truly Concurrent Process Algebra With Localities

    • 1 Edición
    • Yong Wang
    • Inglés
    Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and Π Calculus for True Concurrency (Π). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity.This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities.

  • CUDA Fortran for Scientists and Engineers

    Best Practices for Efficient CUDA Fortran Programming
    • 2 Edición
    • Gregory Ruetsch + 1 más
    • Inglés
    CUDA Fortran for Scientists and Engineers: Best Practices for Efficient CUDA Fortran Programming shows how high-performance application developers can leverage the power of GPUs using Fortran, the familiar language of scientific computing and supercomputer performance benchmarking. The authors presume no prior parallel computing experience, and cover the basics along with best practices for efficient GPU computing using CUDA Fortran. In order to add CUDA Fortran to existing Fortran codes, they explain how to understand the target GPU architecture, identify computationally-inte... parts of the code, and modify the code to manage the data and parallelism and optimize performance – all in Fortran, without having to rewrite in another language.Each concept is illustrated with actual examples so you can immediately evaluate the performance of your code in comparison.This second edition provides much needed updates on how to efficiently program GPUs in CUDA Fortran. It can be used either as a tutorial on GPU programming in CUDA Fortran as well as a reference text.

  • API Design for C++

    • 2 Edición
    • Martin Reddy
    • Inglés
    API Design for C++, Second Edition provides a comprehensive discussion of Application Programming Interface (API) development, from initial design through implementation, testing, documentation, release, versioning, maintenance, and deprecation. It is the only book that teaches the strategies of C++ API development, including interface design, versioning, scripting, and plug-in extensibility. Drawing from the author's experience on large scale, collaborative software projects, the text offers practical techniques of API design that produce robust code for the long-term. It presents patterns and practices that provide real value to individual developers as well as organizations.The Second Edition includes all new material fully updated for the latest versions of C++, including a new chapter on concurrency and multithreading, as well as a new chapter discussing how Objective C++ and C++ code can co-exist and how a C++ API can be accessed from Swift programs. In addition, it explores often overlooked issues, both technical and non-technical, contributing to successful design decisions that produce high quality, robust, and long-lived APIs. It focuses on various API styles and patterns that will allow you to produce elegant and durable libraries. A discussion on testing strategies concentrates on automated API testing techniques rather than attempting to include end-user application testing techniques such as GUI testing, system testing, or manual testing.

  • Theory of Structured Parallel Programming

    • 1 Edición
    • Yong Wang
    • Inglés
    Theory of Structured Parallel Programming is a comprehensive guide to structured parallel programming corresponding to traditional structured sequential programming. The book provides readers with comprehensive coverage of theoretical foundations of structured parallel programming, including analyses of parallelism and concurrency, truly concurrent process algebras, building block-based structured parallel programming, modelling and verification of parallel programming language, modelling and verification of parallel programming patterns, as well as modeling and verification of distributed systems.There have been always two ways to approach parallel computing: one is the structured way, and the other is the graph-based (true concurrent) way. The structured way is often based on the interleaving semantics, such as process algebra CCS. Since the parallelism in interleaving semantics is not a fundamental computational pattern (the parallel operator can be replaced by alternative composition and sequential composition), the parallel operator often does not occur as an explicit operator, such as in the mainstream programming languages C, C++, Java, et al.

  • Artificial Intelligence and Machine Learning for Open-world Novelty

    • 1 Edición
    • Volumen 134
    • Inglés
    Artificial Intelligence and Machine Learning for Open-world Novelty, Volume 134 in the Advances in Computers series presents innovations in computer hardware, software, theory, design and applications, with this updated volume including new chapters on AI and Machine Learning for Real-world problems, Graph Neural Network for learning complex problems, Adaptive Software platform architecture for Aerial Vehicle Safety Levels in real-world applications, OODA Loop for Learning Open-world Novelty Problems, Privacy-Aware Crowd Counting Methods for Real-World Environment, AI and Machine Learning for 3D Computer Vision Applications in Open-world, and PIM Hardware accelerators for real-world problems.Other sections cover Irregular Situations in Real-World Intelligent Systems, Offline Reinforcement Learning Methods for Real-world Problems, Addressing Uncertainty Challenges for Autonomous Driving in Real-World Environments, and more.

  • Internet of Things: Architectures for Enhanced Living Environments

    • 1 Edición
    • Volumen 133
    • Goncalo Marques
    • Inglés
    Internet of Things: Architectures for Enhanced Living Environments, Volume 133 presents interesting chapters on a variety of timely topics, including Explainable Artificial Intelligence for Enhanced Living Environments: A Study on User Perspective, Human behavioral anomaly pattern mining within an IoT environment: an exploratory study, Indoor Activity Localization Technologies for Assisted Living: Opportunities, Challenges, and Future Directions, Smart Indoor Air Quality Monitoring for Enhanced Living Environments and Ambient Assisted Living, Usability evaluation for the IoT use in Enhanced Living Environments, Roadmap to the elderly enhanced living and care environments: applications and challenges on the Internet of Things domain, and much more.

  • Handbook of Truly Concurrent Process Algebra

    • 1 Edición
    • Yong Wang
    • Inglés
    Handbook of Truly Concurrent Process Algebra provides readers with a detailed and in-depth explanation of the algebra used for concurrent computing. This complete handbook is divided into five Parts: Algebraic Theory for Reversible Computing, Probabilistic Process Algebra for True Concurrency, Actors – A Process Algebra-Based Approach, Secure Process Algebra, and Verification of Patterns. The author demonstrates actor models which are captured using the following characteristics: Concurrency, Asynchrony, Uniqueness, Concentration, Communication Dependency, Abstraction, and Persistence. Every pattern is detailed according to a regular format to be understood and utilized easily, which includes introduction to a pattern and its verifications.Patter... of the vertical domains are also provided, including the domains of networked objects and resource management. To help readers develop and implement the software patterns scientifically, the pattern languages are also presented.

  • Embedded Systems

    ARM Programming and Optimization
    • 2 Edición
    • Jason D. Bakos
    • Inglés
    Embedded Systems: ARM Programming and Optimization, Second Edition combines an exploration of the ARM architecture with an examination of the facilities offered by the Linux operating system to explain how various features of program design can influence processor performance. The book demonstrates methods by which a programmer can optimize program code in a way that does not impact its behavior but instead improves its performance. Several applications, including image transformations, fractal generation, image convolution, computer vision tasks, and now machine learning are used to describe and demonstrate these methods. From this, the reader will gain insight into computer architecture and application design, as well as practical knowledge in embedded software design for modern embedded systems. The second edition has been expanded to include more topics of interest to upper level undergraduate courses in embedded systems.

  • Perspective of DNA Computing in Computer Science

    • 1 Edición
    • Volumen 129
    • Inglés
    DNA or Deoxyribonucleic Acid computing is an emerging branch of computing that uses DNA sequence, biochemistry, and hardware for encoding genetic information in computers. Here, information is represented by using the four genetic alphabets or DNA bases, namely A (Adenine), G (Guanine), C (Cytosine), and T (Thymine), instead of the binary representation (1 and 0) used by traditional computers. This is achieved because short DNA molecules of any arbitrary sequence of A, G, C, and T can be synthesized to order. DNA computing is mainly popular for three reasons: (i) speed (ii) minimal storage requirements, and (iii) minimal power requirements. There are many applications of DNA computing in the field of computer science. Nowadays, DNA computing is widely used in cryptography for achieving a strong security technique, so that unauthorized users are unable to retrieve the original data content. In DNA-based encryption, data are encrypted by using DNA bases (A, T, G, and C) instead of 0 and 1. As four DNA bases are used in the encryption process, DNA computing supports more randomness and makes it more complex for attackers or malicious users to hack the data. DNA computing is also used for data storage because a large number of data items can be stored inside the condensed volume. One gram of DNA holds approx DNA bases or approx 700 TB. However, it takes approx 233 hard disks to store the same data on 3 TB hard disks, and the weight of all these hard disks can be approx 151 kilos. In a cloud environment, the Data Owner (DO) stores their confidential encrypted data outside of their own domain, which attracts many attackers and hackers. DNA computing can be one of the best solutions to protect the data of a cloud server. Here, the DO can use DNA bases to encrypt the data by generating a long DNA sequence. Another application of DNA computing is in Wireless Sensor Network (WSN). Many researchers are trying to improve the security of WSN by using DNA computing. Here, DNA cryptography is used along with Secure Socket Layer (SSL) that supports a secure medium to exchange information. However, recent research shows some limitations of DNA computing. One of the critical issues is that DNA cryptography does not have a strong mathematical background like other cryptographic systems. This edited book is being planned to bring forth all the information of DNA computing. Along with the research gaps in the currently available books/literature, this edited book presents many applications of DNA computing in the fields of computer science. Moreover, research challenges and future work directions in DNA computing are also provided in this edited book.

  • Principles of Big Graph: In-depth Insight

    • 1 Edición
    • Volumen 128
    • Inglés
    Principles of Big Graph: In-depth Insight, Volume 128 in the Advances in Computer series, highlights new advances in the field with this new volume presenting interesting chapters on a variety of topics, including CESDAM: Centered subgraph data matrix for large graph representation, Bivariate, cluster and suitability analysis of NoSQL Solutions for big graph applications, An empirical investigation on Big Graph using deep learning, Analyzing correlation between quality and accuracy of graph clustering, geneBF: Filtering protein-coded gene graph data using bloom filter, Processing large graphs with an alternative representation, MapReduce based convolutional graph neural networks: A comprehensive review. Fast exact triangle counting in large graphs using SIMD acceleration, A comprehensive investigation on attack graphs, Qubit representation of a binary tree and its operations in quantum computation, Modified ML-KNN: Role of similarity measures and nearest neighbor configuration in multi label text classification on big social network graph data, Big graph based online learning through social networks, Community detection in large-scale real-world networks, Power rank: An interactive web page ranking algorithm, GA based energy efficient modelling of a wireless sensor network, The major challenges of big graph and their solutions: A review, and An investigation on socio-cyber crime graph.

  • Engineering a Compiler

    • 3 Edición
    • Keith D. Cooper + 1 más
    • Inglés
    *Textbook and Academic Authors Association (TAA) Textbook Excellence Award Winner, 2024*Engineering a Compiler, Third Edition covers the latest developments in compiler technology, with new chapters focusing on semantic elaboration (the problems that arise in generating code from the ad-hoc syntax-directed translation schemes in a generated parser), on runtime support for naming and addressability, and on code shape for expressions, assignments and control-structures. Leading educators and researchers, Keith Cooper and Linda Torczon, have revised this popular text with a fresh approach to learning important techniques for constructing a modern compiler, combining basic principles with pragmatic insights from their own experience building state-of-the-art compilers.

  • Programming Massively Parallel Processors

    A Hands-on Approach
    • 4 Edición
    • Wen-mei W. Hwu + 2 más
    • Inglés
    Programming Massively Parallel Processors: A Hands-on Approach shows both students and professionals alike the basic concepts of parallel programming and GPU architecture. Concise, intuitive, and practical, it is based on years of road-testing in the authors' own parallel computing courses. Various techniques for constructing and optimizing parallel programs are explored in detail, while case studies demonstrate the development process, which begins with computational thinking and ends with effective and efficient parallel programs. The new edition includes updated coverage of CUDA, including the newer libraries such as CuDNN. New chapters on frequently used parallel patterns have been added, and case studies have been updated to reflect current industry practices.

  • MATLAB Programming for Biomedical Engineers and Scientists

    • 2 Edición
    • Andrew P. King + 1 más
    • Inglés
    MATLAB Programming for Biomedical Engineers and Scientists, Second Edition provides an easy-to-learn introduction to the fundamentals of computer programming in MATLAB. The book explains the principles of good programming practice, while also demonstrating how to write efficient and robust code that analyzes and visualizes biomedical data. Aimed at the biomedical engineering student, biomedical scientist and medical researcher with little or no computer programming experience, this is an excellent resource for learning the principles and practice of computer programming using MATLAB. The book enables the reader to analyze problems and apply structured design methods to produce elegant, efficient and well-structured program designs, implement a structured program design in MATLAB, write code that makes good use of MATLAB programming features, including control structures, functions and advanced data types, and much more.

  • MATLAB

    A Practical Introduction to Programming and Problem Solving
    • 6 Edición
    • Dorothy C. Attaway
    • Inglés
    MATLAB: A Practical Introduction to Programming and Problem Solving, winner of TAA’s 2017 Textbook Excellence Award ("Texty"), guides the reader through both programming and built-in functions to easily exploit MATLAB’s extensive capabilities for tackling engineering and scientific problems. Assuming no knowledge of programming, this book starts with programming concepts, such as variables, assignments, and selection statements, moves on to loops, and then solves problems using both the programming concept and the power of MATLAB. The sixth edition has been updated to reflect the functionality of the current version of MATLAB (R2021a), including the introduction of machine learning concepts and the Machine Learning Toolbox, and new sections on data formats and data scrubbing.

  • Cloud Computing

    Theory and Practice
    • 3 Edición
    • Dan C. Marinescu
    • Inglés
    Cloud Computing: Theory and Practice, Third Edition provides students and IT professionals with an in-depth analysis of the cloud from the ground up. After an introduction to network-centric computing and network-centric content, the book reviews basic concepts of concurrency and parallel and distributed systems, presents critical components of the cloud ecosystem as cloud service providers, cloud access, cloud data storage, and cloud hardware and software, covers cloud applications and cloud security, and presents research topics in cloud computing. Specific topics covered include resource virtualization, resource management and scheduling, and advanced topics like the impact of scale on efficiency, cloud scheduling subject to deadlines, alternative cloud architectures, and vehicular clouds. An included glossary covers terms grouped in several categories, from general to services, virtualization, desirable attributes and security.

  • Multicore and GPU Programming

    An Integrated Approach
    • 2 Edición
    • Gerassimos Barlas
    • Inglés
    Multicore and GPU Programming: An Integrated Approach, Second Edition offers broad coverage of key parallel computing tools, essential for multi-core CPU programming and many-core "massively parallel" computing. Using threads, OpenMP, MPI, CUDA and other state-of-the-art tools, the book teaches the design and development of software capable of taking advantage of modern computing platforms that incorporate CPUs, GPUs and other accelerators. Presenting material refined over more than two decades of teaching parallel computing, author Gerassimos Barlas minimizes the challenge of transitioning from sequential programming to mastering parallel platforms with multiple examples, extensive case studies, and full source code. By using this book, readers will better understand how to develop programs that run over distributed memory machines using MPI, create multi-threaded applications with either libraries or directives, write optimized applications that balance the workload between available computing resources, and profile and debug programs targeting parallel machines.

  • An Introduction to Parallel Programming

    • 2 Edición
    • Peter Pacheco + 1 más
    • Inglés
    An Introduction to Parallel Programming, Second Edition presents a tried-and-true tutorial approach that shows students how to develop effective parallel programs with MPI, Pthreads and OpenMP.As the first undergraduate text to directly address compiling and running parallel programs on multi-core and cluster architecture, this second edition carries forward its clear explanations for designing, debugging and evaluating the performance of distributed and shared-memory programs while adding coverage of accelerators via new content on GPU programming and heterogeneous programming. New and improved user-friendly exercises teach students how to compile, run and modify example programs.

  • The Blockchain Technology for Secure and Smart Applications across Industry Verticals

    • 1 Edición
    • Volumen 121
    • Inglés
    The Blockchain Technology for Secure and Smart Applications across Industry Verticals, Volume 121, presents the latest information on a type of distributed ledger used for maintaining a permanent and tamper-proof record of transactional data. The book presents a novel compendium of existing and budding Blockchain technologies for various smart applications. Chapters in this new release include the Basics of Blockchain, The Blockchain History, Architecture of Blockchain, Core components of Blockchain, Blockchain 2.0: Smart Contracts, Empowering Digital Twins with Blockchain, Industrial Use Cases at the Cusp of the IoT and Blockchain Paradigms, Blockchain Components and Concepts, Digital Signatures, Accumulators, Financial Systems, and more. This book is a unique effort to illuminate various techniques to represent, improve and authorize multi-institutional and multidisciplinary research in a different type of smart applications, like the financial system, smart grid, transportation system, etc. Readers in identity-privacy, traceability, immutability, transparency, auditability, and security will find it to be a valuable resource.

  • The Art of Multiprocessor Programming

    • 2 Edición
    • Maurice Herlihy + 3 más
    • Inglés
    The Art of Multiprocessor Programming, Second Edition, provides users with an authoritative guide to multicore programming. This updated edition introduces higher level software development skills relative to those needed for efficient single-core programming, and includes comprehensive coverage of the new principles, algorithms, and tools necessary for effective multiprocessor programming. The book is an ideal resource for students and professionals alike who will benefit from its thorough coverage of key multiprocessor programming issues.

  • Durable Phase-Change Memory Architectures

    • 1 Edición
    • Volumen 118
    • Inglés
    Advances in Computers, Volume 118, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include Introduction to non-volatile memory technologies, The emerging phase-change memory, Phase-change memory architectures, Inter-line level schemes for handling hard errors in PCMs, Handling hard errors in PCMs by using intra-line level schemes, and Addressing issues with MLC Phase-change Memory.

  • The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases

    • 1 Edición
    • Volumen 117
    • Inglés
    The Digital Twin Paradigm for Smarter Systems and Environments: The Industry Use Cases, Volume 117, the latest volume in the Advances in Computers series, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters vividly illustrate how the emerging discipline of digital twin is strategically contributing to various digital transformation initiatives. Specific chapters cover Demystifying the Digital Twin Paradigm, Digital Twin Technology for "Smarter Manufacturing", The Fog Computing/ Edge Computing to leverage Digital Twin, The industry use cases for the Digital Twin idea, Enabling Digital Twin at the Edge, The Industrial Internet of Things (IIOT), and much more.

  • Advances in Computers

    • 1 Edición
    • Volumen 112
    • Inglés
    Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques.

  • Certifiable Software Applications 3

    Downward Cycle
    • 1 Edición
    • Jean-Louis Boulanger
    • Inglés
    Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification phases, architecture, design and coding, and important concepts on modeling and implementation. For coding, code generation and/or manual code production strategies are explored. As applications are coded, a presentation of programming languages and their impact on certifiability is included.