Skip navigation
BelSU DSpace logo

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.bsu.edu.ru/handle/123456789/9199
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorZimovets, O. A.-
dc.contributor.authorMatorin, S. I.-
dc.date.accessioned2015-04-29T09:17:54Z-
dc.date.available2015-04-29T09:17:54Z-
dc.date.issued2013-
dc.identifier.citationZimovets, O.A. Integration of formalization tools for graphical-analytical "Unit-Function-Object" models / O.A. Zimovets, S.I. Matorin ; Belgorod State University // Scientific and Technical Information Processing. - 2013. - Vol.40, №6.-P. 396-402.ru
dc.identifier.urihttp://dspace.bsu.edu.ru/handle/123456789/9199-
dc.description.abstractA new method for the formal description of systems in terms of "Unit", "Function", and "Object" based on the comparative study and integration of tools from the Grenander algebraic theory of pat terns and Milner’s process calculus is considered. Decomposition and aggregation procedures are formalized for the graphic-analytical models “Unit-Function-Object” using the proposed approachru
dc.language.isoenru
dc.subjectmathematical economicsru
dc.subjecttheory of patternsru
dc.subjectprocess calculusru
dc.subjectformalization of graphic elementsru
dc.subjectinterface decompositionru
dc.subjectoperations on functionsru
dc.titleIntegration of formalization tools for graphical-analytical "Unit-Function-Object" modelsru
dc.typeArticleru
dc.identifier.citationpublicationScientific and Technical Information Processingru
dc.identifier.citationnumber6ru
dc.identifier.citationvolume40ru
dc.identifier.citationfirstpage396ru
dc.identifier.citationendpage402ru
dc.description.refereedyesru
dc.description.institutionBelgorod State Universityru
Располагается в коллекциях:Статьи из периодических изданий и сборников (на иностранных языках) = Articles from periodicals and collections (in foreign languages)

Файлы этого ресурса:
Файл Описание РазмерФормат 
Zimovets_Integration_13.pdf207.35 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.