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 SizeFormat 
vestnikTyumGU_2008_6_152_158.pdf4.01 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.