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

dc.contributor.author	Лавріщева, К.М.
dc.contributor.author	Стеняшин, А.Ю.
dc.date.accessioned	2015-09-26T17:36:16Z
dc.date.available	2015-09-26T17:36:16Z
dc.date.issued	2013
dc.identifier.citation	Формалізми об’єктного проектування і тестування розподілених програмних систем / К.М. Лавріщева, А.Ю. Стеняшин // Проблеми програмування. — 2013. — № 4. — С. 25-34. — Бібліогр.: 8 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/86690
dc.description.abstract	Розглядається підхід до проектування розподілених програмних систем формальним поданням об’єктів функціонального і інтерфейсного типів. Дається визначення об’єктів та операцій проекції, взаємодії та паралельного виконання. Дано опис мови подання інтерфейсів об’єктів IDL (stub, skeleton) і оброблення їх брокером ORB сиcтеми CORBA. Запропоновано процес тестування об’єктних структур програм та перетворення даних різнорідних об’єктів для забезпечення їх взаємодії у операційному середовищі.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Методи та засоби програмної інженерії	uk_UA
dc.title	Формалізми об’єктного проектування і тестування розподілених програмних систем	uk_UA
dc.title.alternative	The formal basic developing and testing the distributed program systems	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.03