株式会社極東書店トップ ＞ 商品一覧 ＞ Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. 2016 ed.
商品詳細
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. 2016 ed.
・ISBN 978-3-319-29627-2 paper EUR 49.99
￥13,361.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Liu, Zhiming / Zhang, Zili (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2016 |
| ページ数 | 325 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-897＞ |
解説
This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.
The material is useful for postgraduate students, researchers, academics and industrial engineers who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.