http://dspace.bsuedu.ru/handle/123456789/9199| Название: | Integration of formalization tools for graphical-analytical "Unit-Function-Object" models |
| Авторы: | Zimovets, O. A. Matorin, S. I. |
| Ключевые слова: | mathematical economics theory of patterns process calculus formalization of graphic elements interface decomposition operations on functions |
| Дата публикации: | 2013 |
| Библиографическое описание: | Zimovets, 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. |
| Краткий осмотр (реферат): | A 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 approach |
| URI (Унифицированный идентификатор ресурса): | http://dspace.bsu.edu.ru/handle/123456789/9199 |
| Располагается в коллекциях: | Статьи из периодических изданий и сборников (на иностранных языках) = Articles from periodicals and collections (in foreign languages) |
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Zimovets_Integration_13.pdf | 207.35 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.