Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
исходный код
Связанные издания:
Open Source Software Development Should Strive for Even Greater Code Maintainability
Source Availability and E-Voting: An Advocate Recants
Verification of Source Code Transformations by Program Equivalence Checking
Достижение целей структурного покрытия, определенных в DO-178C
Измерение сходства между программами на Karel с помо ью N-грамм символов и слов
Использование драйверов устройств операционной системы Linux для сравнения инструментов статической верификации
Тестирование изменений в программной системе на основе покрытия исходного кода
Тестирование изменений в программной системе на основе покрытия исходного кода