Композиционная семантика подстановок в метода
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Композиционная семантика подстановок в метода
|
|
| Creator |
Буй, Дмитрий
Колегаев, Алексей |
|
| Description |
В статье рассмотрены понятия подстановки и слабейшего предусловия, применяемые при построении абстрактных моделей в В методе, являющемся популярным формальным методом разработки программ. Указана формализация этих понятий на основе композиционного подхода.
The article describes concepts of substitution and the weakest precondition used in the construction of abstract models in the B method, which is a popular method of formal development of programs. Formalization of these concepts on the basis of compositional approach are considered. |
|
| Date |
2016-01-20T12:00:51Z
2016-01-20T12:00:51Z 2014 |
|
| Type |
Thesis
|
|
| Identifier |
Буй, Д. Композиционная семантика подстановок в метода [Текст] / Дмитрий Буй, Алексей Колегаев // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 37-39.
http://ir.lib.vntu.edu.ua/handle/123456789/4522 004.423 |
|
| Language |
ru
|
|
| Publisher |
ВНТУ
|
|