0
Your cart

Your cart is empty

Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction

Buy Now

Model-Driven Dependability Assessment of Software Systems (Hardcover, 2013 ed.) Loot Price: R3,778
Discovery Miles 37 780
Model-Driven Dependability Assessment of Software Systems (Hardcover, 2013 ed.): Simona Bernardi, Jose Merseguer, Dorina Corina...

Model-Driven Dependability Assessment of Software Systems (Hardcover, 2013 ed.)

Simona Bernardi, Jose Merseguer, Dorina Corina Petriu

 (sign in to rate)
Loot Price R3,778 Discovery Miles 37 780 | Repayment Terms: R354 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

Donate to Gift Of The Givers

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.

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 usingUML 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."

General

Imprint: Springer-Verlag
Country of origin: Germany
Release date: October 2013
First published: 2013
Authors: Simona Bernardi • Jose Merseguer • Dorina Corina Petriu
Dimensions: 235 x 155 x 13mm (L x W x T)
Format: Hardcover
Pages: 187
Edition: 2013 ed.
ISBN-13: 978-3-642-39511-6
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Social & legal aspects of computing > Human-computer interaction
LSN: 3-642-39511-2
Barcode: 9783642395116

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners