Show simple item record

dc.contributor.authorБуй, Дмитрийru
dc.contributor.authorКолегаев, Алексейru
dc.date.accessioned2016-01-20T12:00:51Z
dc.date.available2016-01-20T12:00:51Z
dc.date.issued2014
dc.identifier.citationБуй, Д. Композиционная семантика подстановок в метода [Текст] / Дмитрий Буй, Алексей Колегаев // Proceedings of the ninth international scientific-practical conference "Internet-Education-Science" (IES-2014), Vinnytsia, 14 - 17 October, 2014. - Vinnytsia : VNTU, 2014. - С. 37-39.ru
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/4522
dc.description.abstractВ статье рассмотрены понятия подстановки и слабейшего предусловия, применяемые при построении абстрактных моделей в В методе, являющемся популярным формальным методом разработки программ. Указана формализация этих понятий на основе композиционного подхода.ru
dc.description.abstractThe 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.en
dc.language.isoruru
dc.publisherВНТУuk
dc.titleКомпозиционная семантика подстановок в методаru
dc.typeThesis
dc.identifier.udc004.423


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record