Dependable software systems engineering [electronic resource] / edited by Maximilian Irlbeck, Doron Peled, Alexander Pretschner.
- 作者： NATO Advanced Study Institute on Dependable Software Systems Engineering 2014 : Marktoberdorf, Germany
- 其他作者：
- 其他題名：
- NATO science for peace and security series.
- NATO Science for Peace and Security series D ;
- 出版： Amsterdam : IOS Press 2015.
- 叢書名： NATO Science for Peace and Security series D : information and communication security ;vol. 40
- 主題： Computer software--Verification--Congresses. , Computer systems--Verification--Congresses. , Computer software--Verification. , Computer systems--Verification. , Conference papers and proceedings.
- ISBN： 9781614994954 (ebk.) 、 9781614994947 (hbk.)
- URL：
電子書
- 書目註：Includes bibliographical references and indexes.
-
讀者標籤：
- 系統號： 005235549 | 機讀編目格式
館藏資訊
We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe. This book presents papers from the NATO Advanced Study Institute Summer School Dependable Software Systems Engineering, held in Marktoberdorf, Germany, in July and August 2014. Lecturers were drawn from prestigious research groups representing both industry and academia, and the course was designed as an in-depth presentation and teaching of state-of-the-art scientific techniques and methods covering research and industrial practice as well as scientific principles. Topics covered included: syntax-guided synthesis; system behaviors and problem frames; dependable human-intensive systems; automatic alias analysis and frame inference; fault-based testing; and mechanized unifying theories of programming. Marktoberdorf is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results and the discussion and development of new ideas will be of interest to all those whose work involves the engineering of dependable software systems.