1. Репозиторий ТюмГУ
  2. Научные издания
  3. Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: https://elib.utmn.ru/jspui/handle/ru-tsu/31004
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorИвашко, А. Г.ru
dc.contributor.authorГригорьев, Μ. В.ru
dc.contributor.authorIvashko, A. G.en
dc.contributor.authorGrigorev, Μ. V.en
dc.date.accessioned2024-01-23T10:42:29Z-
dc.date.available2024-01-23T10:42:29Z-
dc.date.issued2008-
dc.identifier.citationИвашко, А. Г. Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения / А. Г. Ивашко, М. В. Григорьев. — Текст : электронный // Вестник Тюменского государственного университета. — 2008. — № 6. — С. 152–158.ru
dc.identifier.issn1562-2983-
dc.identifier.urihttps://elib.utmn.ru/jspui/handle/ru-tsu/31004-
dc.description.abstractВ статье описывается компилятор формального языка, реализующий правила верификации процесса разработки программного обеспечения в команде.ru
dc.description.abstractIn 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.mimetypeapplication/pdfen
dc.language.isoruen
dc.publisherИздательство Тюменского государственного университетаru
dc.relation.ispartofВестник Тюменского государственного университета. — 2008. — № 6ru
dc.subjectкомпилятор формального языкаru
dc.subjectразработка программного обеспеченияru
dc.subjectверификация процесса разработки программного обеспеченияru
dc.subjectинженерия программного обеспеченияru
dc.subjectthe compiler of the formal languageen
dc.subjectsoftware developmenten
dc.subjectverification of the software development processen
dc.titleОбъектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспеченияru
dc.title.alternativeAn object-oriented constraint language for verifying the process of team software developmenten
dc.typeArticleen
dc.typeinfo:eu-repo/semantics/publishedVersionen
dc.typeinfo:eu-repo/semantics/articleen
local.description.firstpage152-
local.description.lastpage158-
local.issue6-
local.identifier.uuid5f4afe94-250b-429c-b7cd-a8ecef2ae026-
local.identifier.handleru-tsu/31004-
Располагается в коллекциях:Вестник ТюмГУ: Физико-математическое моделирование. Нефть, газ, энергетика

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


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