software engineering resilient systems (37 Ergebnisse)

Paperback. Zustand: Brand New. 2014 edition. 196 pages. 9.30x6.20x0.47 inches. In Stock.

Zustand: New. pp. 158.

Paperback. Zustand: Brand New. 2013 edition. 212 pages. 9.20x6.10x0.80 inches. In Stock.

Paperback. Zustand: Brand New. 156 pages. 9.25x6.25x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 200 pages. 9.25x6.10x0.39 inches. In Stock.

Paperback. Zustand: Brand New. 216 pages. 9.25x6.10x0.71 inches. In Stock.

Paperback. Zustand: Brand New. 160 pages. 9.25x6.25x0.50 inches. In Stock.

Kartoniert / Broschiert. Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

Paperback. Zustand: Brand New. 2011 edition. 175 pages. 9.25x6.00x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 2012 edition. 190 pages. 9.25x6.10x0.50 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 212 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012.The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies.

Taschenbuch. Zustand: Neu. Software Engineering for Resilient Systems | 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings | Marco Vieira (u. a.) | Taschenbuch | x | Englisch | 2014 | Springer International Publishing | EAN 9783319122403 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 168 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems; resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems; quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems; methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and infrastructures; global aspects of resilience engineering: education, training and cooperation.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, held in Gothenburg, Sweden, in September 2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They cover the following areas: development of resilient systems; incremental development processes for resilient systems; requirements engineering and re-engineering for resilience; frameworks, patterns and software architectures for resilience; engineering of self-healing autonomic systems; design of trustworthy and intrusion-safe systems; resilience at run-time (mechanisms, reasoning and adaptation); resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems); verification, validation and evaluation of resilience; modeling and model based analysis of resilience properties; formal and semi-formal techniques for verification and validation; experimental evaluations of resilient systems; quantitative approaches to ensuring resilience; resilience prediction; cast studies and applications; empirical studies in the domain of resilient systems; methodologies adopted in industrial contexts; cloud computing and resilient service provisioning; resilience for data-driven systems (e.g., big data-based adaption and resilience); resilient cyber-physical systems and infrastructures; global aspects of resilience engineering: education, training and cooperation.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the IFIP WG 13.2/13.5 Joint Working Conferences: 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, held in Stockholm, Sweden, in August 2016.The 11 full papers and 14 short papers presentedwere carefully reviewed and selected from 32 submissions. Thepapers cover various topics such as integration of software engineeringand user-centered design; HCI models and model-driven engineering;incorporating guidelines and principles for designing usable products inthe development process; usability engineering; methods for userinterface design; patterns in HCI and HCSE; software architectures foruser interfaces; user interfaces for special environments;representations for design in the development process; working withiterative and agile process models in HCSE; social and organizationalaspects in the software development lifecycle; human-centric softwaredevelopment tools; user profiles and mental models; user requirementsand design constraints; and user experience and software design.

Taschenbuch. Zustand: Neu. Software Engineering for Resilient Systems | Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings | Paris Avgeriou | Taschenbuch | x | Englisch | 2012 | Springer-Verlag GmbH | EAN 9783642331756 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Software Engineering for Resilient Systems | 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings | Anatoliy Gorbenko (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer-Verlag GmbH | EAN 9783642408939 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Software Engineering for Resilient Systems | 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings | Radu Calinescu (u. a.) | Taschenbuch | x | Englisch | 2019 | Springer | EAN 9783030308551 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.