Model Based Requirements Engineering

Titre : Model Based Requirements Engineering
Auteur : Jon Holt
Éditeur : IET
ISBN-13 : 9781849194877
Libération : 2012

Télécharger Lire en ligne



This book provides a hands-on introduction to model-based requirements engineering and management by describing a set of views that form the basis for the approach. These views take into account each individual requirement in terms of its description, but then also provide each requirement with meaning by putting it into the correct ‘context’. A requirement that has been put into a context is known as a ‘use case’ and may be based upon either stakeholders or levels of hierarchy in a system. Each use case must then be analysed and validated by defining a combination of scenarios and formal mathematical and logic-based proofs that provide the rigour required for safety-critical and mission-critical systems. The book also looks at the crucial question of modelling notations for requirements modelling and includes discussions on the use and application of SysML, text and tabular formats. Pragmatic issues, such as tailoring the approach for short, non-critical projects to massive, mission-critical projects is discussed to show how the techniques introduced in the book can be applied on real-life projects and systems. The use of multiple tools will also be discussed, along with examples of how an effective process can lead to realisation by any tool.

A Semantic Web Primer

Titre : A Semantic Web Primer
Auteur : Grigoris Antoniou
Éditeur : MIT Press
ISBN-13 : 9780262018289
Libération : 2012-08-24

Télécharger Lire en ligne



A new edition of the widely used guide to the key ideas, languages, and technologies of the Semantic Web

Formal Ontology in Information Systems

Titre : Formal Ontology in Information Systems
Auteur : Achille C. Varzi
Éditeur : IOS Press
ISBN-13 : 1586034685
Libération : 2004-01-01

Télécharger Lire en ligne



Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realize that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention has started to focus on the content of information rather than on just the formats and languages in terms of which information is represented. A clear example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And as the need for integrating research in these different fields arises, so does the realization that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of Formal Ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of Information Systems. Reciprocally, research in the information science raises specific ontological questions which call for further philosophical investigations.

Multimedia based Instructional Design

Titre : Multimedia based Instructional Design
Auteur : William W. Lee
Éditeur : John Wiley & Sons
ISBN-13 : 9780787973445
Libération : 2004-04-26

Télécharger Lire en ligne



Multimedia-Based Instructional Design is a thoroughly revised and updated second edition of the best-selling book that provided a complete guide to designing and developing interactive multimedia training. While most training companies develop their training programs in many different technological delivery media—computer-based, web-based, and distance learning technologies—this unique book demonstrates that the same instructional design process can be used for all media. Using just one process reduces cycle time for course development—and also reduces costs.

Compressor Aerodynamics

Titre : Compressor Aerodynamics
Auteur : N. A. Cumpsty
Éditeur : Krieger Publishing Company
ISBN-13 : 1575242478
Libération : 2004-01-01

Télécharger Lire en ligne



Starting from first principles, this book looks at the aerodynamic behaviour of axial and radial compressors. The text starts with general ideas, and then moves through the simple aspects of axial compressors to the more advanced three-dimensional ideas.

Numerical Computation of Internal and External Flows The Fundamentals of Computational Fluid Dynamics

Titre : Numerical Computation of Internal and External Flows The Fundamentals of Computational Fluid Dynamics
Auteur : Charles Hirsch
Éditeur : Butterworth-Heinemann
ISBN-13 : 9780080550022
Libération : 2007-07-18

Télécharger Lire en ligne



The second edition of this book is a self-contained introduction to computational fluid dynamics (CFD). It covers the fundamentals of the subject and is ideal as a text or a comprehensive reference to CFD theory and practice. New approach takes readers seamlessly from first principles to more advanced and applied topics. Presents the essential components of a simulation system at a level suitable for those coming into contact with CFD for the first time, and is ideal for those who need a comprehensive refresher on the fundamentals of CFD. Enhanced pedagogy features chapter objectives, hands-on practice examples and end of chapter exercises. Extended coverage of finite difference, finite volume and finite element methods. New chapters include an introduction to grid properties and the use of grids in practice. Includes material on 2-D inviscid, potential and Euler flows, 2-D viscous flows and Navier-Stokes flows to enable the reader to develop basic CFD simulations. Includes best practice guidelines for applying existing commercial or shareware CFD tools.

Introduction to turbomachinery

Titre : Introduction to turbomachinery
Auteur : David Japikse
Éditeur :
ISBN-13 : PSU:000060368928
Libération : 1997

Télécharger Lire en ligne



David Japikse A été écrit sous une forme ou une autre pendant la plus grande partie de sa vie. Vous pouvez trouver autant d'inspiration de Introduction to turbomachinery Aussi informatif et amusant. Cliquez sur le bouton TÉLÉCHARGER ou Lire en ligne pour obtenir gratuitement le livre de titre $ gratuitement.

Computers as Components

Titre : Computers as Components
Auteur : Wayne Wolf
Éditeur : Morgan Kaufmann
ISBN-13 : 9780080886213
Libération : 2008-07-08

Télécharger Lire en ligne



Computers as Components, Second Edition, updates the first book to bring essential knowledge on embedded systems technology and techniques under a single cover. This edition has been updated to the state-of-the-art by reworking and expanding performance analysis with more examples and exercises, and coverage of electronic systems now focuses on the latest applications. It gives a more comprehensive view of multiprocessors including VLIW and superscalar architectures as well as more detail about power consumption. There is also more advanced treatment of all the components of the system as well as in-depth coverage of networks, reconfigurable systems, hardware-software co-design, security, and program analysis. It presents an updated discussion of current industry development software including Linux and Windows CE. The new edition's case studies cover SHARC DSP with the TI C5000 and C6000 series, and real-world applications such as DVD players and cell phones. Researchers, students, and savvy professionals schooled in hardware or software design, will value Wayne Wolf's integrated engineering design approach. * Uses real processors (ARM processor and TI C55x DSP) to demonstrate both technology and techniques...Shows readers how to apply principles to actual design practice. * Covers all necessary topics with emphasis on actual design practice...Realistic introduction to the state-of-the-art for both students and practitioners. * Stresses necessary fundamentals which can be applied to evolving technologies...helps readers gain facility to design large, complex embedded systems that actually work.

One Thousand Six Hundred Thirty Three

Titre : One Thousand Six Hundred Thirty Three
Auteur : David Weber
Éditeur : Baen Books
ISBN-13 : 9780743435420
Libération : 2002-08-01

Télécharger Lire en ligne



Hurtled back in time into the Thirty Years War by an unknown force, Mike Stearns and his fellow West Virginia coal miners join forces with the king of Sweden to form the Confederated Principalities of Europe and take on the scheming Cardinal Richelieu as they struggle to rescue Mike's wife from war-torn Amsterdam and his sister from the Tower of London.

Marketing Analytics

Titre : Marketing Analytics
Auteur : Wayne L. Winston
Éditeur : John Wiley & Sons
ISBN-13 : 9781118417300
Libération : 2014-01-08

Télécharger Lire en ligne



Helping tech-savvy marketers and data analysts solve real-world business problems with Excel Using data-driven business analytics to understand customers and improve results is a great idea in theory, but in today's busy offices, marketers and analysts need simple, low-cost ways to process and make the most of all that data. This expert book offers the perfect solution. Written by data analysis expert Wayne L. Winston, this practical resource shows you how to tap a simple and cost-effective tool, Microsoft Excel, to solve specific business problems using powerful analytic techniques—and achieve optimum results. Practical exercises in each chapter help you apply and reinforce techniques as you learn. Shows you how to perform sophisticated business analyses using the cost-effective and widely available Microsoft Excel instead of expensive, proprietary analytical tools Reveals how to target and retain profitable customers and avoid high-risk customers Helps you forecast sales and improve response rates for marketing campaigns Explores how to optimize price points for products and services, optimize store layouts, and improve online advertising Covers social media, viral marketing, and how to exploit both effectively Improve your marketing results with Microsoft Excel and the invaluable techniques and ideas in Marketing Analytics: Data-Driven Techniques with Microsoft Excel.