Buchumschlag

Насколько формальны формальные методы?

В статье анализируются проблемы, связанные с развитием и внедрением формальных методов при разработке и верификации программного обеспечения и компьютерных систем. Дается классификация инвариантов. Уточняются понятие и процедура синтеза системы инвариантов и ее оптимизации по некоторым критериям. Пр...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Математичні машини і системи
Datum:	2011
Hauptverfasser:	Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем математичних машин і систем НАН України 2011
Schlagworte:	Дискусійні повідомлення
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/83406
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Насколько формальны формальные методы? / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2011. — № 1. — С. 154-167. — Бібліогр.: 25 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Универсальная модель как радикальная реформа современной науки
von: Сосницкий, А.В.
Veröffentlicht: (2014)

Визначення реальної вартості "зеленої" електроенергії
von: Кременовська, І.В., et al.
Veröffentlicht: (2015)

Информация как сознательный феномен
von: Малышев, О.В.
Veröffentlicht: (2012)

Уничтожат ли человечество умные роботы?
von: Ященко, В.А
Veröffentlicht: (2017)

Динамическая физика силовых полей и микрообъектов
von: Бех, А.Д., et al.
Veröffentlicht: (2016)

К концепции инновационной составляющей национальной безопасности (предварительные замечания, исследование). Ч. 2
von: Морозов, А.А., et al.
Veröffentlicht: (2011)

К концепции инновационной составляющей национальной безопасности (предварительные замечания, исследование). Ч. 1
von: Морозов, А.А., et al.
Veröffentlicht: (2011)

Математична та Просторова модель Періодичного закону хімічних елементів
von: Бекетов, М.М.
Veröffentlicht: (2019)

Энергетическое бесконечное множество как необходимая и достаточная основа Вселенной (Гипотеза)
von: Голубчик, В.Я.
Veröffentlicht: (2013)

Моделирование задачи взаимодействия нейронов с учетом запаздывания их взаимодействия
von: Писаренко, В.Г.
Veröffentlicht: (2018)

К вопросу о структуре микромира
von: Кухарчук, А.Г.
Veröffentlicht: (2015)

Этические и правовые аспекты контроля содержимого Интернета
von: Гринченко, Т.А.
Veröffentlicht: (2010)

Биогенетический закон Геккеля и его роль в выявлении механизма ретрансляции естественных законов в процесс создания и эволюционирования вычислительной техники. Ч. 3
von: Брюхович, Е.И.
Veröffentlicht: (2011)

Биогенетический закон Геккеля и его роль в выявлении механизма ретрансляции естественных законов в процесс создания и эволюционирования вычислительной техники. Ч. 2
von: Брюхович, Е.И.
Veröffentlicht: (2010)

Биогенетический закон Геккеля и его роль в выявлении механизма ретрансляции естественных законов в процесс создания и эволюционирования вычислительной техники. Ч. 1
von: Брюхович, Е.И.
Veröffentlicht: (2010)

Формальные методы анализа дискретных систем с использованием языка спецификаций
von: Крывый, С.Л., et al.
Veröffentlicht: (2009)

Ще раз про значення вивчення нерухомих і рухомих пам’яток українського козацтва
von: Титова, О.М.
Veröffentlicht: (2010)

Коротка характеристика пам’яток археології України
von: Титова, О.М.
Veröffentlicht: (2010)

Турция и Украина: насколько мы близки?
von: Шульженко, Л.С.
Veröffentlicht: (2001)

Музика мови і мова музики
von: Ткач, М.
Veröffentlicht: (2011)

Мена – місто давнє, сіверянське (щодо висвітлення історії давнього населеного пункту в публікаціях О. Салтана)
von: Магула, А.
Veröffentlicht: (2016)

Невелика розповідь про велику справу
von: Севастьянов, О.В.
Veröffentlicht: (2012)

У Криму ретельно вивчають досвід і традиції попередників
von: Горбик, В.О.
Veröffentlicht: (2009)

Пам’яткознавство на Донбасі
von: Ластовський, В.В.
Veröffentlicht: (2011)

Нова знахідка графіті зі згадкою Всеволода Ярославича у Софії Київській
von: Корнієнко, В.В.
Veröffentlicht: (2011)

Історія ніколи не закінчується: пам’ятки кельтської спадщини в історії України
von: Ластовський, В.В.
Veröffentlicht: (2012)

Про міжнародне право охорони культурних цінностей в суб’єктивній інтерпретації і дещо про «радянську заідеологізованість»
von: Акуленко, В.І., et al.
Veröffentlicht: (2012)

Новый справочник по археологическому музейному делу
von: Котович, Т.В.
Veröffentlicht: (2012)

Ще раз про реконструкцію образу Десятинної церкви в Києві
von: Гордієнко, Д.С.
Veröffentlicht: (2009)

Історія формування матеріальної історико-культурної пам’ятки як цілісного соціокультурного феномену
von: Руденко, С.Б.
Veröffentlicht: (2009)

Про класифікацію матеріальних історико-культурних пам’яток
von: Руденко, С.Б.
Veröffentlicht: (2009)

Пам’яткознавчі й історико-регіоналістичні студії як мотивація до науково-організаційної роботи (досвід проведення І Спаських читань у Ніжині)
von: Зозуля, С.Ю.
Veröffentlicht: (2010)

До питання про розміщення та походження давньоруського міста Родня
von: Рець, С.К.
Veröffentlicht: (2009)

Ориентальные ориентации крымской историографии (к новой книге А.А. Непомнящего)
von: Пучков, А.А.
Veröffentlicht: (2009)

Колективний портрет краєзнавців на тлі суворої епохи
von: Гаврилюк, Н.О.
Veröffentlicht: (2011)

Новий словник із музеєзнавства
von: Кепін, Д.В.
Veröffentlicht: (2009)

Рецензія на книгу О.М. Медвєдя «Музеефикация памятников археологии в России (прошлое и настоящее)»
von: Кепін, Д.В.
Veröffentlicht: (2009)

Музейний аспект вивчення пам’яток первісної археології
von: Гладких, М.І.
Veröffentlicht: (2011)

Видавнича діяльність Центру пам’яткознавства НАН України і УТОПІК
von: Бичковська, Г.М.
Veröffentlicht: (2011)

Мегалітичний феномен світу: чи існує в Україні?
von: Сиряміна, Н.М.
Veröffentlicht: (2010)