Skip to main content
Elsevier

Books in Software engineering

  • 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 facilitate stakeholder understanding and enable modern practices with agile workflows. SysML v2 is also supported by a standardized 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, the authors provide a full description of the language along with examples that help you understand how to apply the language concepts. The book begins with an introduction to the most commonly used features to help you get started quickly followed by a detailed description that provides you with a more in-depth understanding. The book also includes a detailed example of applying model-based systems engineering with SysML v2 to specify and design an unmanned aerial system.

  • 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

  • Development of Multi-Agent System Infrastructures

    A Practical Approach
    • 1st Edition
    • Andrei Olaru
    • English
    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.

  • Digital Twins

    Core Principles and AI Integration
    • 1st Edition
    • Bedir Tekinerdogan + 1 more
    • English
    Digital Twins: Core Principles and AI Integration offers a structured and up-to-date overview of digital twin technology, combining foundational principles with the rapidly growing role of artificial intelligence (AI). This book introduces the core concepts, modeling approaches, and software and systems engineering foundations needed to design and implement digital twins effectively. It then explores architectural methods, lifecycle management, interoperability, and the alignment between physical systems and their digital representations. A central part of this book focuses on data science and AI-enabled digital twins, demonstrating how machine learning, deep learning, generative AI, and autonomous agents enhance predictive analytics, optimization, anomaly detection, and automated decision-making. Integration with Internet of Things (IoT), cloud–edge infrastructures, big data analytics, and XR technologies further shows how intelligent digital twins evolve into adaptive and interactive systems. Real-world applications from manufacturing, agriculture, food systems, energy, mobility, healthcare, and urban environments illustrate the practical value of AI-driven digital twins. This book concludes with key challenges and future directions, including trustworthy AI, security, data governance, and the scaling of digital twin ecosystems.

  • Pioneering Autonomous Technology: A Deep Dive into Hyper Automation

    • 1st Edition
    • Volume 143
    • English
    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.

  • Mastering DevOps

    A Cloud Engineering and Data Science Perspective
    • 1st Edition
    • Chinmaya Kumar Dehury + 1 more
    • English
    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.

  • Engineering Generative AI-Based Software

    • 1st Edition
    • Miroslaw StaroĹ„
    • English
    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.

  • Quantum Computing

    Principles and Paradigms
    • 1st Edition
    • Rajkumar Buyya + 1 more
    • English
    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.

  • Quantum Process Algebra

    • 1st Edition
    • Yong Wang
    • English
    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.

  • Soft Computing in Smart Manufacturing and Materials

    • 1st Edition
    • Sudan Jha + 4 more
    • English
    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

    • 5th Edition
    • Michael Scott + 1 more
    • English
    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

  • Theory of Structured Parallel Programming

    • 1st Edition
    • Yong Wang
    • English
    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.

  • Internet of Things: Architectures for Enhanced Living Environments

    • 1st Edition
    • Volume 133
    • Goncalo Marques
    • English
    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.

  • Engineering a Compiler

    • 3rd Edition
    • Keith D. Cooper + 1 more
    • English
    *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.

  • The Art of Multiprocessor Programming

    • 2nd Edition
    • Maurice Herlihy + 3 more
    • English
    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.

  • Software Architecture for Big Data and the Cloud

    • 1st Edition
    • Ivan Mistrik + 4 more
    • English
    Software Architecture for Big Data and the Cloud is designed to be a single resource that brings together research on how software architectures can solve the challenges imposed by building big data software systems. The challenges of big data on the software architecture can relate to scale, security, integrity, performance, concurrency, parallelism, and dependability, amongst others. Big data handling requires rethinking architectural solutions to meet functional and non-functional requirements related to volume, variety and velocity. The book's editors have varied and complementary backgrounds in requirements and architecture, specifically in software architectures for cloud and big data, as well as expertise in software engineering for cloud and big data. This book brings together work across different disciplines in software engineering, including work expanded from conference tracks and workshops led by the editors.

  • Certifiable Software Applications 2

    Support Processes
    • 1st Edition
    • Jean-Louis Boulanger
    • English
    Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented. Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final software.

  • Perspectives on Data Science for Software Engineering

    • 1st Edition
    • Tim Menzies + 2 more
    • English
    Perspectives on Data Science for Software Engineering presents the best practices of seasoned data miners in software engineering. The idea for this book was created during the 2014 conference at Dagstuhl, an invitation-only gathering of leading computer scientists who meet to identify and discuss cutting-edge informatics topics. At the 2014 conference, the concept of how to transfer the knowledge of experts from seasoned software engineers and data scientists to newcomers in the field highlighted many discussions. While there are many books covering data mining and software engineering basics, they present only the fundamentals and lack the perspective that comes from real-world experience. This book offers unique insights into the wisdom of the community’s leaders gathered to share hard-won lessons from the trenches. Ideas are presented in digestible chapters designed to be applicable across many domains. Topics included cover data collection, data sharing, data mining, and how to utilize these techniques in successful software projects. Newcomers to software engineering data science will learn the tips and tricks of the trade, while more experienced data scientists will benefit from war stories that show what traps to avoid.

  • Building Intelligent Information Systems Software

    Introducing the Unit Modeler Development Technology
    • 1st Edition
    • Thomas D. Feigenbaum
    • English
    Building Intelligent Information Systems Software shows scientists and engineers how to build applications that model complex information, data, and knowledge without the need for coding. Traditional software development takes time and leads to inflexible, complicated applications that almost, but don’t exactly, meet the intended needs. Requirements can change, sometimes mid-development, and adapting existing systems can be difficult. Individual solutions can be incompatible, leading to information silos and inefficiency throughout an organization. This book offers a solution – the Information Unit Model, an innovative architecture for translating domain knowledge into applications. By encapsulating the complexities of computing, the Unit Model allows engineers to focus on business or experimental needs. Author Tom Feigenbaum, inventor of the Unit Modeler, demonstrates this innovative software architecture for rapid application design and development. His approach promotes repurposing pre-existing tools and libraries, and collaborating across the cloud, to promote information sharing and efficient development practices. Each concept is illustrated with examples including file management, data management, and 3D visualization.

  • Multicore Software Development Techniques

    Applications, Tips, and Tricks
    • 1st Edition
    • Robert Oshana
    • English
    This book provides a set of practical processes and techniques used for multicore software development. It is written with a focus on solving day to day problems using practical tips and tricks and industry case studies to reinforce the key concepts in multicore software development. Coverage includes: The multicore landscape Principles of parallel computing Multicore SoC architectures Multicore programming models The Multicore development process Multicore programming with threads Concurrency abstraction layers Debugging Multicore Systems Practical techniques for getting started in multicore development Case Studies in Multicore Systems Development Sample code to reinforce many of the concepts discussed

  • Software Quality Assurance

    In Large Scale and Complex Software-intensive Systems
    • 1st Edition
    • Ivan Mistrik + 4 more
    • English
    Software Quality Assurance in Large Scale and Complex Software-intensive Systems presents novel and high-quality research related approaches that relate the quality of software architecture to system requirements, system architecture and enterprise-architect... or software testing. Modern software has become complex and adaptable due to the emergence of globalization and new software technologies, devices and networks. These changes challenge both traditional software quality assurance techniques and software engineers to ensure software quality when building today (and tomorrow’s) adaptive, context-sensitive, and highly diverse applications. This edited volume presents state of the art techniques, methodologies, tools, best practices and guidelines for software quality assurance and offers guidance for future software engineering research and practice. Each contributed chapter considers the practical application of the topic through case studies, experiments, empirical validation, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited, to: quality attributes of system/software architectures; aligning enterprise, system, and software architecture from the point of view of total quality; design decisions and their influence on the quality of system/software architecture; methods and processes for evaluating architecture quality; quality assessment of legacy systems and third party applications; lessons learned and empirical validation of theories and frameworks on architectural quality; empirical validation and testing for assessing architecture quality.

  • Heterogeneous Computing with OpenCL 2.0

    • 1st Edition
    • David R. Kaeli + 3 more
    • English
    Heterogeneous Computing with OpenCL 2.0 teaches OpenCL and parallel programming for complex systems that may include a variety of device architectures: multi-core CPUs, GPUs, and fully-integrated Accelerated Processing Units (APUs). This fully-revised edition includes the latest enhancements in OpenCL 2.0 including: • Shared virtual memory to increase programming flexibility and reduce data transfers that consume resources • Dynamic parallelism which reduces processor load and avoids bottlenecks • Improved imaging support and integration with OpenGL Designed to work on multiple platforms, OpenCL will help you more effectively program for a heterogeneous future. Written by leaders in the parallel computing and OpenCL communities, this book explores memory spaces, optimization techniques, extensions, debugging and profiling. Multiple case studies and examples illustrate high-performance algorithms, distributing work across heterogeneous systems, embedded domain-specific languages, and will give you hands-on OpenCL experience to address a range of fundamental parallel algorithms.

  • Knowledge-Based Systems and Legal Applications

    • 1st Edition
    • Volume 36
    • T.J.M. Bench-Capon
    • English
    This book compiles the experience of the largest project in knowledge-based systems and the law yet undertaken. It provides an in-depth introduction to representation of law in computer programs, as well as more advanced discussion and description of large knowledge-based systems building, legal representation, cooperative work, and interface design in the context of the project.

  • Power and Performance

    Software Analysis and Optimization
    • 1st Edition
    • Jim Kukunas
    • English
    Power and Performance: Software Analysis and Optimization is a guide to solving performance problems in modern Linux systems. Power-efficient chips are no help if the software those chips run on is inefficient. Starting with the necessary architectural background as a foundation, the book demonstrates the proper usage of performance analysis tools in order to pinpoint the cause of performance problems, and includes best practices for handling common performance issues those tools identify.

  • Advances in Software Science and Technology

    • 1st Edition
    • Teruo Hikita + 2 more
    • English
    Advances in Software Science and Technology, Volume 4 provides information pertinent to the advancement of the science and technology of computer software. This book discusses the various applications for computer systems. Organized into two parts encompassing 10 chapters, this volume begins with an overview of the historical survey of programming languages for vector/parallel computers in Japan and describes compiling methods for supercomputers in Japan. This text then explains the model of a Japanese software factory, which is presented by the logical configuration that has been satisfied by the semantics of software engineering. Other chapters consider fluent joint as an algorithm that operates on relations organized as multidimensional linear hash files. The final chapter deals with the rules for submission of English papers that will be published, which includes papers that are reports of academic research by members of the Society. This book is a valuable resource for scientists, software engineers, and research workers.

  • RDF Database Systems

    Triples Storage and SPARQL Query Processing
    • 1st Edition
    • Olivier CurĂ© + 1 more
    • English
    RDF Database Systems is a cutting-edge guide that distills everything you need to know to effectively use or design an RDF database. This book starts with the basics of linked open data and covers the most recent research, practice, and technologies to help you leverage semantic technology. With an approach that combines technical detail with theoretical background, this book shows how to design and develop semantic web applications, data models, indexing and query processing solutions.

  • Software and System Development using Virtual Platforms

    Full-System Simulation with Wind River Simics
    • 1st Edition
    • Daniel Aarno + 1 more
    • English
    Virtual platforms are finding widespread use in both pre- and post-silicon computer software and system development. They reduce time to market, improve system quality, make development more efficient, and enable truly concurrent hardware/software design and bring-up. Virtual platforms increase productivity with unparalleled inspection, configuration, and injection capabilities. In combination with other types of simulators, they provide full-system simulations where computer systems can be tested together with the environment in which they operate. This book is not only about what simulation is and why it is important, it will also cover the methods of building and using simulators for computer-based systems. Inside you’ll find a comprehensive book about simulation best practice and design patterns, using Simics as its base along with real-life examples to get the most out of your Simics implementation. You’ll learn about: Simics architecture, model-driven development, virtual platform modelling, networking, contiguous integration, debugging, reverse execution, simulator integration, workflow optimization, tool automation, and much more.

  • The Digital Guide To Software Development

    • 1st Edition
    • Christine Dickinson
    • English
    Here is the first published description of the processes and practices, tools, and methods this industry giant uses to develop its software products. This 'shirt-sleeves' guide is packed with diagrams and tables that illustrate each step in the complexsoftware development process. You'll learn all about Digital's standard 'phase review process,' the role of teams and their leaders, how CASE tools work, and how to control a project while improving productivity and product quality.

  • Computing Perspectives

    • 1st Edition
    • Maurice V. Wilkes
    • English
    In this insightful collection of essays, Maurice Wilkes shares his unique perspective on the development of computers and the current state of the art. These enlightening essays discuss the foundational ideas behind modern computing and provide a solid grounding for the appreciation of emerging computer technologies.Wilkes, one of the founders of computing, has provided enormous contributions to the development of computers, including the design and construction of the EDSAC computer and early development of programming for a stored program computer. He was responsible for the concept of microprogramming. Wilkes also wrote the first paper to appear on cache memories and was an early worker in the field of wide bandwidth local area networks. In 1992 he was awarded the prestigious Kyoto Prize for Advanced Technology.These essays will be of interest to everyone involved with computers and how they arrived at their present state. Wilkes presents his perspectives with keen historical sensibility and engineering practicality. Readers are invited to consider these observations and form their own perspectives on the present state of the computer art.

  • Languages, Compilers and Run-time Environments for Distributed Memory Machines

    • 1st Edition
    • Volume 3
    • J. Saltz + 1 more
    • English
    Papers presented within this volume cover a wide range of topics related to programming distributed memory machines. Distributed memory architectures, although having the potential to supply the very high levels of performance required to support future computing needs, present awkward programming problems. The major issue is to design methods which enable compilers to generate efficient distributed memory programs from relatively machine independent program specifications. This book is the compilation of papers describing a wide range of research efforts aimed at easing the task of programming distributed memory machines.

  • A Discipline of Software Engineering

    • 1st Edition
    • B. Walraet
    • English
    This comprehensive approach to the creation of software systems charts a road through system modelling techniques, allowing software engineers to create software meeting two very basic requirements:• that the software system represent a narrow emulation of the organization system that served as its model; • and that the software system display life attributes identical to those of the organization system that it automatizes.The result is a quantum leap increase in software application quality. Such benefit is achieved by the introduction of a fundamental paradigm: the office-floor metaphor which incorporates such well-balanced basic ideas as the functional normalization of tasks and information (in sharp contrast to the classic data normalization) and the principle of tenant-ownership.

  • IT Perspectives Conference

    The Future of Information Technology
    • 1st Edition
    • Sam Stuart
    • English
    IT Perspectives Conference is a documentation of the top-level conference sponsored by the publishers of Computer Weekly, which aims to examine the issues that concern computer professionals and to provide at least some of the answers while indicating the directions which IT may be expected to take moving on to the 1990s. Leading figures from the IT industry and from major computer users show how they are tackling the transition from the limited task based approach of traditional computing to the more wide-ranging strategic issues implicit in the concept of information as a resource to be managed, used competitively, and even sold. In looking towards a future characterized by transaction-oriented systems, online databases, and distributed processing, the significance of tools such as fourth generation languages and computer-assisted software engineering is described and the vital role of communications at all levels from local area networks to the development of international standards is examined. This book will be useful to anyone wishing to discern the main trends in IT development and computer systems implementation as they set out to develop the systems of the 1990s.

  • Software for Computer Control 1986

    Selected Papers from the Fourth IFAC/IFIP Symposium, Graz, Austria, 20-23 May 1986
    • 1st Edition
    • D. Florian + 1 more
    • English
    This volume studies the advances of software for computers, their development, applications and management. Topics covered include software project management, real time languages and their uses, and computer aided design techniques. The book also discusses how far artificial intelligence is integrated with business and industry to give a complete overview of the role of computer systems today.

  • Software Defined Networks

    A Comprehensive Approach
    • 1st Edition
    • Paul Goransson + 1 more
    • English
    Software Defined Networks discusses the historical networking environment that gave rise to SDN, as well as the latest advances in SDN technology. The book gives you the state of the art knowledge needed for successful deployment of an SDN, including: How to explain to the non-technical business decision makers in your organization the potential benefits, as well as the risks, in shifting parts of a network to the SDN model How to make intelligent decisions about when to integrate SDN technologies in a network How to decide if your organization should be developing its own SDN applications or looking to acquire these from an outside vendor How to accelerate the ability to develop your own SDN application, be it entirely novel or a more efficient approach to a long-standing problem

  • Programming for Microprocessors

    • 1st Edition
    • Andrew Colin
    • English
    Programming for Microprocessors deals with the basics of programming for microprocessors and contains practical aids to programming. Topics covered range from assembly language and microprocessor design to the Motorola 6800, programming techniques, control of peripheral devices, and high-level languages. Emphasis is given to the computer-like aspects of microprocessors. This text is comprised of 12 chapters; the first of which provides a general overview of microprocessors, differences between hardwired and programmed devices, and different kinds of microprocessors. The reader is then introduced to the basic types of information inside a microprocessor, including Boolean information, numerical information, character codes, and the machine code. The chapters that follow focus on the intellectual and practical tools that the designer of a microprocessor system will need. The basic structure of a microprocessor is analyzed, with particular reference to a simple hypothetical computer and some programs for this machine. This book also discusses assembly language; some of the features that give microprocessors their flexibility as well as generality and power; and the Motorola 6800 microprocessor as an example of machine architecture. Some programming techniques, high-level languages for writing programs, and the problem of bringing the hardware and software together are highlighted. This book will be useful to computer programmers, computer scientists, and electronic engineers.

  • Interactive Computing in BASIC

    An Introduction to Interactive Computing and a Practical Course in the BASIC Language
    • 1st Edition
    • Peter C. Sanderson
    • English
    Interactive Computing in BASIC: An Introduction to Interactive Computing and a Practical Course in the BASIC Language provides a general introduction to the principles of interactive computing and a comprehensive practical guide to the programming language Beginners All-purpose Symbolic Instruction Code (BASIC). The book starts by providing an introduction to computers and discussing the aspects of terminal usage, programming languages, and the stages in writing and testing a program. The text then discusses BASIC with regard to methods in writing simple arithmetical programs, control statements in the BASIC language, loops and subscripted variables, the RND function and subroutines, and further printing facilities and character manipulation. The matrix instructions and the different versions of BASIC are also considered. The book concludes by describing the transition from BASIC to FORTRAN. Computer programmers, scientists, engineers, statisticians, and other research workers who wish to acquire knowledge of computer programming will find this book invaluable.

  • The Chaos Cookbook

    A Practical Programming Guide
    • 1st Edition
    • Joe Pritchard
    • English
    The Chaos Cookbook: A Practical Programming Guide discusses the use of chaos in computer programming. The book is comprised of 11 chapters that tackle various topics relevant to chaos and programming. Chapter 1 reviews the concept of chaos, and Chapter 2 discusses the iterative functions. Chapters 3 and 4 cover differential and Lorenz equations. Chapter 5 talks about strange attractors, while Chapter 6 deals with the fractal link. The book also discusses the Mandelbrot set, and then covers the Julia sets. The other fractal systems and the cellular automata are also explained. The last chapter discusses practical chaos. The book will be of great use to professionals, students, and hobbyist programmers who have an interest with the chaos systems.

  • Students' Guide to Program Design

    • 1st Edition
    • Lesley Anne Robertson
    • English
    Students’ Guide to Program Design is a textbook on program design. This textbook approaches program design by using structures programming techniques and pseudocode to develop a solution algorithm. Divided into 10 chapters, the book begins with a basic explanation of structured programming techniques, top-down development, and modular design. This discussion is followed by detailed concepts of the syntax of pseudocode; methods of defining the problem; the application of basic control structures in the development of the solution algorithm; desk checking techniques; hierarchy charts; and module design considerations. Each step in the development of solution algorithms is covered in this book. These steps are defining the problem; grouping of activities into subtask or functions; creating a hierarchy chart; establishing the logic of the mainline of the algorithm; developing each pseudocode for each successive module in the hierarchy chart; and to desk check the solution algorithm. The development of general pseudocode algorithms as used in common business applications is then studied to help student programmers be familiarized with the concept. In program design, the independence of each module, the ease of maintenance, and the cohesive of the particular module with the other modules in the program are all considered as being important. This textbook will serve as a guide for both beginning and experienced programmers who want to solve common business programming problems.

  • Computer-Aided Design Techniques

    • 1st Edition
    • E. Wolfendale
    • English
    Computer-aided Design Techniques deals with the tools used in computer-aided design, problems associated with software development for design, and techniques applied in the development of the REDAC system. The book covers topics such as program design, requirements of a program for general use, and representation of the circuit in a computer; device modeling, general linear modeling, and linear and non-linear transistor modeling; and non-linear transient analysis. Also covered are topics such as layout capacitances and inductances computation; the use of graphic display as a drawing aid for circuit layout; and the writing of design programs. The text is recommended for engineers and physicists who would like to know how computers can aid them in design, as well as computer experts who aim to write programs intended for design.

  • Advanced Programming Methodologies

    • 1st Edition
    • Gianna Cioni + 1 more
    • English
    Advanced Programming Methodologies consists of lecture demos and practical experiments from the Summer School on Advanced Programming Methodologies which took place in Rome, Italy, on September 17-24, 1987. The school focused on tools of advanced programming as well as theoretical foundations for software engineering. Problems connected with implementation and application of high-level programming languages are highlighted. Comprised of 11 chapters, this volume first looks at two software development projects at the Institute of Informatics of the University of Warsaw in Poland, with emphasis on the methodologies used in programming and implementation. The reader is then introduced to flexible specification environments; object-oriented programming; and Paragon's type hierarchies for data abstraction. Subsequent chapters focus on the inheritance rule in object-oriented programming; a functional programming approach to modularity in large software systems; database management systems; and relational algebra and fixpoint computation for logic programming implementation. The book also examines modules in high-level programming languages before concluding with a chapter devoted to storage management. This book is intended for computer programmers, undergraduate students taking various courses in programming, and advanced students of computer science.

  • Business Process Change

    • 3rd Edition
    • Paul Harmon
    • English
    Business Process Change, 3rd Edition provides a balanced view of the field of business process change. Bestselling author Paul Harmon offers concepts, methods, cases for all aspects and phases of successful business process improvement. Updated and added for this edition is new material on the development of business models and business process architecture development, on integrating decision management models and business rules, on service processes and on dynamic case management, and on integrating various approaches in a broad business process management approach. New to this edition: How to develop business models and business process architecture How to integrate decision management models and business rules New material on service processes and on dynamic case management Learn to integrate various approaches in a broad business process management approach

  • Clinical Engineering

    A Handbook for Clinical and Biomedical Engineers
    • 1st Edition
    • Azzam Taktak + 2 more
    • English
    Clinical Engineering is intended for professionals and students in the clinical engineering field who need to successfully deploy medical technologies. The book provides a broad reference to the core elements of the subject and draws from the expertise of a range of experienced authors. In addition to engineering skills, clinical engineers must be able to work with patients and with a range of professional staff, including technicians and clinicians, and with equipment manufacturers. They have to keep up-to-date with fast-moving scientific and medical research in the field and be able to develop laboratory, design, workshop, and management skills. This book is the ideal companion in such studies, covering fundamentals such as IT and software engineering as well as topics in rehabilitation and assistive technology.

  • Extrapolation Methods

    Theory and Practice
    • 1st Edition
    • Volume 2
    • C. Brezinski + 1 more
    • English
    This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical examples showing the effectiveness of the procedures and a consequent chapter on applications are also provided – including some never before published results and applications. Although intended for researchers in the field, and for those using extrapolation methods for solving particular problems, this volume also provides a valuable resource for graduate courses on the subject.

  • Operational Amplifiers

    • 2nd Edition
    • Jiri Dostal
    • English
    This book provides the reader with the practical knowledge necessary to select and use operational amplifier devices. It presents an extensive treatment of applications and a practically oriented, unified theory of operational circuits.

  • Concise Encyclopedia of Software Engineering

    • 1st Edition
    • Volume 1
    • Derrick Morris
    • English
    This Concise Encyclopedia of Software Engineering is intended to provide compact coverage of the knowledge relevant to the practicing software engineer. The content has been chosen to provide an introduction to the theory and techniques relevant to the software of a broad class of computer applications. It is supported by examples of particular applications and their enabling technologies. This Encyclopedia will be of value to new practitioners who need a concise overview and established practitioners who need to read about the "penumbra" surrounding their own specialities. It will also be useful to professionals from other disciplines who need to gain some understanding of the various aspects of software engineering which underpin complex information and control systems, and the thinking behind them.

  • Software Engineering Education

    Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September - 2 October, 1993
    • 1st Edition
    • Volume 40
    • B.Z. Barta + 2 more
    • English
    Software engineering education is an important, often controversial, issue in the education of Information Technology professionals. It is of concern at all levels of education, whether undergraduate, post-graduate or during the working life of professionals in the field. This publication gives perspectives from academic institutions, industry and education bodies from many different countries. Several papers provide actual curricula based on innovative ideas and modern programming paradigms. Various aspects of project work, as an important component of the educational process, are also covered and the uses of software tools in the software industry and education are discussed. The book provides a valuable source of information for all those interested and involved in software engineering education.

  • Practical File System Design

    • 1st Edition
    • Dominic Giampaolo
    • English
    This is the new guide to the design and implementation of file systems in general, and the Be File System (BFS) in particular. This book covers all topics related to file systems, going into considerable depth where traditional operating systems books often stop. Advanced topics are covered in detail such as journaling, attributes, indexing and query processing. Built from scratch as a modern 64 bit, journaled file system, BFS is the primary file system for the Be Operating System (BeOS), which was designed for high performance multimedia applications. You do not have to be a kernel architect or file system engineer to use Practical File System Design. Neither do you have to be a BeOS developer or user. Only basic knowledge of C is required. If you have ever wondered about how file systems work, how to implement one, or want to learn more about the Be File System, this book is all you will need.

  • Software Engineering for Embedded Systems

    Methods, Practical Techniques, and Applications
    • 1st Edition
    • Robert Oshana
    • English
    This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems. With this book you will learn: The principles of good architecture for an embedded system Design practices to help make your embedded project successful Details on principles that are often a part of embedded systems, including digital signal processing, safety-critical principles, and development processes Techniques for setting up a performance engineering strategy for your embedded system software How to develop user interfaces for embedded systems Strategies for testing and deploying your embedded system, and ensuring quality development processes Practical techniques for optimizing embedded software for performance, memory, and power Advanced guidelines for developing multicore software for embedded systems How to develop embedded software for networking, storage, and automotive segments How to manage the embedded development process Includes contributions from: Frank Schirrmeister, Shelly Gretlein, Bruce Douglass, Erich Styger, Gary Stringham, Jean Labrosse, Jim Trudeau, Mike Brogioli, Mark Pitchford, Catalin Dan Udma, Markus Levy, Pete Wilson, Whit Waldo, Inga Harris, Xinxin Yang, Srinivasa Addepalli, Andrew McKay, Mark Kraeling and Robert Oshana.

  • Intel Xeon Phi Coprocessor High Performance Programming

    • 1st Edition
    • James Jeffers + 1 more
    • English
    Authors Jim Jeffers and James Reinders spent two years helping educate customers about the prototype and pre-production hardware before Intel introduced the first Intel Xeon Phi coprocessor. They have distilled their own experiences coupled with insights from many expert customers, Intel Field Engineers, Application Engineers and Technical Consulting Engineers, to create this authoritative first book on the essentials of programming for this new architecture and these new products. This book is useful even before you ever touch a system with an Intel Xeon Phi coprocessor. To ensure that your applications run at maximum efficiency, the authors emphasize key techniques for programming any modern parallel computing system whether based on Intel Xeon processors, Intel Xeon Phi coprocessors, or other high performance microprocessors. Applying these techniques will generally increase your program performance on any system, and better prepare you for Intel Xeon Phi coprocessors and the Intel MIC architecture.