|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996418305803316 |
|
|
Titolo |
Engineering Trustworthy Software Systems [[electronic resource] ] : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / / edited by Jonathan P. Bowen, Zhiming Liu, Zili Zhang |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2020.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 221 p. 32 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 12154 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer communication systems |
Artificial intelligence |
Computer programming |
Architecture, Computer |
Natural language processing (Computer science) |
Software Engineering/Programming and Operating Systems |
Computer Communication Networks |
Artificial Intelligence |
Programming Techniques |
Computer System Implementation |
Natural Language Processing (NLP) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 5th International |
|
|
|
|
|
|
|
|
|
|
School on Engineering Trustworthy Software Systems, SETSS 2019, held in Chongqing, China, in April 2019. The five chapters in this volume provide lectures on leading-edge research in methods and tools for use in computer system engineering. The topics covered in these chapters include Seamless Model-based System Development: Foundations; From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT; Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence; K – A Semantic Framework for Programming Languages and Formal Analysis Tools; and Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. |
|
|
|
|
|
| |