Cover Image

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

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

Full description

Saved in:

Bibliographic Details
Published in:	Математичні машини і системи
Date:	2011
Main Authors:	Тарасюк, О.М., Горбенко, А.В., Харченко, В.С.
Format:	Article
Language:	Russian
Published:	Інститут проблем математичних машин і систем НАН України 2011
Subjects:	Дискусійні повідомлення
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/83406
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:	Насколько формальны формальные методы? / О.М. Тарасюк, А.В. Горбенко, В.С. Харченко // Мат. машини і системи. — 2011. — № 1. — С. 154-167. — Бібліогр.: 25 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

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

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

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

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

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

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

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

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

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

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

К вопросу о структуре микромира
by: Кухарчук, А.Г.
Published: (2015)

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

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

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

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

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

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

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

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

Музика мови і мова музики
by: Ткач, М.
Published: (2011)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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