Зображення обкладинки

Формализация описания компьютерных приложений на основе графических нотаций

Обоснована целесообразность создания графических моделей компьютерных приложений на всех этапах их жизненного цикла. Для их описания выбраны графические нотации стандарта IDEF. Определены правила построения графических моделей систем данного класса. В качестве примера приведена графическая модель си...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Электронное моделирование
Дата:	2011
Автори:	Бальва, А.А., Самойлов, В.Д.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2011
Теми:	Информационные технологии
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/61782
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формализация описания компьютерных приложений на основе графических нотаций / А.А. Бальва, В.Д. Самойлов // Электронное моделирование. — 2011 — Т. 33, № 5. — С. 43-56. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Построение модели навигации для компьютерных тренажеров и приложений сценарного типа
за авторством: Абрамович, Р.П., та інші
Опубліковано: (2014)

Інтегрована технологія проектування комп’ютерних засобів сценарного типу підготовки фахівців для енергопідприємств
за авторством: Абрамович, Р.П., та інші
Опубліковано: (2018)

Проблемы межбиблиотечного абонемента при использовании компьютерных технологий
за авторством: Красильникова, И.Ю.
Опубліковано: (2000)

От компьютерных технологий к нанотехнологиям
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

Методы автоматической обработки неполадок в компьютерных сетях
за авторством: Самосенок, А.С.
Опубліковано: (2011)

Семантическое модельно-управляемое моделирование архитектуры системы сервисов на основе доменных онтологий
за авторством: Петренко, А.А., та інші
Опубліковано: (2016)

Некоторые аспекты разработки социальных приложений, адаптированных к социальным сетям в задачах Интернет-зависимости
за авторством: Дубовенко, М.Н., та інші
Опубліковано: (2012)

Подход к моделированию диалогового процесса на основе агентных технологий
за авторством: Гази, А.
Опубліковано: (2011)

Разработка високопараллельних приложений для графических ускорителей с использованием переписывающих правил
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2009)

Реализация эффективной криптостойкой передачи пакетов информации в беспроводных компьютерных сетях
за авторством: Шевчук, Б.М., та інші
Опубліковано: (2011)

Формализация описания структур разрядных цепей высоковольтных импульсных испытательных устройств
за авторством: Петков, А.А.
Опубліковано: (2007)

Реализация Treat алгоритма на основе сопоставления с образцом в программной оболочке CLIPS
за авторством: Мажара, О.А.
Опубліковано: (2015)

О построении знание-ориентированных компьютерных систем для научных исследований
за авторством: Палагин, А.В., та інші
Опубліковано: (2015)

Декодирование кодов Рида— Соломона на основе графовой и автоматной моделей
за авторством: Семеренко В.П.
Опубліковано: (2011)

Метод синтеза структур для преобразований циклического кода на основе программируемой пользователем вентильной матрицы
за авторством: Палагин, А.В., та інші
Опубліковано: (2014)

Технология интеграции математических моделей в системы поддержки принятия решений в сфере экологической безопасности на основе распределенных объектов-оберток
за авторством: Евдин, Е.А.
Опубліковано: (2014)

О построении мобильных компьютерных систем для информационной поддержки решения задач пользователя
за авторством: Ересько, В.В., та інші
Опубліковано: (2016)

Концепция идентификации контролируемых ситуаций на основе самоорганизации разнородных признаков
за авторством: Писарчук, А.А.
Опубліковано: (2014)

Иccледование компьютерных графических методов построения 3D сечений Пуанкаре
за авторством: Ручкин, К.А.
Опубліковано: (2009)

Метод классификации вокальных звуков речи на основе саундлетной байесовской нейронной сети
за авторством: Федоров, Е.Е.
Опубліковано: (2015)

Адаптивное управление обучением на основе синергетического подхода
за авторством: Мазурок, Т.Л.
Опубліковано: (2013)

Построение модифицированного кода Бергера с минимальным числом необнаруживаемых ошибок информационных разрядов
за авторством: Блюдов, А.А., та інші
Опубліковано: (2012)

Модели когнитивных архитектур и процессов на основе парадигмы предельных обобщений
за авторством: Прокопчук, Ю.А.
Опубліковано: (2013)

Технология решения задачи моделирования и прогнозирования на основе индуктивного подхода
за авторством: Савченко, Е.А.
Опубліковано: (2015)

Смешанное моделирование цифровых систем на переключательном и логико-функциональном уровнях
за авторством: Андрюхин, А.И.
Опубліковано: (2009)

Информационная технология кластеризации данных в условиях короткой обучающей выборки на основе ассоциативной вероятностной нейро-фаззи системы
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2014)

Теоретические и прикладные аспекты параллельноиерархического многоуровневого преобразования цифровых сигналов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2013)

Система ультразвуковой диагностики с использованием фазовой информации отраженного звукового поля
за авторством: Огир, А.С., та інші
Опубліковано: (2016)

Тестирование и верификация HDL-моделей цифровых систем на кристаллах
за авторством: Хаханов, В.И., та інші
Опубліковано: (2010)

Методы стеганоанализа для графических файлов
за авторством: Швидченко, И.В.
Опубліковано: (2010)

Исследование влияния погрешностей отдельных факторов на погрешность моделирования распространения примесей в приземном слое атмосферы
за авторством: Криваковская, Р.В., та інші
Опубліковано: (2013)

Метод формирования коалиций в мультиагентных системах на основе нечетких правил
за авторством: Ершов, С.В.
Опубліковано: (2011)

Квазисемантический поиск текстовых данных. Способы модификации запроса
за авторством: Замятин, Д.С., та інші
Опубліковано: (2011)

АНТИСТРЕСС – новая информационная технология управления регуляторными системами организма человека на основе биологической обратной связи
за авторством: Файнзильберг, Л.С., та інші
Опубліковано: (2011)

Автоматическое построение алгоритмов моделирования технических систем сетевой топологии посредством логического вывода на функциональной схеме
за авторством: Кондращенко, В.Я.
Опубліковано: (2012)

Исследование нестационарных характеристик однолинейной системы массового обслуживания и распределения времени пребывания системы в фиксированном множестве состояний
за авторством: Гаджиев, А.Г., та інші
Опубліковано: (2012)

Метод исправления однократных ошибок данных, представленных кодом класса вычетов
за авторством: Краснобаев, В.А., та інші
Опубліковано: (2013)

Исследование нестационарных характеристик длины очереди однолинейной системы массового обслуживания, зависящих от числа требований
за авторством: Касумов, А.Б.
Опубліковано: (2010)

Лифтинговая схема, используемая в вейвлет-преобразовании для анализа информационных сигналов
за авторством: Волошко, А.В.
Опубліковано: (2009)

Новая информационная технология формирования голограммных акустических изображений высокого разрешения в системах ультразвуковой визуализации медицинского назначения
за авторством: Огир, А.С., та інші
Опубліковано: (2014)