Skip to main content
Elsevier

Books in Software

This collection encompasses software engineering, programming languages, and development frameworks. Showcasing best practices, innovative methodologies, and case studies, it supports developers, researchers, and educators in building reliable, efficient, and maintainable software systems. Addressing agile development, software testing, and DevOps, these resources foster technological excellence and industry readiness.

  • Trustworthy LLMs

    Principles and Challenges
    • 1st Edition
    • Mohit Kumar
    • English
    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
    • 1st Edition
    • Sanford Friedenthal + 2 more
    • English
    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.

  • High-Performance Computing

    Applications and Frontiers
    • 1st Edition
    • Oscar Diez
    • English
    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

    • 2nd Edition
    • Bruce Powel Douglass
    • English
    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

  • Software Architecture for Big Data and the Cloud

    • 1st Edition
    • Bruce Maxim + 4 more
    • English

  • Microsoft Log Parser Toolkit

    A Complete Toolkit for Microsoft's Undocumented Log Analysis Tool
    • 1st Edition
    • Gabriele Giuseppini + 1 more
    • English

  • Thor's OS Xodus

    Why And How I Left Windows For OS X
    • 1st Edition
    • Timothy "Thor" Mullen
    • English

  • Individualized Drug Therapy for Patients

    Basic Foundations, Relevant Software and Clinical Applications
    • 1st Edition
    • Michael Neely + 1 more
    • English

  • Sharing Data and Models in Software Engineering

    • 1st Edition
    • Burak Turhan + 4 more
    • English

  • Multicore Software Development Techniques

    Applications, Tips, and Tricks
    • 1st Edition
    • Robert Oshana
    • English

  • Advances in Computers

    Social Net Working and the Web
    • 1st Edition
    • Volume 76
    • Marvin Zelkowitz
    • English

  • Energy Efficiency in Data Centers and Clouds

    • 1st Edition
    • Volume 100
    • English

  • Shared Memory Application Programming

    Concepts and Strategies in Multicore Application Programming
    • 1st Edition
    • Victor Alessandrini
    • English

  • Microsoft® Exchange Server 2003 Scalability with SP1 and SP2

    • 1st Edition
    • Pierre Bijaoui
    • English

  • Software Engineering

    Architecture-driven Software Development
    • 1st Edition
    • Richard F Schmidt
    • English

  • Linux and OpenVMS Interoperability

    Tricks for Old Dogs, New Dogs and Hot Dogs with Open Systems
    • 1st Edition
    • John Robert Wisniewski
    • English

  • High-Performance Embedded Computing

    Applications in Cyber-Physical Systems and Mobile Computing
    • 2nd Edition
    • Marilyn Wolf
    • English

  • Partial Differential Equations and Boundary Value Problems with Maple

    • 2nd Edition
    • George A. Articolo
    • English

  • Software Quality Assurance

    In Large Scale and Complex Software-intensive Systems
    • 1st Edition
    • Richard M Soley + 4 more
    • English

  • Pervasive Computing

    Next Generation Platforms for Intelligent Data Collection
    • 1st Edition
    • Fatos Xhafa + 1 more
    • English

  • Introduction to Audio Analysis

    A MATLAB® Approach
    • 1st Edition
    • Theodoros Giannakopoulos + 1 more
    • English

  • Bluetooth Application Developer's Guide

    • 1st Edition
    • Syngress
    • English

  • The Best Damn Exchange, SQL and IIS Book Period

    • 1st Edition
    • Mark Horninger + 2 more
    • English

  • Real-Life MDA

    Solving Business Problems with Model Driven Architecture
    • 1st Edition
    • John Parodi + 1 more
    • English

  • Inside the SPAM Cartel

    By Spammer-X
    • 1st Edition
    • Spammer-X Spammer-X
    • English

  • Unit Testing in Java

    How Tests Drive the Code
    • 1st Edition
    • Johannes Link
    • English

  • Perspectives on Data Science for Software Engineering

    • 1st Edition
    • Tim Menzies + 2 more
    • English

  • How to Build a Digital Library

    • 1st Edition
    • Ian H. Witten + 1 more
    • English

  • Dissecting the Hack

    The V3rb0t3n Network
    • 1st Edition
    • Jayson E Street
    • English

  • The Designer's Guide to VHDL

    • 3rd Edition
    • Volume 3
    • Peter J. Ashenden
    • English

  • Matrix Algorithms in MATLAB

    • 1st Edition
    • Ong U. Routh
    • English

  • Joe Celko's SQL for Smarties

    Advanced SQL Programming
    • 5th Edition
    • Joe Celko
    • English

  • Annotated C# Standard

    • 1st Edition
    • Jon Jagger + 2 more
    • English

  • Tru64 UNIX Troubleshooting

    Diagnosing and Correcting System Problems
    • 1st Edition
    • Martin Moore + 1 more
    • English

  • JSTL

    Practical Guide for JSP Programmers
    • 1st Edition
    • Sue Spielman
    • English

  • Operating System Forensics

    • 1st Edition
    • Ric Messier
    • English

  • CUDA Programming

    A Developer's Guide to Parallel Computing with GPUs
    • 1st Edition
    • Shane Cook
    • English

  • Agent-Based Spatial Simulation with NetLogo Volume 1

    • 1st Edition
    • Nicolas Marilleau + 2 more
    • English

  • Multicore and GPU Programming

    An Integrated Approach
    • 1st Edition
    • Gerassimos Barlas
    • English

  • Software Design Methodology

    From Principles to Architectural Styles
    • 1st Edition
    • Hong Zhu
    • English

  • Object-Oriented Analysis and Design for Information Systems

    Agile Modeling with UML, OCL, and IFML
    • 1st Edition
    • Raul Sidnei Wazlawick
    • English

  • OS X Incident Response

    Scripting and Analysis
    • 1st Edition
    • Jaron Bradley
    • English

  • Real-Time Embedded Systems

    Design Principles and Engineering Practices
    • 1st Edition
    • Xiaocong Fan
    • English

  • Parallel Programming

    Concepts and Practice
    • 1st Edition
    • Bertil Schmidt + 3 more
    • English

  • Topics in Parallel and Distributed Computing

    Introducing Concurrency in Undergraduate Courses
    • 1st Edition
    • Charles C Weems + 4 more
    • English

  • Matlab

    A Practical Introduction to Programming and Problem Solving
    • 4th Edition
    • Dorothy C. Attaway
    • English

  • Software Engineering for Embedded Systems

    Methods, Practical Techniques, and Applications
    • 1st Edition
    • Robert Oshana
    • English

  • An Introduction to Parallel Programming

    • 2nd Edition
    • Peter Pacheco + 1 more
    • English

  • High Performance Parallelism Pearls Volume One

    Multicore and Many-core Programming Approaches
    • 1st Edition
    • James Jeffers + 1 more
    • English

  • The Art and Science of Analyzing Software Data

    • 1st Edition
    • Thomas Zimmermann + 2 more
    • English

Related subjects