Catálogo de publicaciones

This book 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

* Presents the basic principles and terminology of model-based testing
* Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market
* Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies

Practical NMR Spectroscopy Laboratory Guide is designed to provide non-expert NMR users, typically graduate students in chemistry, an introduction to various facets of practical solution-state NMR spectroscopy. Each chapter offers a series of hands-on exercises, introducing various NMR concepts and experiments and guiding the reader in running these experiments using an NMR spectrometer. The book is written for use with a Bruker NMR spectrometer running TopSpin software versions 1 or 2. This practical resource functions both as a text for instructors of a practical NMR course and also as a reference for spectrometer administrators or NMR facility directors when doing user training. This guide serves as serve as excellent, practical resource on its own or as a companion book to Timothy Claridge’s  High-Resolution NMR Techniques in Organic Chemistry, 2nd Edition (Elsevier, 2009).

• Written by experts in solution-state NMR spectroscopy
• Provides step-by-step instructions for more than 50 activities using a Bruker NMR spectrometer
• Includes detailed appendices and sample questions for lab reports

This is the only practical, hands-on guide available to database administrators to secure their Oracle databases. This book will help the DBA to assess their current level of risk as well as their existing security posture. It will then provide practical, applicable knowledge to appropriately secure the Oracle database. The book’s companion Web site contains dozens of working scripts that DBA’s can use to secure and automate their Oracle databases.

* The only practical, hands-on guide for securing your Oracle database published by independent experts.
* Companion Web site contains dozens of scripts to help you automate security tasks.
* Your Oracle database does not exist in a vacuum, so this book shows you how to securely integrate your database into your enterprise.

Practical Pediatric Endocrinology in a Limited Resource Setting provides a guide for managing pediatric endocrine problems in a limited resource setting, together with an outline of the bases for these disorders. The book outlines a plan for coming to a likely diagnosis in situations where resources are constrained, and suggests ways to access more sophisticated technologies for diagnostic confirmation and extension of available tools.

Further extending and complementing each chapter is a series of scenarios for use as teaching and learning tools. Together with a clinical question, all chapters include a suggested outline for assessment that assists readers facing similar situations in daily practice. Each scenario works through a typical series of deductive steps used to establish a working diagnosis, while considering both a differential diagnosis and reminding readers of current knowledge around the subject matter.

• Provides a working knowledge of pediatric endocrinology, from the viewpoint of practical application, for residents and clinicians practicing in settings with scarce material resources
• Features clinically based chapters, empahsising workable diagnoses and management plans in limited resource situations
• Includes information on Type 1 diabetes mellitus, given its increasing prevalence worldwide
• Describes basic research techniques and planning, intended to foster collaboration between colleagues and other centers in clinical or basic research, which can inform clinical practice and drive innovation

With the advent of electronic medical records years ago and the increasing capabilities of computers, our healthcare systems are sitting on growing mountains of data. Not only does the data grow from patient volume but the type of data we store is also growing exponentially. Practical Predictive Analytics and Decisioning Systems for Medicine provides research tools to analyze these large amounts of data and addresses some of the most pressing issues and challenges where data integrity is compromised: patient safety, patient communication, and patient information. Through the use of predictive analytic models and applications, this book is an invaluable resource to predict more accurate outcomes to help improve quality care in the healthcare and medical industries in the most cost–efficient manner. Practical Predictive Analytics and Decisioning Systems for Medicine provides the basics of predictive analytics for those new to the area and focuses on general philosophy and activities in the healthcare and medical system. It explains why predictive models are important, and how they can be applied to the predictive analysis process in order to solve real industry problems. Researchers need this valuable resource to improve data analysis skills and make more accurate and cost-effective decisions.

• Includes models and applications of predictive analytics why they are important and how they can be used in healthcare and medical research
• Provides real world step-by-step tutorials to help beginners understand how the predictive analytic processes works and to successfully do the computations
• Demonstrates methods to help sort through data to make better observations and allow you to make better predictions

This book provides a comprehensive, step-by-step approach to organic process research and development in the pharmaceutical, fine chemical, and agricultural chemical industries. Process R&D describes the steps taken, following synthesis and evaluation, to bring key compounds to market in a cost-effective manner. More people are being hired for work in this area as increasing numbers of drug candidates are identified through combinatorial chemistry and high-throughput screening. The book is directed to industrial (primarily organic) chemists, and academicians (particularly those involved in a growing number of start-up companies) and students who need insight into industrial process R&D. Current books do not describe hands-on, step-by-step, approaches to solving process development problems, including route, reagent, and solvent selection; optimising catalytic reactions; chiral syntheses; and "green chemistry." "Practical Process Research and Development" will be a valuable resource for researchers, managers, and graduate students.

• Provides insights into generating rugged, practical, cost-effective processes for the chemical preparation of "small molecules"
• Breaks down process optimization into route, reagent and solvent selection, development of reaction conditions, workup, crystallizations and more
• Includes over 100 tips for rapid process development
• Presents guidelines for implementing and troubleshooting processes

This is a practical guide to programmable logic devices. It covers all devices related to PLD: PALs, PGAs, state machines, and microcontrollers. Usefulness is evaluated; support needed in order to effectively use the devices is discussed. All examples are based on real-world circuits.

Practical Tissue Culture Applications contains the proceedings of a conference held at the International Laboratory for Research on Animal Diseases in Nairobi, Kenya, August 24-29, 1978. This book aims to describe some of the more important practical applications of in vitro techniques in a simple, easily understandable manner.
Organized into three sections, with a total of 27 chapters, this book provides critical reviews, describes various techniques, and presents complete step-by-step methodology. It emphasizes applications pertaining to the health and economy in developing nations. In particular, this book discusses the pitfalls in preparing general purpose culture media, balanced salt solutions, and the procedures followed in the development of modern in vitro techniques. It also describes techniques for cultivation of vertebrate cells and organs; plant tissue culture and its numerous applications; and electron microscopy of cultured cell. This book explains as well virus isolation and identification in cell cultures, mass production of cells for vaccines, and use of cultured cells for drug evaluation. The applications of in vitro techniques to parasitology are explored in numerous chapters of this book.
Considering the potential benefit of application of in vitro techniques, this reference material will be of interest both in developed and developing countries.