Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: https://elib.utmn.ru/jspui/handle/ru-tsu/31004
Название: Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения
Другие названия: An object-oriented constraint language for verifying the process of team software development
Авторы: Ивашко, А. Г.
Григорьев, Μ. В.
Ivashko, A. G.
Grigorev, Μ. V.
Ключевые слова: компилятор формального языка
разработка программного обеспечения
верификация процесса разработки программного обеспечения
инженерия программного обеспечения
the compiler of the formal language
software development
verification of the software development process
Дата публикации: 2008
Издатель: Издательство Тюменского государственного университета
Библиографическое описание: Ивашко, А. Г. Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения / А. Г. Ивашко, М. В. Григорьев. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 152–158.
Аннотация (реферат): В статье описывается компилятор формального языка, реализующий правила верификации процесса разработки программного обеспечения в команде.
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
Источник: Вестник Тюменского государственного университета. — 2008. — № 6
Располагается в коллекциях:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика

Файлы этого ресурса:
Файл Описание РазмерФормат 
vestnikTyumGU_2008_6_152_158.pdf4.01 MBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.