Skip navigation
Please use this identifier to cite or link to this item:
https://elib.utmn.ru/jspui/handle/ru-tsu/31004| Title: | Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения |
| Other Titles: | An object-oriented constraint language for verifying the process of team software development |
| Authors: | Ивашко, А. Г. Григорьев, Μ. В. Ivashko, A. G. Grigorev, Μ. V. |
| Keywords: | компилятор формального языка разработка программного обеспечения верификация процесса разработки программного обеспечения инженерия программного обеспечения the compiler of the formal language software development verification of the software development process |
| Issue Date: | 2008 |
| Publisher: | Издательство Тюменского государственного университета |
| Citation: | Ивашко, А. Г. Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения / А. Г. Ивашко, М. В. Григорьев. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 152–158. |
| Abstract: | В статье описывается компилятор формального языка, реализующий правила верификации процесса разработки программного обеспечения в команде. In article implementation of the compiler of the created formal description language of rules of verification of process of the software development in the command is described. |
| URI: | https://elib.utmn.ru/jspui/handle/ru-tsu/31004 |
| ISSN: | 1562-2983 |
| Source: | Вестник Тюменского государственного университета. — 2008. — № 6 |
| Appears in Collections: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| vestnikTyumGU_2008_6_152_158.pdf | 4,01 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.