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.

Pairing Based Cryptography Pairing 2012

Titre : Pairing Based Cryptography Pairing 2012
Auteur : Michel Abdalla
Éditeur : Springer
ISBN-13 : 9783642363344
Libération : 2013-02-01

Télécharger Lire en ligne



This book constitutes the refereed proceedings of the 5th International Conference on Pairing-Based Cryptography, Pairing 2012, held in Cologne, Germany, in May 2012. The 17 full papers for presentation at the academic track and 3 full papers for presentation at the industrial track were carefully reviewed and selected from 49 submissions. These papers are presented together with 6 invited talks. The contributions are organized in topical sections on: algorithms for pairing computation, security models for encryption, functional encryption, implementations in hardware and software, industry track, properties of pairings, and signature schemes and applications.

Twelve Years a Slave

Titre : Twelve Years a Slave
Auteur : Solomon Northup
Éditeur :
ISBN-13 : PRNC:32101037454905
Libération : 1854

Télécharger Lire en ligne



Describes the life in slavery of Solomon Northup from Saratoga, N.Y., born a free Black man.

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.

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

The Psychology of Graphic Images

Titre : The Psychology of Graphic Images
Auteur : Manfredo Massironi
Éditeur : Psychology Press
ISBN-13 : 9781135679361
Libération : 2001-08-01

Télécharger Lire en ligne



This book explores the nature of one of the most ancient tools for nonverbal communication: drawings. They are naturally adaptable enough to meet an incredibly wide range of communication needs. But how exactly do they do their job so well? Avoiding the kinds of aesthetic rankings of different graphic domains so often made by art historians and critics, Manfredo Massironi considers an extensive and representative sample of graphic applications with an open mind. He finds a deep mutuality between the material components of images and the activation of the perceptual and cognitive processes that create and decipher them. Massironi first examines the material components themselves: the mark or line, the plane of representation (the angle formed by the actual drawing surface and the depicted objects), and the position of the viewpoint relative to the depicted objects. The roles played by these three components are independent of the content of the drawing; they function in the same way in concrete and abstract representations. He then closely scrutinizes the choices made by the person planning and executing the drawings. Given that any object can be depicted in an infinite number of different ways, the drawer performs continuous work emphasizing and excluding different features. The choices are typically unconscious and guided by his or her communicative goals. A successful graph, be it simple or complex, is always successful precisely because the emphasized features are far fewer in number than the excluded ones. Finally, he analyzes the perceptual and cognitive integrations made by the viewer. Drawings are not simply tools for communication but important instruments for investigating reality and its structure. Richly illustrated, the book includes a series of graphic exercises that enable readers to get a sense of their own perceptual and cognitive activity when inspecting images. Massironi's pathbreaking taxonomy of graphic productions will illuminate all the processes involved in producing and understanding graphic images for a wide audience, in fields ranging from perceptual and cognitive psychology through human factors and graphic design to architecture and art history.

Java SOA Cookbook

Titre : Java SOA Cookbook
Auteur : Eben Hewitt
Éditeur : "O'Reilly Media, Inc."
ISBN-13 : 9780596555498
Libération : 2009-03-17

Télécharger Lire en ligne



Java SOA Cookbook offers practical solutions and advice to programmers charged with implementing a service-oriented architecture (SOA) in their organization. Instead of providing another conceptual, high-level view of SOA, this cookbook shows you how to make SOA work. It's full of Java and XML code you can insert directly into your applications and recipes you can apply right away. The book focuses primarily on the use of free and open source Java Web Services technologies -- including Java SE 6 and Java EE 5 tools -- but you'll find tips for using commercially available tools as well. Java SOA Cookbook will help you: Construct XML vocabularies and data models appropriate to SOA applications Build real-world web services using the latest Java standards, including JAX-WS 2.1 and JAX-RS 1.0 for RESTful web services Integrate applications from popular service providers using SOAP, POX, and Atom Create service orchestrations with complete coverage of the WS-BPEL (Business Process Execution Language) 2.0 standard Improve the reliability of SOAP-based services with specifications such as WS-Reliable Messaging Deal with governance, interoperability, and quality-of-service issues The recipes in Java SOA Cookbook will equip you with the knowledge you need to approach SOA as an integration challenge, not an obstacle.

Dictionary of Ecodesign

Titre : Dictionary of Ecodesign
Auteur : Ken Yeang
Éditeur : Routledge
ISBN-13 : 9781135192938
Libération : 2010-04-05

Télécharger Lire en ligne



The first guide to the terminology of sustainable design. Written by an internationally renowned expert in the field, this illustrated dictionary provides over 1500 definitions and explanations of ecodesign terms. Providing a unique resource for the practitioner and student, this book leaves the reader free to 'dip' in and out of the book allowing for 'bite-sized' learning at their own convenience. It is an essential reference for all architects, engineers, planners and environmentalists involved in designing and planning projects and schemes in the built environment.

The Search for the Secure Base

Titre : The Search for the Secure Base
Auteur : Jeremy Holmes
Éditeur : Routledge
ISBN-13 : 9781317710998
Libération : 2014-07-16

Télécharger Lire en ligne



In recent decades, attachment theory has gained widespread interest and acceptance, although the relevance of attachment theory to clinical practice has never been clear. The Search for the Secure Base shows how attachment theory can be used therapeutically. Jeremy Holmes introduces an exciting new attachment paradigm in psychotherapy with adults, describing the principles and practice of attachment-informed therapy in a way that will be useful to beginners and experienced therapists alike. Illustrated with a wide range of clinical examples, this book will be welcomed by practitioners and trainees in psychotherapy, psychoanalysis and in many other disciplines.

Undefeated Innocence

Titre : Undefeated Innocence
Auteur : Cheryl Crofoot Knapp
Éditeur : WestBow Press
ISBN-13 : 9781512778977
Libération : 2017-03-27

Télécharger Lire en ligne



We hold newborn babies and believe we look into eyes of innocence—lives undefeated by mortal existence. Children grow; life gets complicated. Innocence erodes. We hold someone with Alzheimer’s and believe we look into eyes of fear. Lifetime memories fade like shadows, a decade at a time. Lives are lived in reverse. Alzheimer’s attacks its innocent victims. But it doesn’t defeat innocence. Those who have it seemingly return to being a young child and regain simplicity. Physical life ends like it began and returns to undefeated innocence. From broken memories to broken bones, Alzheimer’s catalyzed terror and defeat in my family. My parents were terrorized by the scrambling of their minds. We who loved them had to suffocate our feelings of defeat as they returned to innocence. As a caregiver, God allowed me to share in my parents’ passages back to undefeated innocence. I gained loving moments that I would have missed if I hadn’t been involved and if I hadn’t taken up the proper vantage point to see them. Undefeated Innocence offers hope to caregivers by weaving poignant personal experiences, humor, and biblical stories with a study of the Beatitudes. It answers “Where is God?” in Alzheimer’s. It confirms that caregiving experiences are abnormally normal, and it’s okay to store toothpaste in an underwear drawer. Undefeated Innocence reveals God’s grace through the storms and affirms that caregivers are not alone in wondering if life can return to a place of peace.