Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 4.01 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.