Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
Рассмотрена методология модификации языка описаний и спецификации благодаря введению регламентированных временных диаграмм и аппарата количественного анализа. Приведен пример предложенных средств. Розглянуто методологію модифікації мови опису та специфікації завдяки введенню регламентованих часових...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | Ластовченко, М.М., Макаренко, Н.Н., Марущак, В.И. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2006
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.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)
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015)
Разработка инструментальных средств для проверки формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2008)
за авторством: Колчин, А.В.
Опубліковано: (2008)
Аналіз каркасів зберігання й відображення на базі аспектно-орієнтованих технологій
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013)
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013)
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
за авторством: Акуловский, В.Г.
Опубліковано: (2008)
за авторством: Акуловский, В.Г.
Опубліковано: (2008)
Особенности языка VHDL для программирования кристаллов ПЛИС
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2006)
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2006)
Автоматизація складання граматичних словників лексики тематичних текстів
за авторством: Міщенко, Н.М., та інші
Опубліковано: (2010)
за авторством: Міщенко, Н.М., та інші
Опубліковано: (2010)
Концепция формирования программной среды описания и моделирования для спецификации требований к проектам беспроводных сетей
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)
за авторством: Ластовченко, М.М., та інші
Опубліковано: (2006)
Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
за авторством: Воног, С.Н., та інші
Опубліковано: (2006)
за авторством: Воног, С.Н., та інші
Опубліковано: (2006)
Особенности реализации многослойного сценария распределенного поиска оптимальных решений
за авторством: Галаган, Т.Н., та інші
Опубліковано: (2008)
за авторством: Галаган, Т.Н., та інші
Опубліковано: (2008)
Використання онтологічних знань для багатокритеріального співставлення складних інформаційних об`єктів
за авторством: Рогушина, Ю.В., та інші
Опубліковано: (2022)
за авторством: Рогушина, Ю.В., та інші
Опубліковано: (2022)
Засоби автоматизації генерації електронних документів в системах організаційного управління
за авторством: Хмелюк, В.С., та інші
Опубліковано: (2008)
за авторством: Хмелюк, В.С., та інші
Опубліковано: (2008)
A resource limited parallel program model
за авторством: Rahozin, D.V.
Опубліковано: (2019)
за авторством: Rahozin, D.V.
Опубліковано: (2019)
Паралельна розподілена реалізація моделювання паралельних обчислень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2014)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2014)
О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2006)
Застосування засобів нейроеволюції в технічних системах автоматизації керування
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)
Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів
за авторством: Слабоспицька, О.О.
Опубліковано: (2015)
за авторством: Слабоспицька, О.О.
Опубліковано: (2015)
О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
за авторством: Яценко, Е.А.
Опубліковано: (2011)
за авторством: Яценко, Е.А.
Опубліковано: (2011)
Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase
за авторством: Зінькович, В.М., та інші
Опубліковано: (2006)
за авторством: Зінькович, В.М., та інші
Опубліковано: (2006)
Экономичный интерпретатор для узлов сенсорной сети
за авторством: Рагозин, Д.В.
Опубліковано: (2006)
за авторством: Рагозин, Д.В.
Опубліковано: (2006)
Интерфейс в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2007)
за авторством: Лаврищева, Е.М.
Опубліковано: (2007)
Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
за авторством: Мамедов, Т.А., та інші
Опубліковано: (2019)
за авторством: Мамедов, Т.А., та інші
Опубліковано: (2019)
Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
за авторством: Иовчев, В.А., та інші
Опубліковано: (2010)
за авторством: Иовчев, В.А., та інші
Опубліковано: (2010)
Моделювання RESTFUL API для системи автоматизації приватних електронних закупівель
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2021)
Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів
за авторством: Фісун, М.Т., та інші
Опубліковано: (2006)
за авторством: Фісун, М.Т., та інші
Опубліковано: (2006)
Ефективний емпіричний метод дедублікації на файловому рівні
за авторством: Піговський, Ю.Р.
Опубліковано: (2014)
за авторством: Піговський, Ю.Р.
Опубліковано: (2014)
О алгоритме перевода документов msc в сети Петри
за авторством: Чугаенко, А.В., та інші
Опубліковано: (2008)
за авторством: Чугаенко, А.В., та інші
Опубліковано: (2008)
Программа проверки орфографии (spellchecker) на основе распределенных представлений
за авторством: Омельченко, Р.С.
Опубліковано: (2013)
за авторством: Омельченко, Р.С.
Опубліковано: (2013)
Програмна платформа для наукових досліджень
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2007)
Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2020)
Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)
Оптимізація автотьюнінгу програм з використанням нейромереж
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2017)
Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)
за авторством: Пантелеймонов, А.А.
Опубліковано: (2006)
TermWare-3 – система переписування термів, заснована на контекстному численні
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2019)
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2019)
Представление графического интерфейса пользователя для тестирования программ
за авторством: Пригожев, А.С.
Опубліковано: (2010)
за авторством: Пригожев, А.С.
Опубліковано: (2010)
Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)
за авторством: Дорошенко, А.Ю., та інші
Опубліковано: (2019)
Задачи повышения производительности запросов в программной системе
за авторством: Федоров, И.В.
Опубліковано: (2008)
за авторством: Федоров, И.В.
Опубліковано: (2008)
До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію
за авторством: Овдій, О.М.
Опубліковано: (2019)
за авторством: Овдій, О.М.
Опубліковано: (2019)
Иструментарий создания игровой логики
за авторством: Кожаев, В.В.
Опубліковано: (2012)
за авторством: Кожаев, В.В.
Опубліковано: (2012)
Средства синтеза параллельных mpi-программ
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008)
Схожі ресурси
-
Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015) -
Разработка инструментальных средств для проверки формальных моделей
за авторством: Колчин, А.В.
Опубліковано: (2008) -
Аналіз каркасів зберігання й відображення на базі аспектно-орієнтованих технологій
за авторством: Глибовець, М.М., та інші
Опубліковано: (2013) -
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2008) -
Некоторые подходы к контролю и преобразованию алгоритмов на основе анализа специфицируемых данных
за авторством: Акуловский, В.Г.
Опубліковано: (2008)