Skip to main content

Morgan Kaufmann

  • Fault-Tolerant Systems

    • 1st Edition
    • Israel Koren + 1 more
    • English
    Fault-Tolerant Systems is the first book on fault tolerance design with a systems approach to both hardware and software. No other text on the market takes this approach, nor offers the comprehensive and up-to-date treatment that Koren and Krishna provide. This book incorporates case studies that highlight six different computer systems with fault-tolerance techniques implemented in their design. A complete ancillary package is available to lecturers, including online solutions manual for instructors and PowerPoint slides. Students, designers, and architects of high performance processors will value this comprehensive overview of the field.
  • ESL Design and Verification

    A Prescription for Electronic System Level Methodology
    • 1st Edition
    • Grant Martin + 2 more
    • English
    Visit the authors' companion site! http://www.electroni... - Includes interactive forum with the authors!Electronic System Level (ESL) design has mainstreamed – it is now an established approach at most of the world’s leading system-on-chip (SoC) design companies and is being used increasingly in system design. From its genesis as an algorithm modeling methodology with ‘no links to implementation’, ESL is evolving into a set of complementary methodologies that enable embedded system design, verification and debug through to the hardware and software implementation of custom SoC, system-on-FPGA, system-on-board, and entire multi-board systems. This book arises from experience the authors have gained from years of work as industry practitioners in the Electronic System Level design area; they have seen "SLD" or "ESL" go through many stages and false starts, and have observed that the shift in design methodologies to ESL is finally occurring. This is partly because of ESL technologies themselves are stabilizing on a useful set of languages being standardized (SystemC is the most notable), and use models are being identified that are beginning to get real adoption. ESL DESIGN & VERIFICATION offers a true prescriptive guide to ESL that reviews its past and outlines the best practices of today.Table of ContentsCHAPTER 1: WHAT IS ESL? CHAPTER 2: TAXONOMY AND DEFINITIONS FOR THE ELECTRONIC SYSTEM LEVEL CHAPTER 3: EVOLUTION OF ESL DEVELOPMENT CHAPTER 4: WHAT ARE THE ENABLERS OF ESL? CHAPTER 5: ESL FLOW CHAPTER 6: SPECIFICATIONS AND MODELING CHAPTER 7: PRE-PARTITIONING ANALYSIS CHAPTER 8: PARTITIONING CHAPTER 9: POST-PARTITIONING ANALYSIS AND DEBUG CHAPTER 10: POST-PARTITIONING VERIFICATION CHAPTER 11: HARDWARE IMPLEMENTATION CHAPTER 12: SOFTWARE IMPLEMENTATION CHAPTER 13: USE OF ESL FOR IMPLEMENTATION VERIFICATION CHAPTER 14: RESEARCH, EMERGING AND FUTURE PROSPECTS APPENDIX: LIST OF ACRONYMS
  • Effective Prototyping for Software Makers

    • 1st Edition
    • Jonathan Arnowitz + 2 more
    • English
    Effective Prototyping for Software Makers is a practical, informative resource that will help anyone—whether or not one has artistic talent, access to special tools, or programming ability—to use good prototyping style, methods, and tools to build prototypes and manage for effective prototyping. This book features a prototyping process with guidelines, templates, and worksheets; overviews and step-by-step guides for nine common prototyping techniques; an introduction with step-by-step guidelines to a variety of prototyping tools that do not require advanced artistic skills; templates and other resources used in the book available on the Web for reuse; clearly-explained concepts and guidelines; and full-color illustrations and examples from a wide variety of prototyping processes, methods, and tools. This book is an ideal resource for usability professionals and interaction designers; software developers, web application designers, web designers, information architects, information and industrial designers.
  • Groovy Programming

    An Introduction for Java Developers
    • 1st Edition
    • Kenneth Barclay + 1 more
    • English
    Groovy Programming is an introduction to the Java-based scripting language Groovy. Groovy has much in common with popular scripting languages such as Perl, Python, and Ruby, but is written in a Java-like syntax. And, unlike these other languages, Groovy is sanctioned by the Java community for use on the Java platform. Since it is based on Java, applications written in Groovy can make full use of the Java Application Programmer Interfaces (APIs). This means Groovy can integrate seamlessly with applications written in Java, while avoiding the complexities of the full Java language. This bare-bones structure also means Groovy can be used as an introduction to Java and to programming in general. Its simpler constructions and modern origins make it ideal as a first language and for introducing principles such as object-oriented programming.This book introduces all the major aspects of Groovy development and emphasizes Groovy's potential as a learning tool. Case studies and exercises are included, along with numerous programming examples. The book begins assuming only a general familiarity with Java programming, and progresses to discuss advanced topics such as GUI builders, Groovlets, Unit Testing, and Groovy SQL.
  • Real-Life MDA

    Solving Business Problems with Model Driven Architecture
    • 1st Edition
    • Michael Guttman + 1 more
    • English
    Model Driven Architecture (MDA) is a new approach to software development that helps companies manage large, complex software projects and save development costs while allowing new technologies that come along to be readily incorporated. Although it is based on many long-standing industry precepts and best practices, such as UML, it is enough of a departure from traditional IT approaches to require some "proof of the pudding." Real-Life MDA is composed of six case studies of real companies using MDA that will furnish that proof. The authors' approach MDA projects by describing all aspects of the project from the viewpoint of the end-users—from the reason for choosing an MDA approach to the results and benefits. The case studies are preceded by an introductory chapter and are followed by a wrap-up chapter summarizing lessons learned.
  • The Profit Impact of Business Intelligence

    • 1st Edition
    • Steve Williams + 1 more
    • English
    The Profit Impact of Business Intelligence presents an A-to-Z approach for getting the most business intelligence (BI) from a company's data assets or data warehouse. BI is not just a technology or methodology, it is a powerful new management approach that – when done right – can deliver knowledge, efficiency, better decisions, and profit to almost any organization that uses it. When BI first came on the scene, it promised a lot but often failed to deliver. The missing element was the business-centric focus explained in this book. It shows how you can achieve the promise of BI by connecting it to your organization’s strategic goals, culture, and strengths while correcting your BI weaknesses. It provides a practical, process-oriented guide to achieve the full promise of BI; shows how world-class companies used BI to become leaders in their industries; helps senior business and IT executives understand the strategic impact of BI and how they can ensure a strong payoff from their BI investments; and identifies the most common mistakes organizations make in implementing BI. The book also includes a helpful glossary of BI terms; a BI readiness assessment for your organization; and Web links and extensive references for more information.
  • UML 2 Certification Guide

    Fundamental and Intermediate Exams
    • 1st Edition
    • Tim Weilkiens + 1 more
    • English
    The popular Unified Modeling Language (UML) is both a language and notation developed by the Object Management Group (OMG) used to design and create specifications for software systems. With the recent release of version 2.0 UML, the OMG has started the OMG-Certified UML Professional Program to provide an objective measure of UML knowledge. As a certified UML professional a developer has an important credential to present to employers and clients. Certification also benefits companies looking for skilled UML practitioners by giving them a basis for making hiring and promotion decisions. UML 2 Certification Guide is the only official study guide to passing the new UML exams. This book systematically covers all of the topics covered in the exams, and has been carefully reviewed by the OMG. The book begins by assuming only a basic knowledge of UML and then progresses far enough to allow a reader to pass both the fundamental and the intermediate level exams. Along the way the book also covers topics that are not in introductory books on UML but that are necessary to pass the exams. Tim Weilkiens is considered one of the top ten experts on UML, and both authors have extensive experience training developers to successfully take the exams.
  • Practical Model-Based Testing

    A Tools Approach
    • 1st Edition
    • Mark Utting + 1 more
    • English
    Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: The basic principles and terminology of model-based testing How model-based testing differs from other testing processes How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market A step-by-step process for applying model-based testing How to write good models for model-based testing How to use a variety of test selection criteria to control the tests that are generated from your models How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments
  • Fast SOA

    The way to use native XML technology to achieve Service Oriented Architecture governance, scalability, and performance
    • 1st Edition
    • Frank Cohen
    • English
    Fast SOA teaches readers how to apply native XML technology to SOA. This book discusses applications in data mediation using mid-tier data and service caching to handle the explosion of new schemas and new devices in an ever changing environment; data aggregation in the SOA middle-tier for off-line browsing, service acceleration through mid-tier caching and transformation, and bandwidth-needs reduction; increased service and application scalability and performance; successful evaluations of application server, XML parser, relational and native XML database, Enterprise Service Bus, Business Integration server, workflow server, and Web Service tools for performance, scalability, and developer productivity; improved service governance through XML persistence in SOA registries and repositories; and composite data services (CDS) to provide maximum reuse of software components and data, accelerate performance, and reduce development time and maintenance in your SOA. This book is recommended for software and data architects, IT application developers, and IT managers who are developing the next generation of web services and service oriented architectures.
  • System Level Design with Rosetta

    • 1st Edition
    • Perry Alexander
    • English
    The steady and unabated increase in the capacity of silicon has brought the semiconductor industry to a watershed challenge. Now a single chip can integrate a radio transceiver, a network interface, multimedia functions, all the "glue" needed to hold it together as well as a design that allows the hardware and software to be reconfigured for future applications. Such complex heterogeneous systems demand a different design methodology. A consortium of industrial and government labs have created a new language and a new design methodology to support this effort. Rosetta permits designers to specify requirements and constraints independent of their low level implementation and to integrate the designs of domains as distinct as digital and analog electronics, and the mechanical, optical, fluidic and thermal subsystems with which they interact.In this book, Perry Alexander, one of the developers of Rosetta, provides a tutorial introduction to the language and the system-level design methodology it was designed to support.