1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Особенноститестирования дляпроверки корректностиинструментальныхсредствфункционально-потокового программирования Романова Д.С.2019 год

Особенности тестирования для проверки корректности инструментальных средств функционально-потокового программирования : научное издание
статья из журнала

Дополнительные ссылки: РИНЦ
База данных: Каталог библиотеки СФУ
Библиографическое описание: Особенности тестирования для проверки корректности инструментальных средств функционально-потокового программирования : научное издание / Д. С. Романова. - Текст : непосредственный // Научный вестник Арктики. - 2019. - № 5. - С. 44-47. Перевод заглавия: Testing features for checking the correctness of instrumental tools of functional-dataflow programming
Аннотация: В статье обсуждается необходимость тестирования инструментальных средств функционально-потокового программирования. Предлагается особая организация самого процесса тестирования этих средств.
The article discusses the need to test the tools of functional stream programming. Also, it is proposed a special organization of the process of testing of these tools.
Год издания: 2019
Авторы: Романова Д.С.
Издательство: Федеральное государственное бюджетное образовательное учреждение высшего образования "Норильский государственный индустриальный институт, Норильск
Источник: Научный вестник Арктики
Выпуск: № 5
Номера страниц: 44-47
Держатель оригинала документа: ФГАОУВО «Сибирский федеральный университет»
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Особенности семантикистатическитипизированного языкафункционально-потокового параллельногопрограммирования Легалов А.И.Легалов И.А.Матковский И.В.2019 год

Особенности семантики статически типизированного языка функционально-потокового параллельного… : научное издание

  • Легалов А.И. и др.
  • 2019 год
ПАРАЛЛЕЛЬНОЕ ИПОТОКОВОЕПРОГРАММИРОВАНИЕ КАКНЕОБХОДИМАЯ ЧАСТЬУЧЕБНОГО КУРСА ДЛЯСТУДЕНТОВ Романова Д.С.2018 год

ПАРАЛЛЕЛЬНОЕ И ПОТОКОВОЕ ПРОГРАММИРОВАНИЕ КАК НЕОБХОДИМАЯ ЧАСТЬ УЧЕБНОГО КУРСА ДЛЯ СТУДЕНТОВ : научное издание

  • Романова Д.С.
  • 2018 год
АЛГОРИТМЫ СИНТЕЗАЛОГИЧЕСКИХ СХЕМ НАФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕПАРАЛЛЕЛЬНОГОПРОГРАММИРОВАНИЯ Романова Д.С.Легалов А.И.2023 год

АЛГОРИТМЫ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА ФУНКЦИОНАЛЬНО-ПОТОКОВОМ ЯЗЫКЕ ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ : научное издание

  • Романова Д.С. и др.
  • 2023 год
Оптимизация графовпотока управления впромежуточныхпредставлениях языкафункционально-потокового параллельного… Васильев Владимир СергеевичЛегалов Александр Иванович2020 год

Оптимизация графов потока управления в промежуточных представлениях языка функционально-потокового… : научное издание

  • Васильев Владимир Сергеевич и др.
  • 2020 год
ПРОЕКТИРОВАНИЕЛОГИЧЕСКИХ СХЕМ НАОСНОВЕФУНКЦИОНАЛЬНО-ПОТОКОВОЙ МОДЕЛИПРОГРАММИРОВАНИЯ Романова Д.С.Легалов А.И.2022 год

ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ НА ОСНОВЕ ФУНКЦИОНАЛЬНО-ПОТОКОВОЙ МОДЕЛИ ПРОГРАММИРОВАНИЯ : научное издание

  • Романова Д.С. и др.
  • 2022 год
МОДУЛЬНОЕТЕСТИРОВАНИЕФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Дудинков Данил МихайловичВасильев Владимир Сергеевич2024 год

МОДУЛЬНОЕ ТЕСТИРОВАНИЕ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : доклад, тезисы доклада

  • Дудинков Данил Михайлович и др.
  • 2024 год
БИБЛИОТЕКА ОБРАБОТКИСТРОК ДЛЯ ЯЗЫКАФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГОПРОГРАММИРОВАНИЯПИФАГОР Удалова Ю.В.2020 год

БИБЛИОТЕКА ОБРАБОТКИ СТРОК ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ ПИФАГОР : научное издание

  • Удалова Ю.В.
  • 2020 год
Формальнаяверификация программ,написанных нафункционально-потоковом языкепараллельногопрограммирования Кропачева Мария СергеевнаЛегалов Александр Иванович2012 год

Формальная верификация программ, написанных на функционально-потоковом языке параллельного… : статья из журнала

  • Кропачева Мария Сергеевна и др.
  • 2012 год

Показать ещё

БИБЛИОТЕКАМАТЕМАТИЧЕСКИХФУНКЦИЙ ДЛЯ ЯЗЫКАФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГОПРОГРАММИРОВАНИЯПИФАГОР Удалова Юлия Васильевна2019 год

БИБЛИОТЕКА МАТЕМАТИЧЕСКИХ ФУНКЦИЙ ДЛЯ ЯЗЫКА ФУНКЦИОНАЛЬНО-ПОТОКОВОГО ПАРАЛЛЕЛЬНОГО ПРОГРАММИРОВАНИЯ… : научное издание

  • Удалова Юлия Васильевна
  • 2019 год
ИНСТРУМЕНТАЛЬНАЯПОДДЕРЖКА ФОРМАЛЬНОЙВЕРИФИКАЦИИ ПРОГРАММ,НАПИСАННЫХ НА ЯЗЫКЕФУНКЦИОНАЛЬНО-ПОТОКОВОГО… Ушакова Мария СергеевнаЛегалов Александр Иванович2015 год

ИНСТРУМЕНТАЛЬНАЯ ПОДДЕРЖКА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ПРОГРАММ, НАПИСАННЫХ НА ЯЗЫКЕ ФУНКЦИОНАЛЬНО… : статья из журнала

  • Ушакова Мария Сергеевна и др.
  • 2015 год
Семантика типовданныхфункционально-потокового языкапараллельногопрограммированияПифагор Ушакова Мария Сергеевна2016 год

Семантика типов данных функционально-потокового языка параллельного программирования Пифагор : статья из журнала

  • Ушакова Мария Сергеевна
  • 2016 год
МЕТОДЫ ИИНСТРУМЕНТАЛЬНЫЕСРЕДСТВА ФОРМАЛЬНОЙВЕРИФИКАЦИИФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Ушакова Мария Сергеевна2022 год

МЕТОДЫ И ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ… : специальность ""

  • Ушакова Мария Сергеевна
  • 2022 год
Динамическоекомпьютерноетестирование каксредство обученияпрограммированиюшкольников Кузьмин Дмитрий НиколаевичКосмынина Ирина Николаевн2018 год

Динамическое компьютерное тестирование как средство обучения программированию школьников : научное издание

  • Кузьмин Дмитрий Николаевич и др.
  • 2018 год
ОСОБЕННОСТИ ХРАНЕНИЯФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХПРОГРАММ Легалов Александр ИвановичМатковский Иван ВасильевичАнкудинов АлександрВладимирович2013 год

ОСОБЕННОСТИ ХРАНЕНИЯ ФУНКЦИОНАЛЬНО-ПОТОКОВЫХ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ : статья из журнала

  • Легалов Александр Иванович и др.
  • 2013 год
Инструментальнаяподдержка создания итрансформациифункционально-потоковых параллельныхпрограмм Легалов А.И.Васильев В.С.Матковский И.В.2017 год

Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ : научное издание

  • Легалов А.И. и др.
  • 2017 год
Особенностипреобразованияхвостовой рекурсии вфункционально-потоковом языкепараллельногопрограммирования Васильев В.С.Легалов А.И.Постников А.И.2013 год

Особенности преобразования хвостовой рекурсии в функционально-потоковом языке параллельного… : статья из журнала

  • Васильев В.С. и др.
  • 2013 год