Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Il Rio, 2016
ISBN 10: 8898662629ISBN 13: 9788898662623
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. Italian language. 8.11x5.71x0.20 inches. In Stock.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Big River Books, Powder Springs, GA, Estados Unidos de America
Libro
Condición: VeryGood. The cover may have some normal wear. The text has no notes or markings.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro Impresión bajo demanda
Soft Cover. Condición: new. This item is printed on demand.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Books Puddle, New York, NY, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer International Publishing Aug 2020, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually.The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience. 232 pp. Englisch.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. 232 pages. 9.25x6.10x0.49 inches. In Stock.
Publicado por Springer, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Majestic Books, Hounslow, Reino Unido
Libro Impresión bajo demanda
Condición: New. Print on Demand.
Publicado por Springer International Publishing, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, 2nd Workshop on Dependable Solutions for Intelligent Electricity Distribution Grids, DSOGRI 2020, 12th Workshop on Software Engineering for Resilient Systems, SERENE 2020, held in September 2020. Due to the COVID-19 pandemic the workshops were held virtually.The 12 full papers and 4 short papers were thoroughly reviewed and selected from 35 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.
Publicado por Springer 2020-08, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer International Publishing, 2020
ISBN 10: 3030584615ISBN 13: 9783030584610
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Kartoniert / Broschiert. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: Workshop on Articial Intelligence for Railways, AI4RAILS 2020, Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2020, W.
Publicado por Springer, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Hardcover. Condición: new.
Publicado por Springer, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro Impresión bajo demanda
Soft Cover. Condición: new. This item is printed on demand.
Publicado por Springer, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer Berlin Heidelberg Okt 2013, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
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.
Publicado por Springer Berlin Heidelberg Aug 2016, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. 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.
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
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.
Publicado por Springer Berlin Heidelberg, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
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.
Publicado por Springer Berlin Heidelberg, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. 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 willfind a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.
Publicado por Springer Berlin Heidelberg, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
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 willfind a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: Revaluation Books, Exeter, Reino Unido
Libro
Paperback. Condición: Brand New. reprint edition. 204 pages. 9.30x6.20x0.46 inches. In Stock.
Publicado por Springer, 2013
ISBN 10: 3642395112ISBN 13: 9783642395116
Librería: dsmbooks, Liverpool, Reino Unido
Libro
Hardcover. Condición: Like New. Like New. book.
Publicado por Springer, 2016
ISBN 10: 3662509423ISBN 13: 9783662509425
Librería: dsmbooks, Liverpool, Reino Unido
Libro
Paperback. Condición: Like New. Like New. book.