Software for Dependable Systems: Sufficient Evidence?

✍ Scribed by Lynette I. Millett

Year: 2007
Tongue: English
Leaves: 149
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dependable software systems engineering

📁 Dependable software systems engineering

✍ Alexander Pretschner, Doron A Peled, Thomas Hutzelmann 📂 Library 📅 2017 🏛 IOS Press 🌐 English

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability ar

Dependable software systems engineering

📁 Dependable software systems engineering

✍ Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor) 📂 Library 📅 2016 🏛 Ios Pr Inc; IOS Press 🌐 English

Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dy

Dependability and Computer Engineering:

📁 Dependability and Computer Engineering: Concepts for Software-Intensive Systems

✍ Luigia Petre, Luigia Petre, Kaisa Sere, Elena Troubitsyna 📂 Library 📅 2011 🏛 IGI Global 🌐 English

Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems pose

Innovations in software engineering for

📁 Innovations in software engineering for defense systems

✍ Siddhartha R Dalal; J H Poore; Michael L Cohen; Oversight Committee for the Wor 📂 Library 📅 2003 🏛 National Academic Press 🌐 English

Model-Driven Dependability Assessment of

📁 Model-Driven Dependability Assessment of Software Systems

✍ Simona Bernardi, José Merseguer, Dorina Corina Petriu (auth.) 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.In this book, the authors present cutt

Highly Dependable Software

📁 Highly Dependable Software

✍ Marvin Zelkowitz Ph.D. MS BS. 📂 Library 📅 2003 🏛 Academic Press 🌐 English

Since 1960, Advances in Computers has chronicled the constantly shifting theories and methods of Information Technology which greatly shapes our lives today. Highly Dependable Software is the 58th volume in this Series. The seven chapters describe various approaches towards dependability: