Формальные модели компонентного программирования
Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практ...
Saved in:
| Date: | 2003 |
|---|---|
| Main Author: | Грищенко, В.Н. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1302 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Формальные модели компонентного программирования /В.Н. Грищенко// Проблеми програмування. — 2003. — N 2. — С. 42—57. — Бібліогр.: 18 назв. — рос |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
-
Аксиоматические модели и методы проектирования языковых трансляторов
by: Парасюк, И.Н., et al.
Published: (2003) -
Об одной геометрической модели временных параллельных процессов
by: Ошевская, Е.С,
Published: (2004) -
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
by: Грибовская, Н.С.
Published: (2004) -
Экспликативный базис интеграционных сред
by: Редько, И.В.
Published: (2004) -
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
by: Крывый, С.Л., et al.
Published: (2003)