Разработка инструментальных средств для проверки формальных моделей
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Разработка инструментальных средств для проверки формальных моделей
|
|
| Creator |
Колчин, А.В.
|
|
| Subject |
Інструментальні засоби і середовища програмування
|
|
| Description |
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения. Software for automated checking of dynamic properties of formal models together with test scenarios generation developed. Guided search and optimizing solutions on behavior space traversal described. |
|
| Date |
2008-07-31T15:07:45Z
2008-07-31T15:07:45Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Разработка инструментальных средств для проверки формальных моделей / А.В. Колчин // Пробл. програмув. — 2008. — N 2-3. — С. 622-626. — Бібліогр.: 25 назв. — рус.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/1495 519.686.2 |
|
| Language |
ru
|
|
| Relation |
№2-3
С. 622-626 |
|
| Publisher |
Інститут програмних систем НАН України
|
|