dc.contributor.author | Буй, Дмитрий | ru |
dc.contributor.author | Колегаев, Алексей | ru |
dc.date.accessioned | 2016-01-20T12:00:51Z | |
dc.date.available | 2016-01-20T12:00:51Z | |
dc.date.issued | 2014 | |
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.uri | http://ir.lib.vntu.edu.ua/handle/123456789/4522 | |
dc.description.abstract | В статье рассмотрены понятия подстановки и слабейшего предусловия, применяемые при построении абстрактных моделей в В методе, являющемся популярным формальным методом разработки программ. Указана формализация этих понятий на основе композиционного подхода. | ru |
dc.description.abstract | 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. | en |
dc.language.iso | ru | ru |
dc.publisher | ВНТУ | uk |
dc.title | Композиционная семантика подстановок в метода | ru |
dc.type | Thesis | |
dc.identifier.udc | 004.423 | |