Насколько формальны формальные методы?
В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Пр...
Збережено в:
| Дата: | 2011 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2011
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/83406 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Насколько формальны формальные методы? / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2011. — № 1. — С. 154-167. — Бібліогр.: 25 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-83406 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-834062015-06-20T03:01:29Z Насколько формальны формальные методы? Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. Дискусійні повідомлення В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Предлагаются модели жизненного цикла программного обеспечения при использовании формальных методов Event-B и Model Checking. Анализируются их особенности и ограничения. Формулируются направления дальнейших исследований в этой области. У статті аналізуються проблеми, пов'язані з розвитком та застосуванням формальних методів під час створення й верифікації програмного забезпечення та комп'ютерних систем. Дається класифікація інваріантів. Уточнюються поняття й процедура синтезу системи інваріантів та її оптимізація за певними критеріями. Розглянуто моделі життєвого циклу за умов використання формальних методів Event-B та Model Checking, їх особливості та обмеження. Сформульовано напрямки подальших досліджень у цій області. The paper analyses existing problems associated with the development and practical application of formal methods in the design and verification of software and computer systems. The classification of invariants is given in the paper. We specify a concept of the system of invariants and discuss a procedure of its synthesis and optimization. The changes in the software life cycle caused by applying formal methods Event-B and Model Checking are discussed. The directions of further research in this area are also given. 2011 Article Насколько формальны формальные методы? / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2011. — № 1. — С. 154-167. — Бібліогр.: 25 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/83406 004.052 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Дискусійні повідомлення Дискусійні повідомлення |
| spellingShingle |
Дискусійні повідомлення Дискусійні повідомлення Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. Насколько формальны формальные методы? Математичні машини і системи |
| description |
В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Предлагаются модели жизненного цикла программного обеспечения при использовании формальных методов Event-B и Model Checking. Анализируются их особенности и ограничения. Формулируются направления дальнейших исследований в этой области. |
| format |
Article |
| author |
Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. |
| author_facet |
Тарасюк, О.М. Горбенко, А.В. Харченко, В.С. |
| author_sort |
Тарасюк, О.М. |
| title |
Насколько формальны формальные методы? |
| title_short |
Насколько формальны формальные методы? |
| title_full |
Насколько формальны формальные методы? |
| title_fullStr |
Насколько формальны формальные методы? |
| title_full_unstemmed |
Насколько формальны формальные методы? |
| title_sort |
насколько формальны формальные методы? |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2011 |
| topic_facet |
Дискусійні повідомлення |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83406 |
| citation_txt |
Насколько формальны формальные методы? / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2011. — № 1. — С. 154-167. — Бібліогр.: 25 назв. — рос. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT tarasûkom naskolʹkoformalʹnyformalʹnyemetody AT gorbenkoav naskolʹkoformalʹnyformalʹnyemetody AT harčenkovs naskolʹkoformalʹnyformalʹnyemetody |
| first_indexed |
2023-10-18T19:26:47Z |
| last_indexed |
2023-10-18T19:26:47Z |
| _version_ |
1796146974305550336 |