Общие вопросы разработки и тестирования программного обеспечения

Эта книга представляет собой один из выпусков очередных томов всемирно известного труда Искусство программирования, не нуждающейся ни в представлении, ни в рекламе. В данный выпуск вошли разделы первого тома, посвященные RISC-компьютеру MMIX, который заменит прежний компьютер MIX, и языка ассемблера MMIX. Материалы этого выпуска в будущем войдут в первый том серии, посвященный базовым алгоритмам — возможно, с определенными дополнениями и исправлениями на основе отзывов читателей данного выпуска.

На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован па функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе мы рассматриваем общую структуру суперкомпилятора SCP4 и показываем несколько примеров преобразований посредством SCP4.

У вас с некоторых пор появилось чувство, что вы больше не разбираетесь в информационных технологиях вашего предприятия? Однако они могут быть так просты! Покончите с предрассудками прошлого и узнайте на множестве примеров, как превратить ИТ в одно из стратегических преимуществ вашего предприятия; какой огромный потенциал таит в себе ИТ; как вы можете использовать ИТ для успеха вашего предприятия. Переводчик: С. Коврова.

Эта книга представляет собой один из выпусков очередных томов всемирно известной работы Искусство программирования, не нуждающейся ни в представлении, ни в рекламе. В данный выпуск вошли разделы четвертного тома, посвященные вопросам генерации всех сочетаний и разбиений. Материалы выпуска в будущем войдут в четвертый том серии, посвященный комбинаторным алгоритмам — возможно, с определенными дополнениями и исправлениями на основе отзывов читателей данного выпуска.

Эта книга представляет собой наглядное и практическое пособие по разработке ответственного крупномасштабного программного обеспечения в срок. В ней рассматриваются 57 актуальных принципов (эмпирических правил), которых следует придерживаться в процессе разработки ПО. Вы узнаете, как создавать успешную команду разработчиков, соблюдать равновесие критических отношений между ее членами, достигать общего видения и более эффективно осуществлять поставку качественного программного обеспечения. Книга предназначена руководителям команд разработчиков программного обеспечения, а также всем участникам проекта: спонсорам, аналитикам, разработчикам, тестерам, техническим писателям и другим. На прилагаемом оригинальном компакт-диске находятся: популярная презентация Джима «23 1/2 эмпирических правила (для выпуска качественного программного обеспечения в срок)» и четыре эпизода из «Шоу Маккарти».

В учебном пособии изложены как общие идеи и основы теории сжатия информации, так и практические методы с подробным описанием конкретных алгоритмов компрессии различных типов цифровых данных. Общие концепции описываются вполне строго и основываются на четких научных принципах. Все алгоритмы проиллюстрированы подробными примерами, снабжены таблицами, диаграммами и рисунками. В книге рассматриваются различные методы сжатия самой разнообразной информации: текстов, графических изображений, звука, анимации, оцифрованных аудио- и видео данных. В руководстве приводятся многие популярные стандарты и протоколы сжатия, такие как JPEG, MPEG, которые часто сопровождаются готовыми к употреблению текстами программ для системы MATLAB. Книга рассчитана на многочисленную аудиторию программистов и Web-дизайнеров, разработчиков телекоммуникационных и информационных систем.

В книге подробно описана новая модель данных и ее программная реализация, предложенная и выполненная автором. Цель — дать возможность каждому предприятию построить единую информационную систему высокого качества. Работающая программа и общий подход, описанный в книге, дают возможность решить эту задачу. Особе место в книге занимает применение системы в средней школе — как для тестирования учащихся, так и для управления всем педагогическим процессом. К книге прилагается компакт-диск с копиями экранов и демо-версией программы.

Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных на основе рекуррентных соотношений, метода декомпозиции и метода динамического программирования, излагаются методы разработки рекурсивных алгоритмов и их теоретического анализа, в том числе элементы теории ресурсной эффективности вычислительных алгоритмов. Детально изложены методы анализа рекурсивных алгоритмов, проиллюстрированные целым рядом примеров. Приложение содержит тексты программ, реализующих рекурсивные алгоритмы, рассмотренные в основном тексте книги, и результаты экспериментальных исследований. Учебное пособие ориентировано на специалистов в области информатики и анализа алгоритмов, разработчиков алгоритмического обеспечения и предназначено для студентов, аспирантов и преподавателей ВУЗов, специализирующихся в области математической информатики, теории рекурсии, разработки, анализа и исследования рекурсивных алгоритмов.

Рассматриваются задачи, методы и алгоритмы адаптации, используемые для построения поисковых алгоритмов оптимизации. Описывается типовая структура адаптивного алгоритма, излагаются методы коллективной адаптации в условиях динамически изменяющейся внешней среды. Дается методика и рекомендации по представлению исходной формулировки оптимизационной задачи в виде адаптивной системы. Излагается общий цикл проектирования СБИС, этапы конструкторского проектирования СБИС и основные задачи, решаемые на этих этапах, с учетом современных тенденций. Описываются постановки задач автоматизированного проектирования СБИС, методики их представления в виде адаптивных систем и структуры процессов адаптивного поиска оптимальных решений для этих задач. Предназначена для специалистов в области специальных методов оптимизации, разработчиков алгоритмов на основе перспективных методов эволюционной адаптации, разработчиков интеллектуальных САПР.

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

Эта книга посвящена такому бурно развивающемуся направлению современной компьютерной графики как нефотореалистический рендеринг, т.е. созданию изображений, имеющих вид нарисованных человеком (художником). Она ориентирована в основном на студентов, аспирантов и специалистов, изучающих компьютерную графику и желающих понять специфику данного направления. В книге рассматриваются как отдельные области применения нефотореалистического рендеринга, так и алгоритмы, большинство из которых представлено в виде простого и понятного псевдокода, который читатель может легко перевести в работающий код на одном из традиционных языков программирования применимые в конкретных областях. Разобран ряд практических моментов и методы, охватывают как двухмерные, так и трехмерные методы и алгоритмы.

Рассматривается организация документирования сложных программных средств (ПС), а также формирование требований к документам проектов комплексов программ. Изложены особенности планирования документооборота проектов сложных ПС и организация работы специалистов при их документировании. Представлена структура и содержание шаблонов свыше шестидесяти документов охватывающих документирование: предварительных требований, спецификаций и ресурсов для разработки ПС; процессов проектирования и характеристик качества, а также разработки и программирования компонентов. Значительное внимание уделено документированию верификации и тестирования компонентов, квалификационного тестирования, испытаний и оценивания качества ПС. Представлены шаблоны документов поддерживающих сопровождение и управление конфигурацией программных средств и процессы эксплуатации программных средств. Изложено содержание комплекса базовых стандартов, регламентирующих документацию комплексов программ. Отдельный раздел отражает документирование сертификации качества программ. Книга предназначена для заказчиков, руководителей и менеджеров крупномасштабных проектов программных средств, к которым предъявляются высокие требования к качеству документирования программных продуктов. Она может быть полезна системным аналитикам, исполнителям научных проектов и опытно-конструкторских работ, студентам и аспирантам, связанным с документированием программных продуктов.

В свет с завидной регулярностью выходят книги, посвященные цифровым интерфейсам. Каждый раз такие издания находят своего читателя. В чём же отличие нового издания от предыдущих? На этот раз автор постарался не компилировать тексты стандартов и не приводить полной технической документации (в настоящее время доступной через Интернет и из других источников). На этапе выбора архитектуры изделия важно понимать принципиальные отличия интерфейсов друг от друга. Тогда, зная стоящую задачу, разработчик сможет выбрать наиболее функциональные решения. Данная книга призвана разъяснить инженеру, из каких «модулей» строятся стандарты интерфейсов, какие свойства систем передачи данных зависят от конфигурации этих «модулей».

Книга посвящена важному аспекту программирования, недостаточно освещенному в литературе, — чтению и анализу программного кода на языках высокого уровня с целью доработки, извлечения готовых технических решений или изучения новых методов. Даются ценные рекомендации по улучшению стиля программирования. Изложение проиллюстрировано большим количеством примеров, взятых из больших программных проектов с открытым кодом, находящихся на прилагаемом компакт-диске. Книга предназначена для повышения квалификации программистов. Может быть полезна студентам и преподавателям соответствующих специальностей, а также начинающим программистам.

Хотите заглянуть внутрь черного ящика подсистемы оперативной памяти? Хотите научиться минимальными усилиями создавать эффективный программный код, исполняющийся вдвое-втрое быстрее обычного? Хотите использовать возможности современного оборудования на полную мощь? Тогда — вы не ошиблись в выборе книги! Перед вами уникальное практическое пособие по оптимизации программ под платформу IBM PC и операционные системы семейства Windows, скрупулезно описывающее архитектуру, философию и принципы функционирования оперативной и кэш-памяти. Это одна из тех редких книг, которая представляет переносимую оптимизацию на системном уровне и при этом практически не прибегает к ассемблеру. Здесь вы найдете и оригинальные приемы программирования, и недокументированные секреты, существование которых Intel и Microsoft хотели бы скрыть, и перечень типовых ошибок программистов, снижающих производительность системы, и вполне готовые к использованию решения. Для прикладных и системных программистов.

Рассматриваются особенности создания условно-бесплатных программ, приводятся рекомендации по разработке интерфейса и оформлению документации, обсуждаются теоретические и практические вопросы проектирования, рекламы, маркетинга и технической поддержки создаваемого программного продукта. Книга содержит примеры удачной разработки и реализации программ из мировой и российской практики. Множество иллюстраций дает возможность более наглядно представить объем и качество работы, необходимой для создания программ на профессиональном уровне.

Рассмотрена концепция проблемно-целевого анализа сложных организационно-технических систем, основанная на когнитивном моделировании, методах нечеткого логического и ситуационного вывода, позволяющая интегрировать различные методы и технологии решения разнотипных эвристических и аналитических задач поддержки управленческой деятельности. Представлены оригинальные результаты по созданию и внедрению автоматизированной информационной системы по охране труда. Осуществлена разработка и анализ моделей системы управления охраной труда, проанализированы проблемы, определены перспективы и выработаны рекомендации по ее совершенствованию. Для научных, инженерно-технических работников и практиков в области анализа сложных организационно-технических и социально-экономических систем, а также специалистов в сфере информационных технологий, занимающихся созданием перспективных информационно-аналитических систем.

Приводятся различные способы проверки правильности программного обеспечения. Все содержащиеся выкладки основываются на строгом математическом аппарате. Однако автор, профессор Университета им. Гете, Германия, акцентирует внимание на практических аспектах решения данной проблемы, избавляя создателей программного обеспечения от долгих и скрупулезных доказательств, благодаря которым нужный результат может быть достигнут относительно простыми средствами. Для программистов.

В книге «Трехмерная компьютерная графика» изложены главные принципы формирования трехмерных компьютерных изображений и рекомендации по прикладному применению трехмерной компьютерной графики: моделирование трехмерных сцен, архитектурное проектирование, распознавание образов, анимация и др. Представлена информация по программной поддержке геометрического моделирования, компьютерного синтеза изображений и примеры программ, реализованных на Турбо Паскале. Независимая конкурсная экспертиза компании Hewlett Packard подтвердила оригинальность и практическую ценность подходов, предложенных авторами. Книга будет интересна программистам, студентам ВУЗов, специалистам по компьютерной графике.