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: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Skip navigation