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.

  • Knowledge Representation

    An Approach to Artificial Intelligence
    • 1st Edition
    • T.J.M. Bench-Capon
    • English
    Although many texts exist offering an introduction to artificial intelligence (AI), this book is unique in that it places an emphasis on knowledge representation (KR) concepts. It includes small-scale implementations in PROLOG to illustrate the major KR paradigms and their developments.****bac... cover copy:**Knowledge representation is at the heart of the artificial intelligence enterprise: anyone writing a program which seeks to work by encoding and manipulating knowledge needs to pay attention to the scheme whereby he will represent the knowledge, and to be aware of the consequences of the choices made.****The book's distinctive approach introduces the topic of AI through a study of knowledge representation issues. It assumes a basic knowledge of computing and a familiarity with the principles of elementary formal logic would be advantageous.****Kno... Representation: An Approach to Artificial Intelligence develops from an introductory consideration of AI, knowledge representation and logic, through search technique to the three central knowledge paradigms: production rules, structured objects, and predicate calculus. The final section of the book illustrates the application of these knowledge representation paradigms through the Prolog Programming language and with an examination of diverse expert systems applications. The book concludes with a look at some advanced issues in knowledge representation.****T... text provides an introduction to AI through a study of knowledge representation and each chapter contains exercises for students. Experienced computer scientists and students alike, seeking an introduction to AI and knowledge representations will find this an invaluable text.

  • Real Time Programming 1985

    Proceedings of the 13th IFAC/IFIP Workshop, Purdue University, West Lafayette, Indiana, USA, 7-8 October 1985
    • 1st Edition
    • G.M. Bull + 1 more
    • English
    Examines the entire field of real-time programming, with emphasis on the most recent developments in industrial control and the design of process control systems. The topics covered include programming of statistical quality control applications, graphical languages for real-time programming, programming of personal computers and work stations for real-time applications. Contains 17 papers.

  • Computers and Languages

    Theory and Practice
    • 1st Edition
    • Volume 4
    • A. Nijholt
    • English
    A global introduction to language technology and the areas of computer science where language technology plays a role. Surveyed in this volume are issues related to the parsing problem in the fields of natural languages, programming languages, and formal languages.Throughout the book attention is paid to the social forces which influenced the development of the various topics. Also illustrated are the development of the theory of language analysis, its role in compiler construction, and its role in computer applications with a natural language interface between men and machine. Parts of the material in this book have been used in courses on computational linguistics, computers and society, and formal approaches to languages.

  • 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.

  • 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.

  • Programming, The Impossible Challenge

    • 1st Edition
    • B. Walraet
    • English
    In its modern form, the computer is only about 40 years old. And so is the job of the computer programmer. This book is a critical history of programming, written to give programmers and analysts in the commercial application field a more pragmatic insight into the background of their profession. It tells the story of why the technology evolved as it did, and how Fifth Generation techniques are already changing the situation.As well as charting the real advances and the passing fashions, this unusual book looks at the situation in perspective, drawing some sad and maybe surprising conclusions while discussing questions such as ``Is programming a job for human beings?'' ``Is it High Noon for the world of programming?''

  • Mastering C Pointers

    Tools for Programming Power
    • 2nd Edition
    • Robert J. Traister
    • English
    If you don't fully understand C pointers and how they are used, you're not getting the most out of C programming. This book features complete coverage on using and controlling C language pointers to make C applications more powerful and expressive. This new edition is completely updated and revised to reflect the changes that have been brought about with the full adoption of ANSI C. All discussions and program examples have been updated, and reading materials necessary for any modern ANSI C programmer have also been added.Includes one 3 1/2" disk containing all of the working programs and modules found in the book.System Requirements: 286 or higher IBM PC or compatible.

  • Alpha Architecture Reference Manual

    • 1st Edition
    • Alpha Architecture Committee
    • English
    This is the authoritative reference on Digital Equipment Corporation's new 64-bit RISC Alpha architecture. Written by the designers of the internal Digital specifications, this book contains complete descriptions of the common architecture required for all implementations and the interfaces required to support the OSF/1 and OpenVMS operating systems.

  • Computer Programming and Architecture

    The Vax
    • 2nd Edition
    • Henry Levy + 1 more
    • English
    Takes a unique systems approach to programming and architecture of the VAXUsing the VAX as a detailed example, the first half of this book offers a complete course in assembly language programming. The second describes higher-level systems issues in computer architecture. Highlights include the VAX assembler and debugger, other modern architectures such as RISCs, multiprocessing and parallel computing, microprogramming, caches and translation buffers, and an appendix on the Berkeley UNIX assembler.

  • Digital Guide To Developing International Software

    • 1st Edition
    • Grou
    • English
    Already in use by hundreds of independent vendors and developers, here at your fingertips are the groundbreaking packaging and design guidelines that Digital recommends and uses for products headed overseas.

  • Computer Hardware Description Languages and their Applications

    Proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and their Applications, Marseille, France, 22-24 April 1991
    • 1st Edition
    • D. Borrione + 1 more
    • English
    The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling – including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professional worlds is assured by the excellent technical programme here compiled.

  • 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.

  • Computer System Organization

    The B5700/B6700 Series
    • 1st Edition
    • Elliott I. Organick
    • Robert L. Ashenhurst
    • English
    Computer System Organization: The B5700/B6700 Series focuses on the organization of the B5700/B6700 Series developed by Burroughs Corp. More specifically, it examines how computer systems can (or should) be organized to support, and hence make more efficient, the running of computer programs that evolve with characteristically similar information structures. Comprised of nine chapters, this book begins with a background on the development of the B5700/B6700 operating systems, paying particular attention to their hardware/software architecture. The discussion then turns to the block-structured processes involved in the B6700 job, which consists of a time-invariant algorithm and a time-varying data structure which is the record of execution of that algorithm. Subsequent chapters deal with the basic data structures for B6700 algorithms; task attributes and the creation and coordination of tasks; stack structure and stack ownership; and software interrupts. Storage control strategies as well as the pros and cons of B6700 are also considered, along with some hardware details of procedure entry and return and tasking. This monograph is intended for computer center directors, other computer professionals, and serious students in computer science who have an interest in the subject of computer organization.

  • Economics-Driven Software Architecture

    • 1st Edition
    • Ivan Mistrik + 3 more
    • English
    Economics-driven Software Architecture presents a guide for engineers and architects who need to understand the economic impact of architecture design decisions: the long term and strategic viability, cost-effectiveness, and sustainability of applications and systems. Economics-driven software development can increase quality, productivity, and profitability, but comprehensive knowledge is needed to understand the architectural challenges involved in dealing with the development of large, architecturally challenging systems in an economic way. This book covers how to apply economic considerations during the software architecting activities of a project. Architecture-centric approaches to development and systematic evolution, where managing complexity, cost reduction, risk mitigation, evolvability, strategic planning and long-term value creation are among the major drivers for adopting such approaches. It assists the objective assessment of the lifetime costs and benefits of evolving systems, and the identification of legacy situations, where architecture or a component is indispensable but can no longer be evolved to meet changing needs at economic cost. Such consideration will form the scientific foundation for reasoning about the economics of nonfunctional requirements in the context of architectures and architecting.

  • 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.

  • Real Time Programming 1986

    Proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986
    • 1st Edition
    • J. Szlanko
    • English
    The 1986 IFAC/IFIP Workshop on real-time programming represents the 14th meeting of this workshop since it was first organized in 1971. Traditionally a meeting of a small number of experts, the papers presented at this meeting concentrate on the topics of real-time environment and executives, software development tools and languages, and special real-time applications. The continuing progress being made in this field of programming is amply reflected by the papers and should be of interest to anyone wishing to be kept up to date in the field.

  • Real Time Programming 1988

    Proceedings of the 15thIFAC/IFIP Workshop, Valencia, Spain, 25-27 May 1988
    • 1st Edition
    • A. Crespo + 1 more
    • English
    Digital computers are now used routinely in on-line control systems. As applications become more complex and costs of developing software rise, the need for good software tools becomes vital. This volume presents 14 papers on the most recent developments within real-time programming - languages for real-time programming, software development tools and the application of real-time systems within industry.

  • 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 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.

  • Graphics Gems V (Macintosh Version)

    • 1st Edition
    • Alan W. Paeth
    • English
    Graphics Gems V is the newest volume in The Graphics Gems Series. It is intended to provide the graphics community with a set of practical tools for implementing new ideas and techniques, and to offer working solutions to real programming problems. These tools are written by a wide variety of graphics programmers from industry, academia, and research. The books in the series have become essential, time-saving tools for many programmers.

  • Texturing and Modeling

    A Procedural Approach
    • 1st Edition
    • David S. Ebert
    • English
    Congratulations to Ken Perlin for his 1997 Technical Achievement Award from the Academy of Motion Picture Arts and Science Board of Governors, given in recognition of the development of "Turbulence", Perlin Noise, a technique discussed in this book which is used to produce natural appearing textures on computer-generated surfaces for motion picture visual effects. Dr. Perlin joins Darwyn Peachey (co-developer of RenderMan(R), also discussed in the book) in being honored with this prestigious award.

  • Psychology of Programming

    • 1st Edition
    • J.-M. Hoc
    • English
    Psychology provides a backdrop for most of the study of human*b1computer interaction. In this volume the psychological issues that pertain to programming, rather than systems design, are examined in four sections: Theoretical and Methodological Issues; Language Design and Skill Acquisition; Expert Programming; and the Future.****The book was inspired by working groups in France and the United Kingdom but also includes work by major North American figures (such as Curtis and Soloway). It is the first comprehensive work on this topic since the early 1980s.

  • Control of Distributed Parameter Systems

    Proceedings of the Second IFAC Symposium, Coventry, Great Britain, 28 June - 1 July 1977
    • 1st Edition
    • S. P. Banks + 1 more
    • English
    Control of Distributed Parameter Systems covers the proceedings of the Second IFAC Symposium, Coventry, held in Great Britain from June 28 to July 1, 1977. The book focuses on the methodologies, processes, and techniques in the control of distributed parameter systems, including boundary value control, digital transfer matrix, and differential equations. The selection first discusses the asymptotic methods in the optimal control of distributed systems; applications of distributed parameter control theory of a survey; and dual variational inequalities for external eigenvalue problems. The book also ponders on stochastic differential equations in Hilbert space and their application to delay systems and linear quadratic optimal control problem over an infinite time horizon for a class of distributed parameter systems. The manuscript investigates the semigroup approach to boundary value control and stability of nonlinear distributed parameter systems. Topics include boundary control action implemented through a dynamical system; classical boundary value controls; stability of nonlinear systems; and feedback control on the boundary. The text also focuses on the functional analysis interpretation of Lyapunov stability; method of multipliers for a class distributed parameter systems; and digital transfer matrix approach to distributed system simulation. The selection is a dependable source of data for readers interested in the control of distributed parameter systems.

  • Structural Analysis Systems

    Software — Hardware Capability — Compatibility — Applications
    • 1st Edition
    • A. Niku-Lari
    • English
    Structural Analysis Systems: Software—Hardware Capability—Compatibi... Volume 3 is a practical guidebook on structural analysis systems and their applications. It provides detailed information about a specific software, its postprocessor capabilities and limitations, computer-aided design connection, and compatibility with the most common computers. Several practical examples from industry with computer and user cost are given. This volume consists of 20 chapters and begins with a description of ALSA, a general purpose finite element computer program for accurate large order structural analysis. The discussion then turns to BEFE, a general purpose program for the static analysis of structures and solids using the finite element method, the boundary element method, or a combination of the two. The following chapters focus on other computer programs such as BEWAVE, CASTEM, FEMFAM, FEMPAC, and OSTIN for applications ranging from finite element analysis to seismic analysis. This book will be a useful resource for practitioners in scientific and industrial disciplines such as mechanical or civil engineering, informatics, applied mathematics, and computer science.

  • Object-Oriented Programming under Windows

    • 1st Edition
    • Stephen Morris
    • English
    Object-Oriented Programming under Windows presents object-oriented programming (OOP) techniques that can be used in Windows programming. The book is comprised of 15 chapters that tackle an area in OOP. Chapter 1 provides an introductory discourse about OOP, and Chapter 2 covers the programming languages. Chapter 3 deals with the Windows environment, while Chapter 4 discusses the creation of application. Windows and dialogue boxes, as well as controls and standard controls, are tackled. The book then covers menus and event response. Graphics operation, clipboard, bitmaps, icons, and cursors are also dealt with. The book also tackles disk file access, and then discusses the help file system. The last chapter covers data transfer. The text will be of great use to individuals who want to write Windows based programs.

  • Capability-Based Computer Systems

    • 1st Edition
    • Henry M. Levy
    • English
    Capability-Based Computer Systems focuses on computer programs and their capabilities. The text first elaborates capability- and object-based system concepts, including capability-based systems, object-based approach, and summary. The book then describes early descriptor architectures and explains the Burroughs B5000, Rice University Computer, and Basic Language Machine. The text also focuses on early capability architectures. Dennis and Van Horn's Supervisor; CAL-TSS System; MIT PDP-1 Timesharing System; and Chicago Magic Number Machine are discussed. The book then describes Plessey System 250, Cambridge CAP Computer, and Hydra System. The selection also discusses STAROS System and IBM System/38. STAROS object support and abstract type management, as well as IBM System/38 profiles and authority and programs/procedures, are described. The book highlights Intel iAPX 432, and then considers segment and objects, program execution, storage resources, and abstraction support. Problems related with capability-based architectures are also noted. The text is a good source for readers wanting to study computer programming.

  • Annual Review in Automatic Programming

    Papers Read at the Working Conference on Automatic Programming of Digital Computers Held at Brighton, 1–3 April 1959
    • 1st Edition
    • Richard Goodman
    • English
    Annual Review in Automatic Programming is a collection of papers presented at the Working Conference on Automatic Programming of Digital Computers held in Brighton, UK, on April 1-3, 1959. Contributors focus on developments in automatic programming and cover topics ranging from automatic coding for TREAC to the PEGASUS and MERCURY autocodes, automatic programming of DEUCE, and the philosophy of programming. Business applications of automatic programming are also discussed. This book is comprised of 17 chapters and begins with a review of future trends in automatic programming, focusing on the environment of a computer as well as machine languages and automatic codes. The features of existing automatic programming languages are also described, along with the advantages and disadvantages of such languages. The next chapter presents some of the arguments in favor of standardized notations for programming, mainly with reference to scientific problems. The reader is also introduced to the Mark 5 system of automatic coding for TREAC; assembly, interpretive, and conversion programs for PEGASUS; and application of formula translation to the automatic coding of ordinary differential equations. The final chapter describes a machine designed for the manufacture of accurate models for wind tunnel tests. This monograph will be of interest to computer programmers, computer manufacturers, computer users, and university students.

  • 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.

  • Foundations of Deductive Databases and Logic Programming

    • 1st Edition
    • Jack Minker
    • English
    Foundations of Deductive Databases and Logic Programming focuses on the foundational issues concerning deductive databases and logic programming. The selection first elaborates on negation in logic programming and towards a theory of declarative knowledge. Discussions focus on model theory of stratified programs, fixed point theory of nonmonotonic operators, stratified programs, semantics for negation in terms of special classes of models, relation between closed world assumption and the completed database, negation as a failure, and closed world assumption. The book then takes a look at negation as failure using tight derivations for general logic programs, declarative semantics of logic programs with negation, and declarative semantics of deductive databases and logic programs. The publication tackles converting AND-control to OR-control by program transformation, optimizing dialog, equivalences of logic programs, unification, and logic programming and parallel complexity. Topics include parallelism and structured and unstructured data, parallel algorithms and complexity, solving equations, most general unifiers, systems of equations and inequations, equivalences of logic programs, and optimizing recursive programs. The selection is a valuable source of data for researchers interested in pursuing further studies on the foundations of deductive databases and logic programming.

  • 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

  • High-Performance Embedded Computing

    Applications in Cyber-Physical Systems and Mobile Computing
    • 2nd Edition
    • Marilyn Wolf
    • English
    High-Performance Embedded Computing, Second Edition, combines leading-edge research with practical guidance in a variety of embedded computing topics, including real-time systems, computer architecture, and low-power design. Author Marilyn Wolf presents a comprehensive survey of the state of the art, and guides you to achieve high levels of performance from the embedded systems that bring these technologies together. The book covers CPU design, operating systems, multiprocessor programs and architectures, and much more. Embedded computing is a key component of cyber-physical systems, which combine physical devices with computational resources for control and communication. This revised edition adds new content and examples of cyber-physical systems throughout the book, including design methodologies, scheduling, and wide-area CPS to illustrate the possibilities of these new systems.

  • Process Modeling Style

    • 1st Edition
    • John Long
    • English
    Process Modeling Style focuses on other aspects of process modeling beyond notation that are very important to practitioners. Many people who model processes focus on the specific notation used to create their drawings. While that is important, there are many other aspects to modeling, such as naming, creating identifiers, descriptions, interfaces, patterns, and creating useful process documentation. Experience author John Long focuses on those non-notational aspects of modeling, which practitioners will find invaluable.

  • Introduction to Audio Analysis

    A MATLAB® Approach
    • 1st Edition
    • Theodoros Giannakopoulos + 1 more
    • English
    Introduction to Audio Analysis serves as a standalone introduction to audio analysis, providing theoretical background to many state-of-the-art techniques. It covers the essential theory necessary to develop audio engineering applications, but also uses programming techniques, notably MATLAB®, to take a more applied approach to the topic. Basic theory and reproducible experiments are combined to demonstrate theoretical concepts from a practical point of view and provide a solid foundation in the field of audio analysis. Audio feature extraction, audio classification, audio segmentation, and music information retrieval are all addressed in detail, along with material on basic audio processing and frequency domain representations and filtering. Throughout the text, reproducible MATLAB® examples are accompanied by theoretical descriptions, illustrating how concepts and equations can be applied to the development of audio analysis systems and components. A blend of reproducible MATLAB® code and essential theory provides enable the reader to delve into the world of audio signals and develop real-world audio applications in various domains.

  • Object-Oriented Analysis and Design for Information Systems

    Agile Modeling with UML, OCL, and IFML
    • 1st Edition
    • Raul Sidnei Wazlawick
    • English
    Object-Oriented Analysis and Design for Information Systems clearly explains real object-oriented programming in practice. Expert author Raul Sidnei Wazlawick explains concepts such as object responsibility, visibility and the real need for delegation in detail. The object-oriented code generated by using these concepts in a systematic way is concise, organized and reusable. The patterns and solutions presented in this book are based in research and industrial applications. You will come away with clarity regarding processes and use cases and a clear understand of how to expand a use case. Wazlawick clearly explains clearly how to build meaningful sequence diagrams. Object-Oriented Analysis and Design for Information Systems illustrates how and why building a class model is not just placing classes into a diagram. You will learn the necessary organizational patterns so that your software architecture will be maintainable.

  • Hacking with Kali

    Practical Penetration Testing Techniques
    • 1st Edition
    • James Broad + 1 more
    • English
    Hacking with Kali introduces you the most current distribution of the de facto standard tool for Linux pen testing. Starting with use of the Kali live CD and progressing through installation on hard drives, thumb drives and SD cards, author James Broad walks you through creating a custom version of the Kali live distribution. You’ll learn how to configure networking components, storage devices and system services such as DHCP and web services. Once you're familiar with the basic components of the software, you'll learn how to use Kali through the phases of the penetration testing lifecycle; one major tool from each phase is explained. The book culminates with a chapter on reporting that will provide examples of documents used prior to, during and after the pen test. This guide will benefit information security professionals of all levels, hackers, systems administrators, network administrators, and beginning and intermediate professional pen testers, as well as students majoring in information security.

  • Distributed Computing Through Combinatorial Topology

    • 1st Edition
    • Maurice Herlihy + 2 more
    • English
    Distributed Computing Through Combinatorial Topology describes techniques for analyzing distributed algorithms based on award winning combinatorial topology research. The authors present a solid theoretical foundation relevant to many real systems reliant on parallelism with unpredictable delays, such as multicore microprocessors, wireless networks, distributed systems, and Internet protocols. Today, a new student or researcher must assemble a collection of scattered conference publications, which are typically terse and commonly use different notations and terminologies. This book provides a self-contained explanation of the mathematics to readers with computer science backgrounds, as well as explaining computer science concepts to readers with backgrounds in applied mathematics. The first section presents mathematical notions and models, including message passing and shared-memory systems, failures, and timing models. The next section presents core concepts in two chapters each: first, proving a simple result that lends itself to examples and pictures that will build up readers' intuition; then generalizing the concept to prove a more sophisticated result. The overall result weaves together and develops the basic concepts of the field, presenting them in a gradual and intuitively appealing way. The book's final section discusses advanced topics typically found in a graduate-level course for those who wish to explore further.

  • Agile Software Architecture

    Aligning Agile Processes and Software Architectures
    • 1st Edition
    • Muhammad Ali Babar + 2 more
    • English
    Agile software development approaches have had significant impact on industrial software development practices. Today, agile software development has penetrated to most IT companies across the globe, with an intention to increase quality, productivity, and profitability. Comprehensive knowledge is needed to understand the architectural challenges involved in adopting and using agile approaches and industrial practices to deal with the development of large, architecturally challenging systems in an agile way. Agile Software Architecture focuses on gaps in the requirements of applying architecture-centric approaches and principles of agile software development and demystifies the agile architecture paradox. Readers will learn how agile and architectural cultures can co-exist and support each other according to the context. Moreover, this book will also provide useful leads for future research in architecture and agile to bridge such gaps by developing appropriate approaches that incorporate architecturally sound practices in agile methods.

  • Accelerating MATLAB with GPU Computing

    A Primer with Examples
    • 1st Edition
    • Jung W. Suh + 1 more
    • English
    Beyond simulation and algorithm development, many developers increasingly use MATLAB even for product deployment in computationally heavy fields. This often demands that MATLAB codes run faster by leveraging the distributed parallelism of Graphics Processing Units (GPUs). While MATLAB successfully provides high-level functions as a simulation tool for rapid prototyping, the underlying details and knowledge needed for utilizing GPUs make MATLAB users hesitate to step into it. Accelerating MATLAB with GPUs offers a primer on bridging this gap. Starting with the basics, setting up MATLAB for CUDA (in Windows, Linux and Mac OS X) and profiling, it then guides users through advanced topics such as CUDA libraries. The authors share their experience developing algorithms using MATLAB, C++ and GPUs for huge datasets, modifying MATLAB codes to better utilize the computational power of GPUs, and integrating them into commercial software products. Throughout the book, they demonstrate many example codes that can be used as templates of C-MEX and CUDA codes for readers’ projects. Download example codes from the publisher's website: http://booksite.else...

  • 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.

  • Platform Ecosystems

    Aligning Architecture, Governance, and Strategy
    • 1st Edition
    • Amrit Tiwana
    • English
    Platform Ecosystems is a hands-on guide that offers a complete roadmap for designing and orchestrating vibrant software platform ecosystems. Unlike software products that are managed, the evolution of ecosystems and their myriad participants must be orchestrated through a thoughtful alignment of architecture and governance. Whether you are an IT professional or a general manager, you will benefit from this book because platform strategy here lies at the intersection of software architecture and business strategy. It offers actionable tools to develop your own platform strategy, backed by original research, tangible metrics, rich data, and cases. You will learn how architectural choices create organically-evolvabl... vibrant ecosystems. You will also learn to apply state-of-the-art research in software engineering, strategy, and evolutionary biology to leverage ecosystem dynamics unique to platforms. Read this book to learn how to: Evolve software products and services into vibrant platform ecosystems Orchestrate platform architecture and governance to sustain competitive advantage Govern platform evolution using a powerful 3-dimensional framework If you’re ready to transform platform strategy from newspaper gossip and business school theory to real-world competitive advantage, start right here!

  • 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.

  • Kermit

    A File Transfer Protocol
    • 1st Edition
    • Bozzano G Luisa
    • English
    This authoritative, all-in-one introduction, manual, and complete reference shows readers - at all levels of technical expertise - how to use Kermit to transfer diverse data between different computer systems and data communications environments. Using tutorials, case studies, and examples of actual Kermit codes, it provides instructions for basic use and a detailed description of the Kermit protocols: * File management through protocols * Command referencing and extended features * Telecommunications protocols

  • Towards Verified Systems

    • 1st Edition
    • Volume 2
    • J. Bowen
    • English
    As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality.This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs.The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices.The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-syst... and others who are considering their use.

  • Massively Parallel Processing Applications and Development

    Proceedings of the 1994 EUROSIM Conference on Massively Parallel Processing Applications and Development, Delft, The Netherlands, 21-23 June 1994
    • 1st Edition
    • L. Dekker + 2 more
    • English
    The contributions of a diverse selection of international hardware and software specialists are assimilated in this book's exploration of the development of massively parallel processing (MPP). The emphasis is placed on industrial applications and collaboration with users and suppliers from within the industrial community consolidates the scope of the publication.From a practical point of view, massively parallel data processing is a vital step to further innovation in all areas where large amounts of data must be processed in parallel or in a distributed manner, e.g. fluid dynamics, meteorology, seismics, molecular engineering, image processing, parallel data base processing. MPP technology can make the speed of computation higher and substantially reduce the computational costs. However, to achieve these features, the MPP software has to be developed further to create user-friendly programming systems and to become transparent for present-day computer software.Application of novel electro-optic components and devices is continuing and will be a key for much more general and powerful architectures. Vanishing of communication hardware limitations will result in the elimination of programming bottlenecks in parallel data processing. Standardization of the functional characteristics of a programming model of massively parallel computers will become established. Then efficient programming environments can be developed. The result will be a widespread use of massively parallel processing systems in many areas of application.

Related subjects