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

Об одном классе базовых протоколов

Рассматривается проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследуется специальный класс спецификаций, представленный в виде базовых протоколов, в котором ра...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2005
Автор:	Летичевский, А.А.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2005
Теми:	Методи і засоби програмної інженерії
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1318
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Об одном классе базовых протоколов / А.А.Летичевский // Проблеми програмування. — 2005. — N 4. — С. 3-19. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

Послуга «КО-1. Повторне використання об’єктів» для захищеної ОС на базі GNU/Linux з розширенням RSBAC
за авторством: Анісімов, А.В., та інші
Опубліковано: (2010-12)

Алгоритм пошуку кореферентних об’єктів в україномовних текстах з використанням дерев рішень
за авторством: Погорілий, С.Д., та інші
Опубліковано: (2022)

Формалізми об’єктного проектування і тестування розподілених програмних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)

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

Реінженірінг баз даних інформаційних систем з розгалуженою мережею пунктів збору первинной інформацій
за авторством: Алексеев, В.А., та інші
Опубліковано: (2005)

Вдосконалення організації даних об′єктних прикладних програмних систем як метод підвищення життєздатності
за авторством: Федоров, І.В.
Опубліковано: (2006)

Ідентифікація та відображення функціональних елементів FPA-методу в UML-моделі створюваної системи для оцінювання її економічних характеристик
за авторством: Стрєлов, І.А., та інші
Опубліковано: (2005)

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

Багатоаспектна декомпозиція як засіб проектування архітектури інформаційних систем. Ч. 2. Побудова архітектури інформаційної системи
за авторством: Алексеєв, В.А., та інші
Опубліковано: (2007)

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

Создание методологии проэктирования CASE-сред на базе ситуационного метода
за авторством: Зинькович, В.М., та інші
Опубліковано: (2005)

Некоторые аспекты разработки и дальнейшего развития инструментальных средств управления требованиями при создании сложных програмных систем
за авторством: Лаба, М.Н., та інші
Опубліковано: (2005)

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

Основні задачі підтримки прийняття рішень в інженерії надійності програмних систем
за авторством: Коваль, Г.І.
Опубліковано: (2005)

Компонентно-орієнтований підхід до розробки програмних систем на основі інтеграції менеджерів інформаційних ресурсів
за авторством: Грищенко, В.М.
Опубліковано: (2005)

Про деякі аспекти інженерії програмних систем з елементами штучного інтелекту
за авторством: Любченко, В.В.
Опубліковано: (2022)

Toward software engineering ecosystems definition
за авторством: Sydorov, M.O.
Опубліковано: (2022)

Technological trends & software engineering education: a systematic review study
за авторством: Nesterenko, O.V.
Опубліковано: (2022)

Методика оцінювання деяких характеристик якості прикладних програмних систем
за авторством: Ткаченко, В.М.
Опубліковано: (2006)

First experience of using INTSPEI P-Modeling Framework in software development projects
за авторством: Pavlov, V.L., та інші
Опубліковано: (2007)

Підхід до керування надійністю та якістю програмних систем
за авторством: Коваль, Г.І.
Опубліковано: (2007)

Задачі, методи та засоби експертного оцінювання якості в інженерії програмних систем
за авторством: Слабоспицька, О.О.
Опубліковано: (2007)

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

Software engineering and big data software
за авторством: Sydorov, M.O., та інші
Опубліковано: (2022)

Управление рисками в высокотехнологичных проектах: состояние и подходы управления
за авторством: Годлевский, М.Д., та інші
Опубліковано: (2006)

Реинженерия проектов программного обеспечения
за авторством: Сидоров, Н.А., та інші
Опубліковано: (2006)

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

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

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

Подход к обеспечению взаимодействия программных средств JAVA И MS.NET
за авторством: Островский, А.В.
Опубліковано: (2011)

Экспертиза процессов жизненного цикла программных систем: особенности организации и проведения
за авторством: Слабоспицкая, О.А.
Опубліковано: (2006)

50 лет инженерии программного обеспечения
за авторством: Сидоров, Н.А.
Опубліковано: (2018)

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

Визуальное моделирование сложного программного обеспечения интернет узла
за авторством: Меренков, А.Ю.
Опубліковано: (2006)

Обеспечение надежности программных средств в зависимости от качества документации
за авторством: Анцыпов, А.В.
Опубліковано: (2008)

Мониторинг дефектов проектирования объектно-ориентированного программного обеспечения
за авторством: Нечай, А.С.
Опубліковано: (2010)

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