Buchumschlag

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

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

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/61782
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 — Т. 33, № 5. — С. 43-56. — Бібліогр.: 6 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Построение модели навигации для компьютерных тренажеров и приложений сценарного типа
von: Абрамович, Р.П., et al.
Veröffentlicht: (2014)

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

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

От компьютерных технологий к нанотехнологиям
von: Лаврищева, Е.М.
Veröffentlicht: (2014)

Методы автоматической обработки неполадок в компьютерных сетях
von: Самосенок, А.С.
Veröffentlicht: (2011)

Семантическое модельно-управляемое моделирование архитектуры системы сервисов на основе доменных онтологий
von: Петренко, А.А., et al.
Veröffentlicht: (2016)

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

Подход к моделированию диалогового процесса на основе агентных технологий
von: Гази, А.
Veröffentlicht: (2011)

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

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

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

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

О построении знание-ориентированных компьютерных систем для научных исследований
von: Палагин, А.В., et al.
Veröffentlicht: (2015)

Декодирование кодов Рида— Соломона на основе графовой и автоматной моделей
von: Семеренко В.П.
Veröffentlicht: (2011)

Метод синтеза структур для преобразований циклического кода на основе программируемой пользователем вентильной матрицы
von: Палагин, А.В., et al.
Veröffentlicht: (2014)

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

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

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

Метод классификации вокальных звуков речи на основе саундлетной байесовской нейронной сети
von: Федоров, Е.Е.
Veröffentlicht: (2015)

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

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

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

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

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

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

Информационная технология кластеризации данных в условиях короткой обучающей выборки на основе ассоциативной вероятностной нейро-фаззи системы
von: Бодянский, Е.В., et al.
Veröffentlicht: (2014)

Теоретические и прикладные аспекты параллельноиерархического многоуровневого преобразования цифровых сигналов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2013)

Система ультразвуковой диагностики с использованием фазовой информации отраженного звукового поля
von: Огир, А.С., et al.
Veröffentlicht: (2016)

Тестирование и верификация HDL-моделей цифровых систем на кристаллах
von: Хаханов, В.И., et al.
Veröffentlicht: (2010)

Исследование влияния погрешностей отдельных факторов на погрешность моделирования распространения примесей в приземном слое атмосферы
von: Криваковская, Р.В., et al.
Veröffentlicht: (2013)

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

Методы стеганоанализа для графических файлов
von: Швидченко, И.В.
Veröffentlicht: (2010)

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

Квазисемантический поиск текстовых данных. Способы модификации запроса
von: Замятин, Д.С., et al.
Veröffentlicht: (2011)

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

Исследование нестационарных характеристик однолинейной системы массового обслуживания и распределения времени пребывания системы в фиксированном множестве состояний
von: Гаджиев, А.Г., et al.
Veröffentlicht: (2012)

Метод исправления однократных ошибок данных, представленных кодом класса вычетов
von: Краснобаев, В.А., et al.
Veröffentlicht: (2013)

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

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

Нечеткая математика на основе тензорных моделей неопределенности. II. Операции нечеткой математики в тензорном базисе
von: Минаев, Ю.Н., et al.
Veröffentlicht: (2008)