В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме. Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
Эта книга посвящена разработке качественных требований к продукту. Здесь описаны дюжины проверенных на практике способов выявления, формулирования, разработки, проверки, утверждения и тестирования требований к ПО, которые помогут разработчикам ПО, менеджерам и маркетологам создать эффективное ПО. Это перевод второго издания оригинальной книги, которое дополнено новыми главами о роли аналитика требований, важности бизнес-правил, а также о том, как формулирование требований важно для проектов по обслуживанию, для комплексных решений и проектов, разрабатываемых сторонними организациями.
Книга, написанная признанными специалистами в области разработки программного обеспечения, описывает унифицированный процесс создания сложных программных систем, включающий в себя как использование средств унифицированного языка моделирования UML - стандартного способа визуализации, конструирования, документирования и пересылки артефактов программных систем, - так и все фазы подготовки и управления этим процессом. Эта книга будет полезна аналитикам, разработчикам приложений, программистам, тестерам и менеджерам проектов.
Это первая в мире книга по новейшей версии языка Visual C# 2005 из платформы Visual Studio 2005, которую издательство "Жарков Пресс" получило непосредственно от корпорации Microsoft. Разработаны методологии создания вычислительных систем, двухмерной и трехмерной графики, мультимедиа, анимации, мультипликации, аудио, видео и игр на основе Visual C# 2005 с использованием новейшей версии технологии DirectX 9.0с.
Приведены сравнительный аналитический обзор и принципы построения основных интегрированных корпоративных информационных систем, внедренных на предприятиях РФ и других стран СНГ. Подробно описана отечественная интегрированная корпоративная информационная система "Галактика". Рассмотрены наиболее важные функциональные контуры этой системы: "Управление персоналом", "Логистика", "Бухгалтерский учет", "Управление производством". Каждая глава сопровождается заданиями для самостоятельной работы.
Для студентов вузов, обучающихся по специальности "Прикладная информатика (по областям)", а также для экономистов, бухгалтеров, менеджеров.
Новая среда ASP.NET MVC Framework представляет собой самое значительное изменение в программных средствах разработки веб-приложений от корпорации Microsoft после первого выпуска платформы ASP.NET в 2002 году. Она дает разработчикам больше возможностей для управления HTML-разметкой, схемой URL и обработкой запросов и ответов. Она способствует построению ясной архитектуры приложения, обеспечивает солидную поддержку блочного тестирования и упрощает интеграцию со сторонними программными средствами, включая библиотеки JavaScript и инструментальные средства Ajax.
Книга является полноценным руководством по Ruby - ее можно использовать и как учебник, и как справочник, и как сборник ответов на вопросы типа "как сделать то или иное в Ruby". В ней приведено свыше 400 примеров, разбитых по различным аспектам программирования, и к которым автор дает обстоятельные комментарии.
Это с нетерпением ожидаемое, переработанное и исправленное издание всемирного бестселлера включает в себя сведения о последних достижениях в области технологий операционных систем. Книга построена на примерах и содержит информацию, необходимую для понимания функционирования современных операционных систем. Новое издание существенно изменено и дополнено, и включает описание устройства и функционирования Windows Vista.
Когда филолог Ларри Уолл создавал первую версию компьютерного языка Perl, он, наверное, не подозревал, что его детищу будет суждена долгая и увлекательная жизнь. Perl понравился администраторам и web-программистам и прочно занял свою нишу в арсенале разработчиков. У каждого языка есть свои плюсы и минусы - спорить по поводу того, какой язык лучше, можно до бесконечности. Эта книга посвящена самой последней версии языка, который продолжает развиваться. Описываются синтаксис языка, новые возможности и идеи, рассказывается в какую сторону пойдет развитие. Книга будет полезна широкому кругу IТ-специалистов: программистам, администраторам, менеджерам.
Книга представляет собой дополненное и исправленное издание востребованной на российском рынке книги «Qt4: программирование GUI на С++», выпущенной в 2007 году. В новое издание были внесены изменения, связанные с использованием возможностей, появившихся в Qt версий 4.2 и 4.3, добавлены новые главы, посвященные настройке диалога с пользователем и созданию прикладных скриптов, рассмотрены базовые принципы программирования на Qt 4 b, в приложении «В» дано введение в Qt Jambi, официально поддерживаемую Java-версию API Qt, выпущенную компанией Trolltech.
Полное название книги: Джоэл о программировании и разнообразных и иногда родственных вопросах, которые должны быть интересны разработчикам программного обеспечения, проектировщикам и менеджерам, а также тем, кому посчастливилось или не повезло в каком-то качестве работать с ними.
Рассмотрены основные положения и особенности информационных систем; задачи, функции, службы, процедуры и методология администрирования систем; управление конфигурацией и архитектурой, техническим информационным и программным обеспечением операционных систем Windows, Unix, Linux с позиций администрирования информационных потоков; инсталляции сетевого обеспечения на базе сетевых служб и сетевых команд; технологии управления ими, а также пользователями и дисками при администрировании. Большое внимание уделено обеспечению информационной безопасности в системах и их сетях: методологии обеспечения безопасности процессов переработки информации в информационной системе, технологиям безопасной работы администратора сети.
Предлагаемое пособие содержит тренировочные варианты тестовых заданий Единого государственного экзамена (ЕГЭ) по информатике, составленных с учетом всех особенностей и требований ЕГЭ.
Особое внимание уделяется отработке навыков правильного заполнения бланка ответов.
Язык программирования Visual Basic — мощный инструмент разработки приложений для 32-разрядных систем Windows. В книге рассматриваются как фундаментальные понятия и темы: от установки продукта на компьютер пользователя и описания интегрированной среды разработки до изложения основ техники программирования на Visual Basic, так и сложные вопросы, адресованные профессиональным программистам: создание интерфейса пользователя, применение стандартных элементов управления, в том числе и для работы с базами данных, программирование компонентов ActiveX, описание технологии OLE drag-and-drop, объектная модель FSO, функции работы с файлами, отладка и оптимизация программ, локализация и распространение готовых приложений.
Книга посвящена разработке приложений для windows, linux и mac os x с использованием библиотеки qt версии 4.5.
Подробно рассмотрены возможности, предоставляемые этой библиотекой, и описаны особенности, выгодно отличающие ее от других библиотек. Впервые описана интегрированная среда разработки qt creator.
Книга содержит исчерпывающую информацию о классах qt4 и также практические рекомендации их применения, проиллюстрированные на большом количестве подробно прокомментированных примеров.
Освоение разработки приложений на .NET 4.0 в С# это не столько изучение языка Visual C# 2010 сколько более глубокое изучение библиотек класов .NET Framework. В примерах Visual C# 2010 более широко исследуются библиотека классов .NET Framework и дает специфические решения для общих и интересных вопросах программирования.
Издание представляет собой введение и справочное руководство по jquery – мощной платформе для разработки веб-приложений. Подробно описывается, как выполнять обход документов html, обрабатывать события, добавлять поддержку технологии ajax в свои веб-страницы, воспроизводить анимацию и визуальные эффекты. Уникальные лабораторные страницы помогут закрепить изучение каждой новой концепции на практических примерах. Рассмотрены вопросы взаимодействия jquery с другими инструментами и платформами и методы создания модулей расширения для этой библиотеки.
В книге изложены фундаментальные понятия энтропии и информации вероятностных схем и их свойств. С использованием этих понятий рассмотрена математическая теория передачи информации по каналам связи, включающая такие принципиальные вопросы, как сжатие информации, построение корректирующих кодов, теоремы кодирования.
Книга призвана помочь школьнику в освоении курса информатики. Простым и доступным языком изложены все необходимые сведения о современных компьютерах, операционной системе Windows XP, подробно раскрыты принципы работы с пакетом Microsoft Office. Большой раздел посвящен Интернету
Описывается пятая версия популярной бесплатной СУБД MySQL. В начале книги происходит знакомство читателя с MySQL и простейшими SQL-запросами, такими как создание баз данных и таблиц, их заполнение, извлечение и удаление записей.