https://libeldoc.bsuir.by/handle/123456789/1131
Title: | Обеспечение надежности программных средств при их модификациях |
Authors: | Успенская, Н. В. Бахтизин, В. В. |
Keywords: | материалы конференций;проектирование по контракту;предусловия;модифицированные программные средства |
Issue Date: | 2014 |
Publisher: | БГУИР |
Citation: | Успенская, Н. В. Обеспечение надежности программных средств при их модификациях. // Международная научно-техническая конференция, приуроченная к 50-летию МРТИ-БГУИР (Минск, 18-19 марта 2014 года) : материалы конф. В 2 ч. Ч. 1. - Минск, 2014. - С. 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.