Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
Рассмотрена методология модификации языка описаний и спецификации благодаря введению регламентированных временных диаграмм и аппарата количественного анализа. Приведен пример предложенных средств....
Збережено в:
Дата: | 2006 |
---|---|
Автори: | Ластовченко, М.М., Макаренко, Н.Н., Марущак, В.И. |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут програмних систем НАН України
2006
|
Теми: | |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/2315 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования / М.М. Ластовченко, Н.Н. Макаренко, В.И. Марущак // Проблеми програмування. — 2006. — N 1. — С. 62-69. — Бібліогр.: 14 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
-
Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015) -
Разработка инструментальных средств для проверки формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2008) -
Аналіз каркасів зберігання й відображення на базі аспектно-орієнтованих технологій
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013) -
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008) -
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
за авторством: Акуловский, В.Г.
Опубліковано: (2008)