Artículos relacionados a Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems - Tapa dura

 
9783642395116: Model-Driven Dependability Assessment of Software Systems
Ver todas las copias de esta edición ISBN.
 
 
Reseña del editor:

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

Biografía del autor:

Simona Bernardi is a professor at the University Center of Defence, General Military Academy of Zaragoza, Spain. She has participated in several projects dealing with the development of fault-tolerant distributed embedded systems. Her research interests include software performance and dependability engineering, UML and object-oriented software development methodologies, and formal methods for the modeling and analysis of software systems.

José Merseguer is a professor at the Department of Computer Science and Systems Engineering, University of Zaragoza, where he teaches software engineering courses at graduate and undergraduate levels. His main research interests include performance and dependability analysis of software systems, UML semantics, self-adaptive systems and service-oriented software engineering.

Dorina C. Petriu is a professor at the Department of Systems and Computer Engineering at Carleton University, Ottawa, ON, Canada. Her main research interests are in the areas of software performance modeling and model-driven development, with an emphasis on integrating performance and dependability engineering into the software development process. She was a contributor to two OMG standards, the “UML Profile for Schedulability, Performance and Time (SPT)” and the “UML Profile for Modeling and Analysis of Real Time Systems (MARTE)”.

"Sobre este título" puede pertenecer a otra edición de este libro.

  • EditorialSpringer
  • Año de publicación2013
  • ISBN 10 3642395112
  • ISBN 13 9783642395116
  • EncuadernaciónTapa dura
  • Número de páginas204
Comprar nuevo Ver este artículo

Gastos de envío: GRATIS
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Otras ediciones populares con el mismo título

9783662509425: Model-Driven Dependability Assessment of Software Systems

Edición Destacada

ISBN 10:  ISBN 13:  9783662509425
Editorial: Springer, 2016
Tapa blanda

Los mejores resultados en AbeBooks

Imagen del vendedor

Bernardi, Simona", "Merseguer, Josà ©", "Petriu, Dorina Corina"
Publicado por Springer (2013)
ISBN 10: 3642395112 ISBN 13: 9783642395116
Nuevo Tapa dura Cantidad disponible: 1
Librería:
booksXpress
(Bayonne, NJ, Estados Unidos de America)

Descripción Hardcover. Condición: new. Nº de ref. del artículo: 9783642395116

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 101,24
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Bernardi, Simona; Merseguer, José; Petriu, Dorina Corina
Publicado por Springer (2013)
ISBN 10: 3642395112 ISBN 13: 9783642395116
Nuevo Tapa dura Cantidad disponible: > 20
Librería:
Lucky's Textbooks
(Dallas, TX, Estados Unidos de America)

Descripción Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020225902

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 110,67
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,69
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

Simona Bernardi
Publicado por Springer (2013)
ISBN 10: 3642395112 ISBN 13: 9783642395116
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
Ria Christie Collections
(Uxbridge, Reino Unido)

Descripción Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783642395116_lsuk

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 115,72
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,65
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Simona Bernardi
ISBN 10: 3642395112 ISBN 13: 9783642395116
Nuevo Tapa dura Cantidad disponible: 2
Impresión bajo demanda
Librería:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Alemania)

Descripción Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 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. 204 pp. Englisch. Nº de ref. del artículo: 9783642395116

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 106,99
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Simona Bernardi|José Merseguer|Dorina Corina Petriu
Publicado por Springer Berlin Heidelberg (2013)
ISBN 10: 3642395112 ISBN 13: 9783642395116
Nuevo Tapa dura Cantidad disponible: > 20
Impresión bajo demanda
Librería:
moluna
(Greven, Alemania)

Descripción Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Comprehensive overview of standards-based dependability modeling and analysisPresentation based on the standard extension mechanisms of UMLDetailed case studies to illustrate single process stepsCo-authored by contributors to related. Nº de ref. del artículo: 5059329

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 92,27
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen del vendedor

Simona Bernardi
Publicado por Springer Berlin Heidelberg (2013)
ISBN 10: 3642395112 ISBN 13: 9783642395116
Nuevo Tapa dura Cantidad disponible: 1
Librería:
AHA-BUCH GmbH
(Einbeck, Alemania)

Descripción Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 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. Nº de ref. del artículo: 9783642395116

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 111,07
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 32,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío