Перспективы интеграции методов верификации программного обеспечения
Перспективы интеграции методов верификации программного обеспеченияВведение
Синтетические методы верификации ПО
Подход к построению расширяемой среды верификации ПО
Анализ требований
Поддержка различных языков и нотаций
Архитектурная основа среды верификации
Организация разработки среды верификации
Заключение
Литература
Статьи Королевства Дельфи
Статьи будут рассматривать отдельную тему с практическими примерами и надеюсь на уровне доступном для начинающих. Не знаю как получится, поскольку опыт писательской работы у меня не большой, зато есть приличный опыт работы в дискуссионных группах. Кроме того вся микропроцессорная техника и ее программирование прошли совместно с моей жизнью, начинал я с 8 разрядных машин, затем вплотную от самых первых персональных компьютеров и по текущие дни. Паскаль же от 4 версии до самой последней, а после уже Дельфи, начиная с первой версии.Это было интересное время, все начинали с нуля, знаний и опыта у всех было мало, все учились друг у друга, в то же время начал развиваться Интернет, что позволило эффективно обмениваться знаниями. Не было обширного парка компонент, только потом развились файловые архивы уровня и Delphi Super Pages. Все это позволило наработать большой опыт и пришло время отдавать долги, что и делаю в виде серии этих статей для начинающих.
Еще раз о звуке
Hooks - аспекты реализации
Взгляд в будущее
XML сериализация объекта Delphi
Создание DTD для объекта
Лицей
Как заставить работать ActionList в формах, импортируемых из DLL
Класс для реализации списка Variant'ов
Создание системы голосовых сообщений из подручных средств
Содержание раздела
