DC Field | Value | Language |
dc.contributor.author | Ивашко, А. Г. | ru |
dc.contributor.author | Григорьев, Μ. В. | ru |
dc.contributor.author | Ivashko, A. G. | en |
dc.contributor.author | Grigorev, Μ. V. | en |
dc.date.accessioned | 2024-01-23T10:42:29Z | - |
dc.date.available | 2024-01-23T10:42:29Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Ивашко, А. Г. Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения / А. Г. Ивашко, М. В. Григорьев. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 152–158. | ru |
dc.identifier.issn | 1562-2983 | - |
dc.identifier.uri | https://elib.utmn.ru/jspui/handle/ru-tsu/31004 | - |
dc.description.abstract | В статье описывается компилятор формального языка, реализующий правила верификации процесса разработки программного обеспечения в команде. | ru |
dc.description.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. | en |
dc.format.mimetype | application/pdf | en |
dc.language.iso | ru | en |
dc.publisher | Издательство Тюменского государственного университета | ru |
dc.relation.ispartof | Вестник Тюменского государственного университета. — 2008. — № 6 | ru |
dc.subject | компилятор формального языка | ru |
dc.subject | разработка программного обеспечения | ru |
dc.subject | верификация процесса разработки программного обеспечения | ru |
dc.subject | инженерия программного обеспечения | ru |
dc.subject | the compiler of the formal language | en |
dc.subject | software development | en |
dc.subject | verification of the software development process | en |
dc.title | Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения | ru |
dc.title.alternative | An object-oriented constraint language for verifying the process of team software development | en |
dc.type | Article | en |
dc.type | info:eu-repo/semantics/publishedVersion | en |
dc.type | info:eu-repo/semantics/article | en |
local.description.firstpage | 152 | - |
local.description.lastpage | 158 | - |
local.issue | 6 | - |
local.identifier.uuid | 5f4afe94-250b-429c-b7cd-a8ecef2ae026 | - |
local.identifier.handle | ru-tsu/31004 | - |
Appears in Collections: | Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
|