Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
980 144

Репозиториев:
30

Авторов:
596 024

расширенный поиск

Объектно-ориентированный язык ограничений для верификации процесса командной разработки программного обеспечения

Ивашко, А. Г., Григорьев, Μ. В., Ivashko, A. G., Grigorev, Μ. V.

Дата публикации: 2008

Дата публикации в реестре: 2024-03-01T18:30:52Z

Аннотация:

В статье описывается компилятор формального языка, реализующий правила верификации процесса разработки программного обеспечения в команде.

Ключевые слова:
компилятор формального языка, разработка программного обеспечения, верификация процесса разработки программного обеспечения, инженерия программного обеспечения, the compiler of the formal language, software development, verification of the software development process

Тип: Article

Права: open access

Связанные документы (рекомендация CORE)