عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9781609607487
9781609607470
9781609607494
dltt
Dependability and computer engineering
[Book]
concepts for software-intensive systems /
Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
c2012.
electronic texts (472 p.) :
digital files.
Includes bibliographical references.
1. Towards a holistic approach to fault management : wheels within a wheel / Moises Goldszmidt ... [et al.] -- 2. Exceptions for dependability / Emil Sekerinski -- 3. Network availability for distributed applications / Luigia Petre, Kaisa Sere and Marina Waldén -- 4. Formal stepwise development of scalable and reliable multiagent systems / Denis Grotsev, Alexei Iliasov and Alexander Romanovsky -- 5. Development of safety-critical control systems in Event-B using FMEA / Yuliya Prokhorova ... [et al.] -- 6. Towards designing FPGA-based systems by refinement in B / Sergey Ostroumov ... [et al.] -- 7. Online testing of nondeterministic systems with the reactive planning tester / Jüri Vain, Marko Kääramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Boström ... [et al.] -- 9. Modeling security goals and software vulnerabilities / David Byers and Nahid Shahmehri -- 10. A method for model-driven information flow security / Fredrik Seehusen and Ketil Stølen -- 11. Security of dependable systems / Naveed Ahmed and Christian Damsgaard Jensen -- 12. Application security for mobile devices / Gabriele Costa ... [et al.] -- 13. Supporting software evolution for open smart cards by security-by-contract / Nicola Dragoni, Olga Gadyatskya and Fabio Massacci -- 14. SecInvest : balancing security needs with financial and business constraints / Siv Hilde Houmb, Indrajit Ray and Indrakshi Ray --
15. Using model-driven risk analysis in component-based development / Gyrd Braendeland and Ketil Stølen -- 16. Uncertainty handling in weighted dependency trees : a systematic literature review / Aida Omerovic, Amela Karahasanovic and Ketil Stølen -- 17. Measuring the progress of a system development / Marta (Plaska) Olszewska and Marina Waldén -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Kaâniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis.
0
8
"This book offers a state-of-the-art overview of the dependability research, from engineering various software-intensive systems to validating existing IT-frameworks and solving generic and particular problems related to the dependable use of IT in our society"--Provided by publisher.
Mode of access: World Wide Web.
9781609607470
Computer engineering.
Computer systems-- Reliability.
Reliability (Engineering)
Petre, Luigia,1974-
Sere, K., (Kaisa),1954-
Troubitsyna, Elena,1970-
IGI Global.
20160727000000.0
مطالعه متن کتاب [Book]
Y
