大葉大學圖書館 |

Engineering dependable software systems [electronic resource]/

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.1/4
書名/作者:	Engineering dependable software systems / proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munchen, Germany.
其他作者:	Broy, M.,
團體作者:	Clark Conference
出版者:	Amsterdam : : IOS Press :, [2013]
面頁冊數:	1 online resource (ix, 365 p.) : : ill.
附註:	"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012" -- Title page verso.
標題:	Computer security
標題:	Computer software - Congresses. - Development
標題:	Computer networks - Handbooks, manuals, etc. - Security measures
標題:	Cyber intelligence (Computer security) - Congresses.
標題:	Computer software - Congresses. - Verification
標題:	Computer systems - Congresses. - Verification
ISBN:	9781614992066
ISBN:	1614992061
書目註:	Includes bibliographical references and index.
摘要、提要註:	"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."--
電子資源:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614992066

Engineering dependable software systems [electronic resource]/
Engineering dependable software systems [electronic resource]/proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munchen, Germany. - Amsterdam :IOS Press :[2013] - 1 online resource (ix, 365 p.) :ill. - NATO science for peace and security series. D, Information and communication security ;vol. 34. - NATO science for peace and security series.Sub-series D,Information and communication security ;v. 20..

"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012" -- Title page verso.

Includes bibliographical references and index.

A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views /Manfred Broy --

"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."--

ISBN: 9781614992066

LCCN: 2013937863Subjects--Topical Terms:

158051
Computer security

LC Class. No.: QA76.76.V47 / N38 2013

Dewey Class. No.: 005.1/4

Engineering dependable software systems [electronic resource]/
LDR:03761cam a22002657i 4500 001 408566
005 19991205143727.0
008 141226t20132013ne a b 001 0 eng d
010 $a 2013937863
020 $a 9781614992066
020 $a 1614992061
035 $a (OCoLC)ocn851413550
035 $a 00000295
040 $a BTCTA $b eng $c BTCTA $d YDXCP $d UKMGB $d CUY $d OCLCO $d IWA $d DLC $e rda
042 $a lccopycat
050 0 0 $a QA76.76.V47 $b N38 2013
082 $a 005.1/4 $2 23
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Engineering dependable software systems $h [electronic resource]/ $c proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems ; edited by Manfred Broy, Technische Universitat Munchen, Germany, Doron Peled, Bar Ilan University, Ramat Gan, Israel, and Georg Kalus, Technishe Universitat Munchen, Germany.
260 $a Amsterdam : $b IOS Press : $b published in cooperation with NATO Emerging Security Challenges Division, $c [2013]
300 $a 1 online resource (ix, 365 p.) : $b ill.
490 1 $a NATO science for peace and security series. D, Information and communication security ; $v vol. 34
500 $a "Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012" -- Title page verso.
504 $a Includes bibliographical references and index.
505 0 0 $t A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views / $r Manfred Broy -- $t Mastering system analysis and design through abstraction and refinement / $r Michael Butler -- $t Data abstraction in VCC / $r Ernie Cohen -- $t Families of software systems: a model checking approach / $r Stefania Gnesi -- $t A tutorial on runtime verification / $r Ylies Falcone, Klaus Havelund and Giles Reger -- $t Model checking meets probability: a gentle introduction / $r Joost-Pieter Katoen -- $t Risk-driven engineering of requirements for dependable systems / $r Axel van Lamsweerde -- $t Model-based verification, optimization, synthesis and performance evaluation of real-time systems / $r Uli Fahrenberg, Kim G. Larsen, Axel Legay and Claus Thrane -- $t Model-driven engineering and model transformation: for fun and profit / $r Richard F. Paige and Dimitrios S. Kolovos -- $t Symbolic execution and software testing / $r Corina S. Pasareanu -- $t Model checking basics / $r Doron Peled -- $t Subject index -- $t Author index.
520 $a "Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."-- $c Back cover.
650 0 $a Computer security $3 158051
650 0 $a Computer software $x Development $x Security measures $v Congresses. $3 571317
650 0 $a Computer networks $x Security measures $v Handbooks, manuals, etc. $3 350968
650 0 $a Cyber intelligence (Computer security) $v Congresses. $3 571318
650 0 $a Computer software $x Verification $v Congresses. $3 466241
650 0 $a Computer systems $x Verification $v Congresses. $3 571319
700 1 $a Broy, M., $d 1949-, $e editor. $3 571314
700 1 $a Peled, Doron A., $d 1962-, $e editor. $3 571315
700 1 $a Kalus, Georg, $e editor. $3 571316
710 2 $a NATO Emerging Security Challenges Division. $3 481574
830 0 $a NATO science for peace and security series. $n Sub-series D, $p Information and communication security ; $v v. 20. $3 369845
856 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614992066