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
https://doi.org/10.1007/978-3-319-65948-0


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book225279-1001QA76.758Springer E-Book Collection