https://libeldoc.bsuir.by/handle/123456789/1131| Title: | Обеспечение надежности программных средств при их модификациях |
| Authors: | Успенская, Н. В. Бахтизин, В. В. |
| Keywords: | материалы конференций;проектирование по контракту;предусловия;модифицированные программные средства |
| Issue Date: | 2014 |
| Publisher: | БГУИР |
| Citation: | Успенская, Н. В. Обеспечение надежности программных средств при их модификациях / Н. В. Успенская, В. В. Бахтизин // Международная научно-техническая конференция, приуроченная к 50-летию МРТИ-БГУИР : материалы конференции, Минск, 18–19 марта 2014 г. : в 2 ч. / Белорусский государственный университет информатики и радиоэлектроники ; редкол.: А. Н. Осипов [и др.]. – Минск, 2014. – Ч. 1. – C. 440–441. |
| Abstract: | Использование программных средств для моделирования сложных систем в последнее время пользуется все большей популярностью. В этой связи большую важность представляют методы обеспечения надежности программных средств для моделирования сложных систем. Одним из средств для вышеуказанной цели является проектирование по контракту. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/1131 |
| ISBN: | 978-985-543-037-8 |
| Appears in Collections: | Секция «Компьютерные системы и сети» |
| File | Description | Size | Format | |
|---|---|---|---|---|
| обеспечение надежности.pdf | 355.77 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.