Тестирование софта - статьи
Верификация компиляторов - систематический подходАннотация.
Введение
Систематический подход к верификации функций компилятора
Верификация синтаксического анализатора
Критерии полноты тестирования
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Тестирование анализаторов контекстных условий
Методы тестирования
Тестирование оптимизаций и генерации кода
Регламентирующие документы. Анализ требований
Верификация подсистемы поддержки исполнения (runtime support)
Методы верификации
Заключение
Литература
Ценные бумаги
Практический подход к определению ценной бумаги может состоять в следующем. Если невозможно дать строго научное, а затем и юридическое определение, если невозможно сформулировать понятие ценной бумаги на все случаи жизни, то эту трудность можно обойти путем перечисления признанных государством конкретных видов ценных бумаг, которые имеются в практике. Например, в Гражданском кодексе Российской Федерации или других законах, относящихся к рынку ценных бумаг, определенные виды бумаг фиксируются именно как ценные бумаги.Анализ ценных бумаг
Биржа ценных бумаг
Виды ценных бумаг
Государственные ценные бумаги
Ценные бумаги - Деривативы
Законы о ценных бумагах
Рынок ценных бумаг
Справочник ценных бумаг
Иностранные ценные бумаги
Инструменты ценных бумаг
Классификация ценных бумаг
Клиринг ценных бумаг
Ценные бумаги - Коммерческие
Эмитенты и инвесторы бумаг
Стратегии покупки ценных бумаг
Учебники по ценным бумагам
Налоги с ценных бумаг
Обращение ценных бумаг
Понятие ценных бумаг
Производные ценные бумаги
Расчеты ценных бумаг
Ценные бумаги - Россия
Фиктивный капитал
Операции с ГКО
