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
Gespeichert in:
| Weitere beteiligte Personen: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Hershey PA
Engineering Science Reference
[2012]
|
| Schriftenreihe: | Premier reference source
|
| Schlagwörter: | |
| Links: | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0 https://doi.org/10.4018/978-1-60960-747-0 https://doi.org/10.4018/978-1-60960-747-0 https://doi.org/10.4018/978-1-60960-747-0 https://doi.org/10.4018/978-1-60960-747-0 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0 |
| Zusammenfassung: | "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 |
| Beschreibung: | Includes bibliographical references |
| Umfang: | 1 Online-Ressource (xix, 515 Seiten) |
| ISBN: | 9781609607487 9781609607494 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044314680 | ||
| 003 | DE-604 | ||
| 005 | 20180119 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170517s2012 xx o|||| 00||| eng d | ||
| 020 | |a 9781609607487 |9 978-1-60960-748-7 | ||
| 020 | |a 9781609607494 |c print & perpetual access |9 978-1-60960-749-4 | ||
| 024 | 7 | |a 10.4018/978-1-60960-747-0 |2 doi | |
| 035 | |a (OCoLC)891443545 | ||
| 035 | |a (DE-599)BVBBV044314680 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-1049 |a DE-898 |a DE-1050 |a DE-83 | ||
| 245 | 1 | 0 | |a Dependability and computer engineering |b concepts for software-intensive systems |c Luigia Petre (Åbo Akademi University, Finland), Kaisa Sere (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland) |
| 264 | 1 | |a Hershey PA |b Engineering Science Reference |c [2012] | |
| 264 | 4 | |c © 2012 | |
| 300 | |a 1 Online-Ressource (xix, 515 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Premier reference source | |
| 500 | |a Includes bibliographical references | ||
| 505 | 8 | |a 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 en -- 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 uri Vain, Marko K a aramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Bostr om ... [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 -- | |
| 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 en -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Ka aniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis | |
| 520 | |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 | ||
| 650 | 4 | |a Reliability (Engineering) | |
| 650 | 4 | |a Computer systems / Reliability | |
| 650 | 4 | |a Computer engineering | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Petre, Luigia |4 edt | |
| 700 | 1 | |a Sere, Kaisa |4 edt | |
| 700 | 1 | |a Troubitsyna, Elena |d 1970- |0 (DE-588)108979164X |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-60960-747-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1-60960-747-3 |
| 856 | 4 | 0 | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-98-IGB | ||
| 912 | |a ZDB-1-IGE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029718250 | |
| 966 | e | |u http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0 |l DE-706 |p ZDB-98-IGB |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-747-0 |l DE-1049 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-747-0 |l DE-898 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-747-0 |l DE-1050 |p ZDB-1-IGE |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.4018/978-1-60960-747-0 |l DE-83 |p ZDB-98-IGB |q TUB_EBS_IGB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818983220028375040 |
|---|---|
| any_adam_object | |
| author2 | Petre, Luigia Sere, Kaisa Troubitsyna, Elena 1970- |
| author2_role | edt edt edt |
| author2_variant | l p lp k s ks e t et |
| author_GND | (DE-588)108979164X |
| author_facet | Petre, Luigia Sere, Kaisa Troubitsyna, Elena 1970- |
| building | Verbundindex |
| bvnumber | BV044314680 |
| collection | ZDB-98-IGB ZDB-1-IGE |
| contents | 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 en -- 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 uri Vain, Marko K a aramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Bostr om ... [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 en -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Ka aniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis |
| ctrlnum | (OCoLC)891443545 (DE-599)BVBBV044314680 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04787nam a2200541zc 4500</leader><controlfield tag="001">BV044314680</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180119 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170517s2012 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781609607487</subfield><subfield code="9">978-1-60960-748-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781609607494</subfield><subfield code="c">print & perpetual access</subfield><subfield code="9">978-1-60960-749-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4018/978-1-60960-747-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)891443545</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044314680</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Dependability and computer engineering</subfield><subfield code="b">concepts for software-intensive systems</subfield><subfield code="c">Luigia Petre (Åbo Akademi University, Finland), Kaisa Sere (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hershey PA</subfield><subfield code="b">Engineering Science Reference</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xix, 515 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Premier reference source</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">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 en -- 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 uri Vain, Marko K a aramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Bostr om ... [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 --</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="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 en -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Ka aniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reliability (Engineering)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer systems / Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Petre, Luigia</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sere, Kaisa</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Troubitsyna, Elena</subfield><subfield code="d">1970-</subfield><subfield code="0">(DE-588)108979164X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-60960-747-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1-60960-747-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-98-IGB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-IGE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029718250</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-747-0</subfield><subfield code="l">DE-1049</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-747-0</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-747-0</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-1-IGE</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.4018/978-1-60960-747-0</subfield><subfield code="l">DE-83</subfield><subfield code="p">ZDB-98-IGB</subfield><subfield code="q">TUB_EBS_IGB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV044314680 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:59:38Z |
| institution | BVB |
| isbn | 9781609607487 9781609607494 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029718250 |
| oclc_num | 891443545 |
| open_access_boolean | |
| owner | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| owner_facet | DE-706 DE-1049 DE-898 DE-BY-UBR DE-1050 DE-83 |
| physical | 1 Online-Ressource (xix, 515 Seiten) |
| psigel | ZDB-98-IGB ZDB-1-IGE ZDB-98-IGB TUB_EBS_IGB |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Engineering Science Reference |
| record_format | marc |
| series2 | Premier reference source |
| spelling | Dependability and computer engineering concepts for software-intensive systems Luigia Petre (Åbo Akademi University, Finland), Kaisa Sere (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland) Hershey PA Engineering Science Reference [2012] © 2012 1 Online-Ressource (xix, 515 Seiten) txt rdacontent c rdamedia cr rdacarrier Premier reference source 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 en -- 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 uri Vain, Marko K a aramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Bostr om ... [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 en -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Ka aniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis "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 Reliability (Engineering) Computer systems / Reliability Computer engineering (DE-588)4143413-4 Aufsatzsammlung gnd-content Petre, Luigia edt Sere, Kaisa edt Troubitsyna, Elena 1970- (DE-588)108979164X edt Erscheint auch als Druck-Ausgabe 978-1-60960-747-0 Erscheint auch als Druck-Ausgabe 1-60960-747-3 http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Dependability and computer engineering concepts for software-intensive systems 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 en -- 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 uri Vain, Marko K a aramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Bostr om ... [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 en -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Ka aniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis Reliability (Engineering) Computer systems / Reliability Computer engineering |
| subject_GND | (DE-588)4143413-4 |
| title | Dependability and computer engineering concepts for software-intensive systems |
| title_auth | Dependability and computer engineering concepts for software-intensive systems |
| title_exact_search | Dependability and computer engineering concepts for software-intensive systems |
| title_full | Dependability and computer engineering concepts for software-intensive systems Luigia Petre (Åbo Akademi University, Finland), Kaisa Sere (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland) |
| title_fullStr | Dependability and computer engineering concepts for software-intensive systems Luigia Petre (Åbo Akademi University, Finland), Kaisa Sere (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland) |
| title_full_unstemmed | Dependability and computer engineering concepts for software-intensive systems Luigia Petre (Åbo Akademi University, Finland), Kaisa Sere (Åbo Akademi University, Finland), Elena Troubitsyna (Åbo Akademi University, Finland) |
| title_short | Dependability and computer engineering |
| title_sort | dependability and computer engineering concepts for software intensive systems |
| title_sub | concepts for software-intensive systems |
| topic | Reliability (Engineering) Computer systems / Reliability Computer engineering |
| topic_facet | Reliability (Engineering) Computer systems / Reliability Computer engineering Aufsatzsammlung |
| url | http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-60960-747-0 |
| work_keys_str_mv | AT petreluigia dependabilityandcomputerengineeringconceptsforsoftwareintensivesystems AT serekaisa dependabilityandcomputerengineeringconceptsforsoftwareintensivesystems AT troubitsynaelena dependabilityandcomputerengineeringconceptsforsoftwareintensivesystems |