1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Информационные технологии»
  5. Выпуск 2016 г. Том 22. № 9
Способы представленияспецификацийвычислительныхсистем: проблемы ивозможности машиннойобработки Печенко И. С.2016 год

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

Заказать копию статьи
База данных: Каталог библиотеки СФУ
Библиографическое описание: Печенко, И. С. Способы представления спецификаций вычислительных систем: проблемы и возможности машинной обработки / И. С. Печенко. - (Вычислительные системы и сети). - Текст : непосредственный // Информационные технологии. - 2016. - Т. 22, № 9. - С. 676-683. - Библиогр.: с. 683 (52 назв.). - ISSN 1684-6400.
Аннотация: Спецификации вычислительных систем могут состоять из множества документов с использованием различных форм описания, таких как естественные языки, диаграммы, схемы, таблицы и формальные языки. Процесс создания спецификаций может быть охарактеризован как процесс перехода от описанных на естественном языке требований к системе, не структурированных и содержащих обычно множество неточностей, к более формализованным спецификациям, не содержащим неточностей, двусмысленностей и противоречий. Описаны различные формы спецификаций, проблемы, связанные с каждой из них, а также возможности анализа и валидации спецификаций.
Год издания: 2016
Авторы: Печенко И. С.
Источник: Информационные технологии
Выпуск: Т. 22, № 9
Номера страниц: 676-683
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

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

ACES Tables: средадля создания ииспользованиятабличныхспецификаций системна кристалле Печенко И. С.Венгер О. В.Плоткин Д. А.2017 год

ACES Tables: среда для создания и использования табличных спецификаций систем на кристалле

  • Печенко И. С. и др.
  • 2017 год
Способы учетаструктуры научныхдокументов в задачахобработки и анализатекстовой информации Мохов А. С.Толчеев В. О.2016 год

Способы учета структуры научных документов в задачах обработки и анализа текстовой информации

  • Мохов А. С. и др.
  • 2016 год
Использованиесофт-архитектур прирешении задачцифровой обработкисигналов нареконфигурируемыхвычислительныхсистемах Коваленко В. Б.Дордопуло А. И.Гудко В. А.2015 год

Использование софт-архитектур при решении задач цифровой обработки сигналов на реконфигурируемых…

  • Коваленко В. Б. и др.
  • 2015 год
Сетевая технологияпроектированияасинхроннойвычислительнойсистемы на общемрешающем поле ссамоуправляемой… Барский А. Б.Мельник Д. И.2018 год

Сетевая технология проектирования асинхронной вычислительной системы на общем решающем поле с…

  • Барский А. Б. и др.
  • 2018 год
Информационно-технологическое обеспечениезадач обработки ипредставлениярадиометрическихспутниковых данных Ружичка З. З.Музалевский К. В.Якубайлик О. Э.2017 год

Информационно-технологическое обеспечение задач обработки и представления радиометрических…

  • Ружичка З. З. и др.
  • 2017 год
Способавтоматизированногосоздания диаграммпоследовательностиопераций длясценариев поведениясистемы, описанных в… Печенко И. С.Венгер О. В.2015 год

Способ автоматизированного создания диаграмм последовательности операций для сценариев поведения…

  • Печенко И. С. и др.
  • 2015 год
Модели данных дляархитектурныхспецификаций системна кристалле Печенко И. С.Петров А. Б.2017 год

Модели данных для архитектурных спецификаций систем на кристалле

  • Печенко И. С. и др.
  • 2017 год
Методика разработкипараллельныхвычислительных системобработки информациив режиме реальноговремени Опадчий Ю. Ф.Чумакова Е. В.2013 год

Методика разработки параллельных вычислительных систем обработки информации в режиме реального…

  • Опадчий Ю. Ф. и др.
  • 2013 год

Показать ещё

Представление иобработка данных опреступлениях спомощью компьютернойтехники Архангельская Е. В.2016 год

Представление и обработка данных о преступлениях с помощью компьютерной техники

  • Архангельская Е. В.
  • 2016 год
Разработка иисследованиеалгоритмов обработкии распознаванияречевых сигналов иизображений длясистем… Хрящев В. В.Приоров А. Л.Стефаниди А. Ф.2017 год

Разработка и исследование алгоритмов обработки и распознавания речевых сигналов и изображений для…

  • Хрящев В. В. и др.
  • 2017 год
Созданиеинтегральногоалгоритма иинструментовавтоматическогореферирования текстовна русском языке Полицына Е. В.Полицын С. А.Касаткина А. О.2020 год

Создание интегрального алгоритма и инструментов автоматического реферирования текстов на русском…

  • Полицына Е. В. и др.
  • 2020 год
Лучший способ сбора,хранения и обработкилабораторных данных оцементных растворах 2016 год

Лучший способ сбора, хранения и обработки лабораторных данных о цементных растворах

  • 2016 год
Метод и алгоритмыэффективнойраспределеннойобработки данных иприкладных процессовв вычислительномкомплексе… Конькин Андрей Владимирович2017 год

Метод и алгоритмы эффективной распределенной обработки данных и прикладных процессов в…

  • Конькин Андрей Владимирович
  • 2017 год
Исследовательскийпортал для анализа иоценки стиля научныхпубликаций Шучалова Ю. С.Ланин В. В.2018 год

Исследовательский портал для анализа и оценки стиля научных публикаций

  • Шучалова Ю. С. и др.
  • 2018 год
Принципы измеренийинформационных итехническиххарактеристикакустооптическихсистеммногоспектральнойобработки… Зайченко Кирилл ВадимовичГуревич Борис Симхович2015 год

Принципы измерений информационных и технических характеристик акустооптических систем…

  • Зайченко Кирилл Вадимович и др.
  • 2015 год
Выбор оптимальногосочетаниявычислительного ядраи комплексаалгоритмов приразработке системобнаружения и… Двойрис Л. И.Галев К. Д.2019 год

Выбор оптимального сочетания вычислительного ядра и комплекса алгоритмов при разработке систем…

  • Двойрис Л. И. и др.
  • 2019 год