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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2013
Автори:	Лавріщева, К.М., Стеняшин, А.Ю.
Мова:	Ukrainian
Опубліковано:	Інститут програмних систем НАН України 2013
Назва видання:	Проблеми програмування
Теми:	Методи та засоби програмної інженерії
Онлайн доступ:	http://dspace.nbuv.gov.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

id	irk-123456789-86690
record_format	dspace
spelling	irk-123456789-866902015-09-27T03:02:06Z Формалізми об’єктного проектування і тестування розподілених програмних систем Лавріщева, К.М. Стеняшин, А.Ю. Методи та засоби програмної інженерії Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. Дано опис мови подання інтерфейсів об’єктів IDL (stub, skeleton) і оброблення їх брокером ORB сиcтеми CORBA. Запропоновано процес тестування об’єктних структур програм та перетворення даних різнорідних об’єктів для забезпечення їх взаємодії у операційному середовищі. 2013 Формалізми об’єктного проектування і тестування розподілених програмних систем / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування. — 2013. — № 4. — С. 25-34. — Бібліогр.: 8 назв. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86690 681.03 uk Проблеми програмування Інститут програмних систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Ukrainian
topic	Методи та засоби програмної інженерії Методи та засоби програмної інженерії
spellingShingle	Методи та засоби програмної інженерії Методи та засоби програмної інженерії Лавріщева, К.М. Стеняшин, А.Ю. Формалізми об’єктного проектування і тестування розподілених програмних систем Проблеми програмування
description	Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. Дано опис мови подання інтерфейсів об’єктів IDL (stub, skeleton) і оброблення їх брокером ORB сиcтеми CORBA. Запропоновано процес тестування об’єктних структур програм та перетворення даних різнорідних об’єктів для забезпечення їх взаємодії у операційному середовищі.
author	Лавріщева, К.М. Стеняшин, А.Ю.
author_facet	Лавріщева, К.М. Стеняшин, А.Ю.
author_sort	Лавріщева, К.М.
title	Формалізми об’єктного проектування і тестування розподілених програмних систем
title_short	Формалізми об’єктного проектування і тестування розподілених програмних систем
title_full	Формалізми об’єктного проектування і тестування розподілених програмних систем
title_fullStr	Формалізми об’єктного проектування і тестування розподілених програмних систем
title_full_unstemmed	Формалізми об’єктного проектування і тестування розподілених програмних систем
title_sort	формалізми об’єктного проектування і тестування розподілених програмних систем
publisher	Інститут програмних систем НАН України
publishDate	2013
topic_facet	Методи та засоби програмної інженерії
url	http://dspace.nbuv.gov.ua/handle/123456789/86690
citation_txt	Формалізми об’єктного проектування і тестування розподілених програмних систем / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування. — 2013. — № 4. — С. 25-34. — Бібліогр.: 8 назв. — укр.
series	Проблеми програмування
work_keys_str_mv	AT lavríŝevakm formalízmiobêktnogoproektuvannâítestuvannârozpodílenihprogramnihsistem AT stenâšinaû formalízmiobêktnogoproektuvannâítestuvannârozpodílenihprogramnihsistem
first_indexed	2023-10-18T19:33:56Z
last_indexed	2023-10-18T19:33:56Z
_version_	1796147306832068608

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

Репозитарії

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