CASE- оценка критических программных систем. В 3-х томах. Том 2. Надежность
| dc.contributor.author | Одарущенко, Олег Миколайович | |
| dc.contributor.author | Харченко, Вячеслав Сергійович | |
| dc.contributor.author | Маєвський, Дмитро Андрійович | |
| dc.contributor.author | Поночовний, Юрій Леонідович | |
| dc.contributor.author | Руденко, Олександр Антонович | |
| dc.contributor.author | Одарущенко, Олена Борисівна | |
| dc.contributor.author | Засуха, Сергій Олексійович | |
| dc.contributor.author | Жадан, Валентина Олегівна | |
| dc.contributor.author | Живило, Сергій Володимирович | |
| dc.date.accessioned | 2019-02-09T21:32:25Z | |
| dc.date.available | 2019-02-09T21:32:25Z | |
| dc.date.issued | 2012-05-12 | |
| dc.description | Тритомник (том 1 - Якість, том 2 - Надійність, том З - Безпека) описує теоретичні і прикладні аспекти курсів Safeware engineering foundations. High availability systems and technologies. Formal methods-based technologies for safeware, a також тренінг-модулів Safety-case- oriented techniques and tools, що розроблено за проектом TEMPUS-SAFEGUARD National Safeware Engineering Network of Centres of Innovative Academia-Industry Handshaking. Том 2 описує методи і технології оцінки надійності ПС, що базуються на теорії динаміки та її застосуваннях, імовірнісних моделях надійності і готовності з урахуванням вторинних дефектів, багатофрагментних марковських моделях обслуговуваних ІКС і аналізі еволюціонуючих систем з оперативною верифікацією. Для студентів, аспірантів та викладачів університетів відповідних спеціальностей, інженерів та дослідників у сфері якості та безпеки ПС та ІКС. | uk_UA |
| dc.description.abstract | Викладено матеріали досліджень та розробок у сфері оцінювання якості, надійності і функціональної безпеки програмних засобів і систем (ПС), які є частиною інформаційно- керуючих систем (ІКС) для критичних застосувань. Описані методи і технології оцінювання ПС, що базуються на CASE (Computer-Aided Software Engineeгing)-пiдxoдi - використанні комп’ютеризованих засобів забезпечення якості та її складових для ПС і ІКС. | uk_UA |
| dc.identifier.isbn | 978-966-662-255-9 | |
| dc.identifier.uri | https://dspace.pdau.edu.ua/handle/123456789/2024 | |
| dc.language.iso | ru | uk_UA |
| dc.publisher | Нац. аэрокосмический ун-т "Харьк. авиац. ин-т” | uk_UA |
| dc.subject | Computer-Aided Software Engineering | uk_UA |
| dc.subject | Надежность информационно-управляющих систем | uk_UA |
| dc.title | CASE- оценка критических программных систем. В 3-х томах. Том 2. Надежность | uk_UA |
| dc.type | Monograph | uk_UA |