Тестирование софта - статьи


ce076b8f




Тестирование софта - статьи

Применение модельного подхода для автоматического тестирования оптимизирующих компиляторов
Введение
Построение абстрактной модели

Подход к решению задачи проверки сохранения семантики программы во время работы оптимизатора
Создание генератора тестов
Запуск тестов
Практическое применение подхода
Области применимости подхода
Близкие работы
Заключение
Литература




Логистика

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

Логистический бизнес
Виды логистики
Транспортная логистика
Основы логистики
Планирование логистики

Система логистики
Теория логистики
Учебник по логистике