Normal view MARC view ISBD view

Dependable software systems engineering / edited by Alexander Pretschner, Doron Peled and Thomas Hutzelmann. - 1 online resource - NATO science for peace and security series, Sub-series D, Information and communication security, vol. 50 1879-8292 ; . - NATO science for peace and security series. Sub-series D, Information and communication security ; v. 50. .

"Proceedings of the NATO Advanced Studies Institute on Dependable Software Systems Engineering, Marktoberdorf, Germany, 3-12 August 2016." Includes indexes.

Includes bibliographical references and index.

Reactive Synthesis: Towards Output-Sensitive Algorithms / Computing the Next-State Function of a Requirements Model / From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning / Viper: A Verification Infrastructure for Permission-Based Reasoning / Automata Based Validation Techniques / Defect-Based Testing / Temporal Logic as Filtering / K: A Semantic Framework for Programming Languages and Formal Analysis Tools / Assurance and Assurance Cases / Felix Klein -- M.M. Archer -- Axel Legay -- Alexander J. Summers -- Doron Peled -- Alexander Pretschner -- Radu Grosu -- Grigore Rosu -- John Rushby. Machine generated contents note:

ISBN: 9781614998105 1614998108

Subjects--Topical Terms:
Software engineering--Congresses.
Computer software--Reliability--Congresses.
Génie logiciel--Congrès.
Logiciels--Fiabilité--Congrès.
COMPUTERS--Software Development & Engineering--General.
Computer software--Reliability
Software engineering

Index Terms--Genre/Form:
Conference papers and proceedings

LC Class. No.: QA76.758

Dewey Class. No.: 005.1