Композиционная семантика подстановок в метода
Вантажиться...
Файли
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
DOI
Анотація
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.
Опис
Ключові слова
УДК
Тип документа
Мова
Є частиною
ISSN
Бібліографічний опис
Буй, Д. Композиционная семантика подстановок в метода [Текст] / Дмитрий Буй, Алексей Колегаев // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 37-39.