Композиционная семантика подстановок в метода
| dc.contributor.author | Буй, Дмитрий | ru |
| dc.contributor.author | Колегаев, Алексей | ru |
| dc.title | Композиционная семантика подстановок в метода | ru |
| dc.date.issued | 2014 | |
| dc.publisher | Вінницький національний технічний університет | uk |
| 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.udc | 004.423 | |
| 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.type | Thesis | |
| dc.language.iso | ru | ru |
| dc.date.accessioned | 2016-01-20T12:00:51Z | |
| dc.date.available | 2016-01-20T12:00:51Z |
Файли
Контейнер файлів
1 - 1 з 1
Вантажиться...
- Назва:
- 37-39.pdf
- Розмір:
- 1,19 MB
- Формат:
- Adobe Portable Document Format
- Опис:
Ліцензійна угода
1 - 1 з 1
Вантажиться...
- Назва:
- license.txt
- Розмір:
- 2,14 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: