Słowa kluczowe

Informacje szczegółowe

Kategoria:

Aktywność konferencyjna

Typ:

publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)

Tytuł wydania:

Computer Safety, Reliability, and Security strony 417 - 426

Język:

angielski

Rok wydania:

2012

Opis bibliograficzny:

Górski J., Jarzębowicz A., Miler J., Witkowicz M., Czyżnikiewicz J., Jar P.: Supporting Assurance by Evidence-based Argument Services// Computer Safety, Reliability, and Security/ ed. Ortmeier F., Daniel P. : Springer, Berlin, Heidelberg, 2012, s.417-426

DOI:

Cyfrowy identyfikator dokumentu elektronicznego (otwiera się w nowej karcie) 10.1007/978-3-642-33675-1_39

Bibliografia: test

1. Ministry of Defence, Defence Standard 00-56 Issue 4: Safety Management Requirements for Defence Systems (2007) otwiera się w nowej karcie
2. Emmet L., Guerra S.: Application of a Commercial Assurance Case Tool to Support Software Certification Services, In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management SoftCeMent'05, ACM, New York (2005)
3. Kelly T., Weaver R.: The Goal Structuring Notation -A Safety Argument Notation, Proceedings of the Dependable Systems and Networks Workshop on Assurance Cases (2004) otwiera się w nowej karcie
4. Rhodes T., Boland F., Fong E., Kass M.: Software Assurance Using Structured Assurance Case Models, NIST Interagency Report 7608, US Department of Commerce (2009) otwiera się w nowej karcie
5. Górski, J. : Trust Case -a case for trustworthiness of IT infrastructures. In Cyberspace Security and Defense: Research Issues, NATO Science Series II: Mathematics, Physics and Chemistry, 196, Springer-Verlag, 125-142 (2005) otwiera się w nowej karcie
6. Toulmin S.: The Uses of Argument, Cambridge University Press (1958)
7. Cyra Ł., Górski J.: Support for argument structures review and assessment, Reliability Engineering and System Safety 96, 26-37 (2011) otwiera się w nowej karcie
8. Górski J., Jarzębowicz A., Miler J.: Validation of services supporting healthcare standards conformance, Metrology and Measurements Systems, 19 (2) 269-282 (2012) otwiera się w nowej karcie
9. ASCE home page, http://www.adelard.com/asce/, visited 2012.06.27 otwiera się w nowej karcie
10. ISCaDE home page, http://www.iscade.co.uk/, visited 2012.06.27 otwiera się w nowej karcie
11. Steele P., Collins K., Knight J., ACCESS: A Toolset for Safety Case Creation and Management, Proc. of 29th International Systems Safety Conference, Las Vegas, NV. (2011) otwiera się w nowej karcie
12. Górski, J.: Trust-IT -a framework for trust cases , Workshop on Assurance Cases for Security -The Metrics Challenge. Proc. of DSN 2007, Edinburgh, UK, 204-209 (2007)
13. Gorski J., Jarzebowicz A., Leszczyna R., Miler J., Olszewski M.: Trust case: justifying trust in IT solution. Reliability Engineering and System Safety 89 (1), 33-47 (2005) otwiera się w nowej karcie
14. Shafer G.: Mathematical Theory of Evidence, Princetown University Press (1976)
15. Górski J., Witkowicz M.: Experience with instantiating an automated testing process in the context of incremental and evolutionary software development, E-informatica: Software Engineering Journal 5 (1) 51-63 (2011) otwiera się w nowej karcie
16. Górski J., Jarzębowicz A., Miler J., Gołaszewski G., Cyra Ł., Witkowicz M.: Deliverable D5.4: Trust Case for ANGEL platform demonstrator, ANGEL STREP Project deliverable, project no. IST-5-033506-STP (2008)

więcej (16) mniej

Weryfikacja:

Politechnika Gdańska