Применение UniTesK к тестированию встроенных систем

Пример автомата с тремя состояниями и семью переходами

Взаимодействие на нескольких интерфейсах
Удалённое тестирование компонентов TinyOS
Применение UniTesK к тестированию встроенных систем
Аннотация.
Введение
Краткий обзор TinyOS
Компонентная архитектура TinyOS
Параллельность, события и задачи
Расщеплённые операции
Атомарность

Язык nesC
Реализация компонентов в языке nesC
Краткий обзор UniTesK
Оракулы и спецификации
Стимулы и реакции
Спецификация
Тестовые сценарии
Медиаторы
CTesK
Применение UniTesK к тестированию встроенного ПО

Функциональное тестирование компонентов TinyOS
Разработка формальной спецификации
Тестовые сценарии для компонентов
Медиаторы для тестирования компонентов TinyOS
Результаты применения UniTesK к тестированию компонентов TinyOS
Использованный процесс
Затраты
Результаты проекта

Применимость UniTesK для тестирования встроенных приложений
Спецификации UniTesK и статический анализ
Заключение
Литература

Пакет Excel

Еще один необходимый инструмент в арсенале любого уважающего себя буржуя. Это вам не калькулятор какой-нибудь. Тут возможностей по всякого рода вычислениям не на одну книгу хватит. Умеет считать практически все, что придумало прогрессивное человечество. При определенном умении в нем можно вести полноценную бухгалтерию, вплоть до отчетов в налоговую.

Пакет Excel
Пакет Excel - Анализ
Пакет Excel - Графика
Пакет Excel - Данные
Пакет Excel - Деньги

Практическая работа в пакете Excel
Электронные таблицы Excel
Справочник по Excel 2002
Мир объектов Excel 2000
Все про Excel 2002

Мастер диаграмм
Excel ЧаВо
Работа в Microsoft Excel XP
Офисноге программирование
Финансовые вычисления на Excel

Финансовые расчеты в Excel
Решение оптимизационных задач
Задачи пакета Excel
Пакет Excel - Начало
Программирование в пакете Excel

Таблицы Excel
Хитрости Excel
MS Excel 97
MS Excel 2000 для начинающих
Решение прикладных задач

Задачи оптимизации