container

header-component

secondary-storefront-menu

products

International

North America

China

Japan

Latin America

Brazil

Region

Set your region:

Marketing materials, training documents, discovery services

cengage:card

FIND YOUR SALES REPRESENTATIVE

cengage:column

Get marketing materials, training documents, discovery services.

PRODUCT SUPPORT

CUSTOMER SUPPORT

Report technical issues, errors, check system status

TECHNICAL SUPPORT

Manage product preferences, generate usage reports, simplify administrative tasks.

ADMIN TOOLS

support

secondary-account-menu

header

footer-legal-menu-component

cengage:galethorndikeseo

footer-legal-menu

Terms of use

Privacy

config

footer-menu-component

%1 products have been added to your cart but %2 have been backordered and will be fulfilled when stock is available

Product on backorder

Current quantity limit is [maxProductQuantity], please, navigate to the cart page and change quantity of product

You will be able to resubmit promo in ${countdown} seconds. test

Please note that the taxes displayed on our website are estimated and subject to adjustment. The actual tax charges will be determined and settled during the final invoicing of your order

product-detail-component

secondary-primary-menu

About Us

Blogs

Press Center

Events

News

Careers

Our Company

Request a Trial

mega-menu

Browse by Institution Type

Browse by Product Type

Products

Support

footer

gale-footer

single-column

footer-social-menu

Sign Up for Emails

CONNECT WITH GALE

Stay up-to-date with the latest Gale news, exclusive offers, and more.

facebook

linkedin

instagram

youtube

SOCIAL ICONS

FIND YOUR REP

support-order-2

Profile

Orders

Wish List

Fast Order Entry

My Account

Account Information

bundle-connector

Would you like to go to the Gale {{RECOMMENDED_COUNTRY}} site instead?

It looks like you're visiting from {{DETECTED_COUNTRY}}.

main

zone1

footer-menu

Academic Institutions

K-12

Public Libraries

Government and Special Libraries

Statewide Programs

Institutions

Databases

Primary Sources

Digital Humanities Tools

eLearning

Schools/K-12 Curriculum

Books

Large Print Books by Thorndike Press

Find Your Rep

Product Support

Technical Support

Customer Support

Admin Tools

Accessibility Policy

Partnerships

Contact Us

You may already have access to Gale content through your institution.

STUDENTS AND RESEARCHERS

support-order-1

footer-social-menu-component

zone3

zone2

Model-Driven Dependability Assessment of Software Systems

MODEL DRIVEN DEPENDABILITY ASSESSMENT SOFTWARE SYSTEMS

Information Technology

Computing & Information Technology

Gt Product Group

Binding Format

Marketing Imprint Name

B2B GT

CL Carton Count

Imprint Name

B2B & B2C

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques. Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

POST SECONDARY FOUR YEAR

COLFR

COLJR

COLSO

COLSR

Duration

Duration Unit Of Measure

Transaction Type

Front Cover.
Half Title Page.
Title Page.
Copyright Page.
Preface.
Contents.
Acronyms.
1: Dependability Assessment and Software Life Cycle.
2: Dependability Concepts.
3: Software Models.
4: Dependability Domain Model.
5: Dependability Modeling and Analysis Profile.
6: Dependability Analysis Techniques.
7: Proposals for Dependability Assessment.
8: From Software Models to Dependability Analysis Models.
9: Conclusions and Advanced Open Issues.
The MARTE Profile.
Classes in the Dependability Domain Model.
10: References.
Index.

Model-Driven Dependability Assessment of Software Systems.css-1p8rvzy{position:absolute;padding-left:8px;}

Model-Driven Dependability Assessment of Software Systems