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

Формалізми об’єктного проектування і тестування розподілених програмних систем

Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. Дано опис мови подання інтерфейсів об’єктів IDL (stub, skeleton) і оброблення...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Проблеми програмування
Дата:	2013
Автори:	Лавріщева, К.М., Стеняшин, А.Ю.
Мова:	Українська
Опубліковано:	Інститут програмних систем НАН України 2013
Теми:	Методи та засоби програмної інженерії
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/86690
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Формалізми об’єктного проектування і тестування розподілених програмних систем / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування. — 2013. — № 4. — С. 25-34. — Бібліогр.: 8 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

Концепція побудови сертифікаційної моделі якості програмних систем
за авторством: Райчев, І.Е., та інші
Опубліковано: (2006)

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

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

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

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

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

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

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

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

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

Визначення предмету – програмна інженерія
за авторством: Лавріщева, К.М.
Опубліковано: (2008)

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

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

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

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

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

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

Механізми забезпечення варіабельності в сімействах програмних систем
за авторством: Колесник, А.Л.
Опубліковано: (2010)

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

Моделі підтримки прийняття рішень щодо структуризації робіт при розробці прикладних програмних систем
за авторством: Стрєлов, І.А., та інші
Опубліковано: (2006)

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

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

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

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

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

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

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

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

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

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

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

Проблемы реинжиниринга программных legacy-систем
за авторством: Пашковец, Н.Д., та інші
Опубліковано: (2010)

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

О возможности систематического исследования систем управления производством
за авторством: Колесник, В.Г.
Опубліковано: (2017)

Ролевой подход к оценке качества экономических экспертных систем
за авторством: Кожевникова, Г.П., та інші
Опубліковано: (2006)

Применение статистических моделей в инженерии качества процессов производства программных систем
за авторством: Матвеева, Л.Е., та інші
Опубліковано: (2012)