Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ошибка
Связанные издания:
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance
Two Techniques for Transient Software Error Recovery
Type Error Slicing in Implicitly Typed Higher-Order Languages
Uberlegungen zur schnellen "online"- Pehlerbenadlung in Speicherungsstrukturen von Datenbanksystemen
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software
Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code
Verification and Diagnosis of Digital Systems by Ternary Reasoning
Verification of Error Recovery Specification for Distributed Data by Using Colored Petri Nets
Vorslage zur zeiteffizienten "onlane"-Fehlererkennung in Speicherungsstrukturen von Datenbanksystemen
Who Is Liable for Bugs and Security FLaws in Software?
Why do Some (weird) People Inject Faults?
Zception: A Technique for the Experimental Evaluation of Dependability in Modern Computers
Zur Problematik der Fehlerbehandlung in Compilern - Ein Diskussionsbeitrag
Автоматизация поиска ошибок в базах знаний экспертных систем медицинской диагностики
Автоматизация проектирования и анализа программного обеспечения с использованием языка UML и сетей Петри
Автоматический поиск ошибок в компьютерных программах с применением динамического анализа
Изучаем "синий экран смерти"
Инструменты для всестороннего тестирования Windows-программ
Исследование дефектов в коде программ на языке Python
Как бороться с переполнением
Коды с коррекцией ошибок как средство криптоза иты
Локализация ошибок методом построения сокра енных трасс
Матричная арифметика многократной точности для параллельных систем с передачей сооб ений
Метод автоматического контекстного анализа и диагностики контекстных ошибок
Нейтрализация синтаксических ошибок в графических языках
Некоторые оценки вероятностных характеристик процесса автоматической идентификации ошибок пользователя на основе эталонного словаря
О безошибочных программах
Обработка синтаксических ошибок в системе построения трансляторов
Ошибки-ловушки при программировании на Фортране
Повышайте надежность прикладных программ системными средствами
Почему не работают программы. Руководство по системной отладке
Практическая схема нейтрализации синтаксических ошибок при нисходящем разборе
Применение методов обнаружения и компенсации ошибок в целочисленном классе cBigNumber
Применение статического символьного выполнения для поиска ошибок доступа к буферу
Программа синтаксического контроля текстов на языке Модула-2
Программирование на языке Java. Занятие пятое: обработка исключительных ситуаций
Разгадывая тайны сооб ений об ошибках
Семантическая отладка программ методом поиска конкретных ошибок
Статический анализатор семантических ошибок периода исполнения
Статический анализатор семантических ошибок периода исполнения
Статический анализатор семантических ошибок периода исполнения
Статический анализатор семантических ошибок периода исполнения
Теория кодирования как задача поиска глобального экстремума
Управление заплатками
Что стоит за кодами ошибок Web-сервера
Экономический подход к понятию надежности программы
« первая
‹ предыдущая
1
2
3
4