Dependability and computer engineering : concepts for software-intensive systems
"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.
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Hershey, Pa. :
IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),
2011.
|
| Subjects: | |
| ISBN: | 9781609607487 1609607481 9781621989295 1621989291 9781609607470 9781609607494 |
| Physical Description: | 1 online resource (electronic texts (472 pages)) |
Cover
Table of contents
| LEADER | 04665cam a2200481Ma 4500 | ||
|---|---|---|---|
| 001 | kn-ocn745062690 | ||
| 003 | OCoLC | ||
| 005 | 20240717213016.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 110719s2011 pau fob 000 0 eng d | ||
| 040 | |a QE2 |b eng |e pn |c QE2 |d YDXCP |d OCLCQ |d N$T |d IGIGL |d OCLCQ |d KNOVL |d OCLCF |d KNOVL |d N$T |d OCLCQ |d EBLCP |d OCLCQ |d OL$ |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 9781609607487 |q (electronic bk.) | ||
| 020 | |a 1609607481 |q (electronic bk.) | ||
| 020 | |a 9781621989295 |q (electronic bk.) | ||
| 020 | |a 1621989291 |q (electronic bk.) | ||
| 020 | |z 9781609607470 |q (hardcover) | ||
| 020 | |z 9781609607494 |q (print & perpetual access) | ||
| 024 | 7 | |a 10.4018/978-1-60960-747-0 |2 doi | |
| 035 | |a (OCoLC)745062690 |z (OCoLC)923155023 | ||
| 245 | 0 | 0 | |a Dependability and computer engineering : |b concepts for software-intensive systems / |c Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors. |
| 260 | |a Hershey, Pa. : |b IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), |c 2011. | ||
| 300 | |a 1 online resource (electronic texts (472 pages)) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 1. Towards a holistic approach to fault management : wheels within a wheel / Moises Goldszmidt [and others] -- 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 [and others] -- 6. Towards designing FPGA-based systems by refinement in B / Sergey Ostroumov [and others] -- 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 [and others] -- 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 [and others] -- 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. | |
| 505 | 8 | |a 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. | |
| 506 | |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty | ||
| 520 | 3 | |a "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. | |
| 590 | |a Knovel |b Knovel (All titles) | ||
| 650 | 0 | |a Reliability (Engineering) | |
| 650 | 0 | |a Computer systems |x Reliability. | |
| 650 | 0 | |a Computer engineering. | |
| 655 | 7 | |a elektronické knihy |7 fd186907 |2 czenas | |
| 655 | 9 | |a electronic books |2 eczenas | |
| 700 | 1 | |a Petre, Luigia, |d 1974- |1 https://id.oclc.org/worldcat/entity/E39PCjtBk4pWkt4FF9RqYvbY4C | |
| 700 | 1 | |a Sere, K. |q (Kaisa), |d 1954- |1 https://id.oclc.org/worldcat/entity/E39PBJkXB8XB6DbP8km69PHV4q | |
| 700 | 1 | |a Troubitsyna, Elena, |d 1970- | |
| 776 | 0 | 8 | |i Print version: |w (DLC) 2011011401 |
| 776 | 0 | 8 | |i Print version: |z 1609607473 |z 9781609607470 |w (DLC) 2011011401 |
| 856 | 4 | 0 | |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpDCECSIS1/dependability-and-computer?kpromoter=marc |y Full text |
Save to List
Cite this
Export Record
Email this