Component-Based Software Testing with UML

Publisher Springer-Verlag
Author(s) Hans-Gerhard Gross
ISBN 354020864X
Release Date 18 November 2004

Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches.

Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts.

This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Innovations in Robot Mobility and Control

Publisher Springer-Verlag
Author(s) Amit Konar
ISBN 3540268928
Release Date 02 June 2006

There exists quite a vast literature on mobile robots, covering fundamental principles on motion control and path-planning in indoor environments using ultrasonic/laser transducers. However, there is a scarcity of books/collective documents on vision based navigation of mobile robots and multi-agent systems. The book fills this gap and attempts to develop interesting models for vision based map building in indoor and outdoor environments, precise motion control, navigation in dynamic environment, and above all multi-agent co-operation of robots. The most important aspect of this book is that the principles and models introduced in the text are all field-tested, and thus can readily be used in solving real world problems, such as factory automation, disposal of nuclear wastes, landmine clearing and computerized surgery. Primarily meant for graduate students and researchers in robotics, the book is equally useful to interested audience of any discipline for its contents and simplicity in presentation style.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Embedded Robotics: Mobile Robot Design and Applications with Embedded Systems

Publisher Springer-Verlag
Author(s) Thomas Bräunl
ISBN 3540343180
Release Date 28 July 2006

This book presents a unique combination of mobile robots and embedded systems, from introductory to intermediate level. It is structured in three parts, dealing with embedded systems (hardware and software design, actuators, sensors, PID control, multitasking), mobile robot design (driving, balancing, walking, and flying robots), and mobile robot applications (mapping, robot soccer, genetic algorithms, neural networks, behavior-based systems, and simulation). The book is written as a text for courses in computer science, computer engineering, IT, electronic engineering, and mechatronics, as well as a guide for robot hobbyists and researchers.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Parallel Robots

Publisher Springer-Verlag
Author(s) J.P. Merlet
ISBN 1402041322
Release Date 10 February 2006

Parallel robots are closed-loop mechanisms presenting very good performances in terms of accuracy, velocity, rigidity and ability to manipulate large loads. They have been used in a large number of applications ranging from astronomy to flight simulators and are becoming increasingly popular in the field of machine-tool industry. This book presents a complete synthesis of the latest results on the possible mechanical architectures, analysis and synthesis of this type of mechanism. It is intended to be used by students (with over 150 exercises and numerous internet addresses), researchers (with over 650 references and anonymous ftp access to the code of some algorithms presented in this book) and engineers (for which practical results, mistakes to avoid, and applications are presented).

Since the publication of the first edition (2000) there has been an impressive increase in terms of study and use of this kind of structure that are reported in this book. This second edition has been completely overhauled. The initial chapter on kinematics has been split into Inverse Kinematics and Direct Kinematics. A new chapter on calibration was added. The other chapters have also been rewritten to a large extent. The reference section has been updated to include around 45% new works that appeared after the first edition.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Designing Sociable Robots

Publisher The MIT Press
Author(s) Cynthia L. Breazeal
ISBN 0262025108
Release Date 04 May 2002

Cynthia Breazeal here presents her vision of the sociable robot of the future, a synthetic creature and not merely a sophisticated tool. A sociable robot will be able to understand us, to communicate and interact with us, to learn from us and grow with us. It will be socially intelligent in a humanlike way. Eventually sociable robots will assist us in our daily lives, as collaborators and companions. Because the most successful sociable robots will share our social characteristics, the effort to make sociable robots is also a means for exploring human social intelligence and even what it means to be human.

Breazeal defines the key components of social intelligence for these machines and offers a framework and set of design issues for their realization. Much of the book focuses on a nascent sociable robot she designed named Kismet. Breazeal offers a concrete implementation for Kismet, incorporating insights from the scientific study of animals and people, as well as from artistic disciplines such as classical animation. This blending of science, engineering, and art creates a lifelike quality that encourages people to treat Kismet as a social creature rather than just a machine. The book includes a CD-ROM that shows Kismet in action.

Download Your eBook Now

Download eBook
Download from rapidshare.com

The VLSI Handbook, Second Edition

Publisher CRC Press
Author(s) Wai-Kai Chen
ISBN 084934199X
Release Date 26 December 2006

Written by a stellar international panel of expert contributors, this handbook remains the most up-to-date, reliable, and comprehensive source for real answers to practical problems. In addition to updated information in most chapters, this edition features several heavily revised and completely rewritten chapters, new chapters on such topics as CMOS fabrication and high-speed circuit design, heavily revised sections on testing of digital systems and design languages, and two entirely new sections on low-power electronics and VLSI signal processing. An updated compendium of references and other resources-such as software, databases, standards, and seminars-points toward more in-depth information.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Control of Robot Manipulators in Joint Space

Publisher Springer-Verlag
Author(s) A. Loría
ISBN 1852339942
Release Date 23 August 2005

Robot control is the backbone of robotics, an essential discipline in the maintenance of high quality and productivity in modern industry. The most common method of control for industrial robotic manipulators relies on the measurement and amendment of joint displacement: so-called “joint-space control”.

Control of Robot Manipulators in Joint Space addresses robot control in depth, treating a range of model-based controllers in detail: proportional derivative; proportional integral derivative; computed torque and some adaptive variants. Using varying combinations of the text’s four parts:

* robot dynamics and mathematical preliminaries;
* set-point model-based control;
* tracking model-based control; and
* adaptive and velocity-independent control

A complete course in robot control based on joint space can be constructed for senior undergraduates or masters students. Other areas of study important to robotics, such as kinematics, receive attention within the case studies which are based around a 2-degrees-of-freedom planar articulated arm termed the Pelican prototype and used throughout to test the examined controllers by experimentation.

In addition to the written text, auxiliary resources are available in the form of pdf projector presentations for the instructor to use in lectures and as printed class aids for students, and a pdf solutions manual. All of this labour-saving supplementary material can be downloaded from the Springer website.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Climbing and Walking Robots: Proceedings of the 7th International Conference CLAWAR 2004

Publisher Springer-Verlag
Author(s) Pablo González de Santos
ISBN 3540229922
Release Date 01 October 2005

The interest in climbing and walking robots (CLAWAR) has remarkably augmented over recent years. Novel solutions for complex and very diverse application fields (exploration/intervention in severe environments, personal services, emergency rescue operations, transportation, entertainment, medical, etc.), has been anticipated by means of a large progress in this area of robotics. This book contains the proceedings of the 7th Climbing and Walking Robots 2004 (CLAWAR 2004) Conference offering the international scientific community one of the most excellent forums for academics, researchers and industrialists interested in this motivating area of climbing and walking robots. It provides a wide forum of original state-of-the-art contributions from various industrial and new/emerging research fields , presenting a full picture of climbing and walking robots. The conference, held in Madrid, Spain, September 22-24 2004 was organized by the Thematic Network

Download Your eBook Now

Download eBook
Download from rapidshare.com

Download eBook
Download from easy-share.com

Robot Builder’s Bonanza, Third Edition

Publisher McGraw-Hill/Osborne
Author(s) Myke Predko
ISBN 0071468935
Release Date 21 February 2006

#1 ROBOTICS BOOK OF ALL TIME SUPER-CHARGED BY A FAMOUS NEW CO-AUTHOR AND UPDATED TO REFLECT STATE-OF-THE-ART ADVANCES

Everybody’s favorite amateur robotics book is bolder and better than ever — and now features the field’s “grand master” Myke Predko as the new author! Author duo McComb and Predko bring their expertise to this fully-illustrated robotics “bible” to enhance the already incomparable content on how to build — and have a universe of fun — with robots. Projects vary in complexity so everyone from novices to advanced hobbyists will find something of interest.

NEW TO THIS EDITION:

* 30 completely new projects
* All projects have been revamped to be more customizable
* More visual — illustrations of the final product are right at the beginning of the chapter

Everything you need to build from plans provided or create your own designs:
* Robot Basics
* Construction Techniques
* Computer and Electronic Control
* Power, Motors, and Locomotion
* Practical Robotics Projects
* Sensors and Navigation
* Robot Programming
* Tips, Tricks, and Tidbits

Download Your eBook Now

Download eBook
Download from rapidshare.com

Download eBook
Download from easy-share.com

Intelligent Robotic Systems: Design, Planning, and Control

Publisher Springer-Verlag
Author(s) Witold Jacak
ISBN 0306460629
Release Date 31 January 1999

Here is a comprehensive presentation of methodology for the design and synthesis of an intelligent complex robotic system, connecting formal tools from discrete system theory, artificial intelligence, neural network, and fuzzy logic. The necessary methods for solving real time action planning, coordination and control problems are described. A notable chapter presents a new approach to intelligent robotic agent control acting in a realworld environment based on a lifelong learning approach combining cognitive and reactive capabilities. Another key feature is the homogeneous description of all solutions and methods based on system theory formalism.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Download eBook
Download from easy-share.com

See MIPS Run, Second Edition

Publisher Morgan Kaufmann Publishers
Author(s) Dominic Sweetman
ISBN 0120884216
Release Date 17 October 2006

This second edition is not only a thorough update of the first edition, it is also a marriage of the best-known RISC architecture–MIPS–with the best-known open-source OS–Linux. The first part of the book begins with MIPS design principles and then describes the MIPS instruction set and programmers resources. It uses the MIPS32 standard as a baseline (the 1st edition used the R3000) from which to compare all other versions of the architecture and assumes that MIPS64 is the main option. The second part is a significant change from the first edition. It provides concrete examples of operating system low level code, by using Linux as the example operating system. It describes how Linux is built on the foundations the MIPS hardware provides and summarizes the Linux application environment, describing the libraries, kernel device-drivers and CPU-specific code. It then digs deep into application code and library support, protection and memory management, interrupts in the Linux kernel and multiprocessor Linux.

Sweetman has revised his best-selling MIPS bible for MIPS programmers, embedded systems designers, developers and programmers, who need an in-depth understanding of the MIPS architecture and specific guidance for writing software for MIPS-based systems, which are increasingly Linux-based.

* Completely new material offers the best explanation available on how Linux runs on real hardware.

* Provides a complete, updated and easy-to-use guide to the MIPS instruction set using the MIPS32 standard as the baseline architecture with the MIPS64 as the main option.

* Retains the same engaging writing style that made the first edition so readable, reflecting the authors 20 years experience in designing systems based on the MIPS architecture.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Download eBook
Download from easy-share.com

Software Testing and Analysis: Process, Principles and Techniques

Publisher John Wiley and Sons
Author(s) Michal Young
ISBN 0471455938
Release Date 13 April 2007

The first comprehensive book on software test and analysis

You can’t “test quality into” a software product, but neither can you build a quality software product without test and analysis. Software test and analysis is increasingly recognized, in research and in industrial practice, as a core challenge in software engineering and computer science. Software Testing and Analysis: Process, Principles, and Techniques is the first book to present a range of complementary software test and analysis techniques in an integrated, coherent fashion. It covers a full spectrum of topics from basic principles and underlying theory to organizational and process issues in real-world application. The emphasis throughout is on selecting a complementary set of practical techniques to achieve an acceptable level of quality at an acceptable cost.

Highlights of the book include
* Interplay among technical and non-technical issues in crafting an approach to software quality, with chapters devoted to planning and monitoring the software quality process.
* A selection of practical techniques ranging from inspection to automated program and design analyses to unit, integration, system, and regression testing, with technical material set in the context of real-world problems and constraints in software development.
* A coherent view of the state of the art and practice, with technical and organizational approaches to push the state of practice toward the state of the art.

Throughout, the text covers techniques that are suitable for near-term application, with sufficient technical background to help you know how and when to apply them. Exercises reinforce the instruction and ensure that you master each topic before proceeding.

By incorporating software testing and analysis techniques into modern practice, Software Testing and Analysis: Process, Principles, and Techniques provides both students and professionals with realistic strategies for reliable and cost-effective software development.

Download Your eBook Now

Download eBook
Download from rapidshare.de

Download eBook
Download from easy-share.com

Quantum Computing for Computer Architects (Synthesis Lectures on Computer Architecture)

Publisher Morgan and Claypool Publishers
Author(s) Frederic T. Chong
ISBN 1598291181
Release Date 21 November 2006

Quantum computationmay seem to be a topic for science fiction, but small quantum computers have existed for several years and larger machines are on the drawing table. These efforts have been fueled by a tantalizing property: while conventional computers employ a binary representation that allows computational power to scale linearly with resources at best, quantum computations employ quantum phenomena that can interact to allow computational power that is exponential in the number of quantum bits in the system. Quantum devices rely on the ability to control and manipulate binary data stored in the phase information of quantum wave functions that describe the electronic states of individual atoms or the polarization states of photons. While existing quantum technologies are in their infancy, we shall see that it is not too early to consider scalability and reliability. In fact, such considerations are a critical link in the development chain of viable device technologies capable of orchestrating reliable control of tens of millions quantum bits in a large-scale system. The goal of this lecture is to provide architectural abstractions common to potential technologies and explore the systemslevel challenges in achieving scalable, fault-tolerant quantum computation. The central premise of the lecture is directed at quantum computation (QC) architectural issues. We stress the fact that the basic tenet of large-scale quantum computing is reliability through system balance: the need to protect and control the quantum information just long enough for the algorithm to complete execution. To architectQCsystems, onemust understand what it takes to design and model a balanced, fault-tolerant quantum architecture just as the concept of balance drives conventional architectural design. For example, the register file depth in classical computers is matched to the number of functional units, the memory bandwidth to the cache miss rate, or the interconnect bandwidth matched to the compute power of each element of a multiprocessor. We provide an engineering-oriented introduction to quantum computation and provide an architectural case study based upon experimental data and future projection for ion-trap technology.We apply the concept of balance to the design of a quantum computer, creating an architecture model that balances both quantum and classical resources in terms of exploitable parallelism in quantum applications. From this framework, we also discuss the many open issues remaining in designing systems to perform quantum computation.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Download eBook
Download from eazyupload.net

Design Through Verilog HDL

Publisher Wiley
Author(s) B. Bala Tripura Sundari
ISBN 0471441481
Release Date 05 November 2003

A comprehensive resource on Verilog HDL for beginners and experts

Large and complicated digital circuits can be incorporated into hardware by using Verilog, a hardware description language (HDL). A designer aspiring to master this versatile language must first become familiar with its constructs, practice their use in real applications, and apply them in combinations in order to be successful. Design Through Verilog HDL affords novices the opportunity to perform all of these tasks, while also offering seasoned professionals a comprehensive resource on this dynamic tool.

Describing a design using Verilog is only half the story: writing test-benches, testing a design for all its desired functions, and how identifying and removing the faults remain significant challenges. Design Through Verilog HDL addresses each of these issues concisely and effectively. The authors discuss constructs through illustrative examples that are tested with popular simulation packages, ensuring the subject matter remains practically relevant.

Other important topics covered include:

* Primitives
* Gate and Net delays
* Buffers
* CMOS switches
* State machine design

Further, the authors focus on illuminating the differences between gate level, data flow, and behavioral styles of Verilog, a critical distinction for designers. The book’s final chapters deal with advanced topics such as timescales, parameters and related constructs, queues, and switch level design.

Each chapter concludes with exercises that both ensure readers have mastered the present material and stimulate readers to explore avenues of their own choosing. Written and assembled in a paced, logical manner, Design Through Verilog HDL provides professionals, graduate students, and advanced undergraduates with a one-of-a-kind resource.

Download Your eBook Now

Download eBook
Download from rapidshare.com

Service Oriented Architecture For Dummies

Publisher For Dummies
Author(s) Marcia Kaufman
ISBN 0470054352
Release Date 06 November 2006

* SOA is the most important initiative facing IT today and is difficult to grasp; this book demystifies the complex topic of SOA and makes it accessible to all those people who hear the term but aren’t really sure what it means
* This team of well-respected authors explains that SOA is a collection of applications that enables resources to be available to other participants in a network using any service-based technology
* Examines how SOA enables faster and cheaper application development and how it offers reusable code that can be used across various applications
* Covers what SOA is, why it matters, how it can impact businesses, and how to take steps to implement SOA in a corporate environment

Today’s businesses seem to change at the speed of light, and software support structures simply have to keep up. And that’s exactly what SOA is all about! Here’s the scoop on creating applications and services that can be organized for reuse, easily maintained and supported, designed to produce consistent results, and shared across an enterprise.

Discover how to

* Respond more quickly to market changes
* Allow your IT staff to be more flexible
* Improve business agility
* Navigate ins and outs of SOA architecture
* Enable interaction with new business partners

Download Your eBook Now

Download eBook
Download from rapidshare.com

Download eBook
Download from eazyupload.net