Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
tarafından
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
Başlık
:
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Yazar
:
Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331
ISBN
:
9783319659480
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
XIV, 201 p. 56 illus. online resource.
Seri
:
Programming and Software Engineering ; 10479
İçindekiler
:
Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.
Özet
:
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.
Konu Başlığı
:
Software engineering.
Logic design.
Computer science.
Computer system performance.
Computer industry.
Artificial intelligence.
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I1603X
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049
The Computing Profession. http://scigraph.springernature.com/things/product-market-codes/I24075
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
Yazar Ek Girişi
:
Romanovsky, Alexander.
Troubitsyna, Elena A.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 225279-1001 | QA76.758 | Springer E-Book Collection |