Программные средства. Программирование на ЭВМ (Математическое программирование - см. 519.8). Компьютерные программы. Языки программирования. Системное программное обеспечение. Компьютерная инфекция. Компьютерная вирусология

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

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

Рассмотрены возможности языка программирования Python в области интерактивной визуализации данных. Для визуального анализа данных использован модуль plotly.express библиотеки Plotly. Приведены примеры построения диаграмм распределений: histogram, bar, kde, violin, ecdf, strip, density_heatmap и dencity_contour. Для оценки уровня усвоения студентами пройденного материала предложены варианты заданий для самостоятельной работы.

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

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

Содержит доступное для начинающего программиста описание соответствующего международному стандарту языка Си ++, его стандартной библиотеки и входящей в нее библиотеки шаблонов STL. Материал пособия позволяет изучить синтаксис и семантику базовых конструкций языка, а также механизмы и возможности стандартной библиотеки. На многочисленных примерах программ разъясняются наиболее тонкие и трудные вопросы процедурного, объектного, объектно-ориентированного и обобщенного программирования с помощью средств языка Си ++ и его библиотеки.

В книге рассматриваются основополагающие вопросы, относящиеся к структурам данных в языке программирования Python. Теоретические концепции и абстрактные понятия подкрепляются простыми примерами. По мере изучения основ вводятся такие темы, как стратегии решения задач, продвинутое использование языка Python, принципы объектно-ориентированного проектирования и методологии тестирования. Подробно рассматриваются структуры данных, встроенные в язык Python, а также абстрактные типы данных (АТД): стеки, очереди, связные списки, деревья, графы и др.

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

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

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

Представлены восемь лабораторных работ, демонстрирующих типовые приемы решения различных задач в программной среде Solid Edge.

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

Пособие создано по курсу «Современные системы обработки информации» для студентов специальности 080801 «Прикладная информатика (в информационной сфере)» и содержит систематизированный справочный материал, лабораторные работы по системе Mathcad (версии 14), позволяющие не только получить общее преставление о возможностях этой системы, но и закрепить полученные знания на практике.

Предложено использовать динамический словарь как средство расширения стандартных структур данных языка C++. Словарь реализуется как сложная структура данных, представленная в виде класса. Использование в структуре данных статистики слов, которые разбиваются на узлы, позволяет существенно расширить спектр решаемых задач. Подход, при котором данные представляются в виде словаря и для работы с которыми используются функции словарного класса, назван автором «Словарная технология». Дается описание словарных функций и приводятся примеры решаемых на основе словарной технологии задач. Возможности словарной технологии по хранению и доступу к данным использованы для построения модели постреляционной системы управления базами данных. Дается описание постреляционной базы данных и особенностей представления информации. Предлагается язык управления данными, в основе которого лежит словарное представление. Приложения содержат описание функций словарной технологии, сервисных функций, упрощающих работу с данными, функции работы с постреляционной базой данных, язык управления и язык запросов к базе данных. Приводится программный материал по решению разнообразных задач в словарной технологии и перечень примеров по работе с постреляционной базой данных.

Рассмотрены методики, идиомы и приемы решения задач обработки динамических структур данных на языке С++. Подробно описаны вычислительные алгоритмы, реализованные с использованием нотации указателей. Приведены краткие теоретические сведения и примеры приложений по изучаемому материалу. Изложена методика выполнения лабораторных работ по рассматриваемым темам, которая используется авторами в процессе проведения практических занятий в МГТУ им. Н.Э. Баумана.

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

В данном пособии описан интерфейс прикладного программирования (API) UNIX-совместимых операционных систем: от файловых операций и использования библиотек до методов и средств разработки многозадачного и многопоточного программного обеспечения, а также средства межзадачной (IPC) и межпоточной коммуникации: программные каналы и каналы FIFO, очереди сообщений, семафоры, разделяемая память System V и POSIX, взаимные исключения и условные переменные. Кроме того, кратко обсуждаются средства коммуникации процессов по сети и особенности взаимодействия приложений и системных служб.

Учебное пособие по курсу «Сетевые информационные технологии» содержит описание инструментальных средств для моделирования и анализа трафика компьютерных сетей, а также описание протоколов стека TCP/IP, некоторых прикладных протоколов и примеры учебных программ для изучения протоколов.

Журнал издается под научно-методическим руководством Федерального исследовательского центра "Информатика и управление" Российской академии наук. Международный научно-технический журнал. Освещает научно-технические достижения по обеспечению конфиденциальности, доступности и целостности для класса информационно-телекоммуникационных систем высокой доступности (ИТС ВД), которые составляют неотъемлемую часть технологий функционирования критических для страны направлений деятельности, например диспетчеризация транспорта, управление перераспределениями электрических мощностей в масштабах региона, осуществление лектронных платежей в реальном масштабе времени. Журнал «Системы высокой доступности» относится к категории печатных изданий, публикации в которых учитываются при рассмотрении докторских и кандидатских диссертаций ВАК РФ и в диссертационных советах. Включен в Перечень ВАК. Выходит с 2006 г.

Структура пособия соответствует учебной программе дисциплины «Информатика и программирование». Первая часть содержит около 600 задач по теории программирования и языкам программирования Visual Basic и Pascal. Вторая часть (занимает более половины объема пособия) включает решение значительного числа задач или указания к их решению. Представлены краткий перечень необходимых понятий и список рекомендуемой литературы.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета.

Учебно-методическое пособие подготовлено на кафедре программного обеспечения и администрирования информационных систем факультета прикладной математики, информатики и механики Воронежского государственного университета.

В задачнике содержатся материалы к лабораторным занятиям по дисциплине «Программирование» в виде индивидуальных заданий по темам: линейные программы, ветвление, циклы, одномерные и двумерные массивы, строки, функции, структуры, файлы и векторы. Задания по темам линейных программ, ветвления и циклов предложены в виде 20 различных вариантов, поостальным темам в виде списка задач, которые идут от легких к более сложным.Предназначено для студентов-программистов, математиков.

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

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

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

Представлен обзор основных методов нелинейного динамического анализа и изложена концепция структурного анализа квазихаотических систем и процессов с позиций теории самоорганизации. Приведены примеры практического приложения предлагаемых методов структурного анализа в медико-биологических и научно-технических исследованиях.

Рассмотрены основные встроенные механизмы и программные средства для обеспечения безопасности операционных систем ROSA Linux. Помимо теоретического материала, представлен цикл лабораторных работ с контрольными вопросами для проверки знаний.

Рассматриваются основные вопросы дисциплины «Системное программное обеспечение». Изучается машинно зависимое системное программирование для современных компьютеров. В качестве сред обучения параллельно используются операционные системы Linux и Windows. Излагаются вопросы применения объектных библиотек с учетом особенностей для 32- и 64-битных операционных систем. Подробно изучаются по-строение и использование библиотек динамической компоновки.

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

Методические указания представляют порядок выполнения курсовой работы по дисциплине «Системное программное обеспечение». Освещены темы и структура курсовой работы.

Рассмотрены некоторые алгоритмы сортировки, принципы организации основных динамических структур: односвязные и двусвязные списки, двоичные упорядоченные деревья. Приведены примеры их реализации на языке Си и задания к лабораторным работам.

Рассмотрены принципы организации АВЛ-деревьев и алгоритмы их формирования, а также основы теории графов и некоторые алгоритмы на графах. Приведены примеры реализации структур и алгоритмов на языке Си и задания к лабораторным работам.

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

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

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

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

В данном учебном пособии внимание уделяется языку С++ и использованию объектно-ориентированного подхода. Оно состоит из трех модулей и проектных заданий к ним. Для закрепления знаний к каждому модулю даны вопросы для рубежного контроля, а также задания для самостоятельной работы.

Учебно-методическое пособие подготовлено на кафедре уравнений в частных производных и теории вероятностей математического факультета Воронежского государственного университета

Рассмотрены основные этапы проектирования информационных систем: управление проектом, моделирование процессов, данных, определение требований, архитектуры, проектирование базы данных, пользовательского интерфейса. Представлены современные методы проектирования с использованием CASE-средств.

Учебное пособие предназначено для студентов, изучающих курс «Структуры и алгоритмы обработки данных» и представляет собой вторую часть практического руководства к проведению лабораторных работ по дисциплине «Структуры и алгоритмы обработки данных».

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

Дано краткое описание функционирующего программно-аппаратного комплекса на основе мейнфреймов IBM zSeries и показаны направления его использования для решения широкого круга практических задач ТЭК.

Приведен проект автоматизированной системы оценивания качества программных средств по нотации UML, представляющий статическую модель проекта автоматизированной системы для реализации метода интегральной оценки качества программных средств и их компонентов на различных этапах жизненного цикла путем создания 4-уровневой иерархической модели для каждого фактора качества в соответствии со стандартом РФ ГОСТ 28195–99 «Оценка качества программных средств. Общие положения». Модель представляет структуру системы, отображающую варианты использования, интерфейсы, классы и отношения между ними. Статическая модель включает описание диаграмм вариантов использования следующих модулей системы: работа со справочниками, создание проекта по оценке качества, оценивание качества программного средства, работа с документами и отчетами по проектам оценки качества программных средств и отношений с внешними классами (пользователем, серверной базой данных OKPS.mdf, текстовым файлом и редактором) посредством соответствующих интерфейсов. Спроектированная статическая модель является спецификацией функционального назначения автоматизированной системы по оценке качества программного обеспечения. В перспективе развития модель проекта автоматизированной системы по оценке качества программных средств будет расширена динамической моделью (диаграммами активности, состояний, взаимодействия вариантов использования), описывающей поведение объектов, их методы, взаимодействие и связи между ними, а также процессы переходов состояний компонентов, и диаграммами логического и физического размещения, отображающими размещение компонентов на технических устройствах проектируемой системы. На основании проекта будет разработана автоматизированная система в объектно-ориентированной среде разработки Visual Studio 2008 на языке программирования С#. Применение автоматизированной системы обеспечит возможность хранения, обработки и поиска результатов оценивания качества программных средств для разных стадий их жизненного цикла, позволит формировать отчеты и документацию по проектам.

В учебном пособии рассматриваются вопросы внутримашинного представления данных и структур разных типов, алгоритмы внутренней и внешней сортировки, организации и обработки динамических структур данных. Пособие содержит теоретический материал с иллюстрациями алгоритмов и примерами программ на языке программирования высокого уровня «Си».

Методическая разработка содержит 6 лабораторных работ и контрольные задания, направленные на освоение основных приемов работы в MSWord 2013 и рекомендуемую контрольную работу.

Учебное пособие содержит теоретический и практический материал по следующим темам: аппаратное и программное обеспечение компьютера, системное программное обеспечение – операционные системы, обзор ОС Linux, сервисные программы, антивирусные программы, прикладное программное обеспечение – текстовые процессоры (на примере OOo Writer, LyX), электронные таблицы (на примере OOo Calc), системы управления базами данных (на примере OOo Base), системы компьютерной математики (основы работы в Maxima), графические редакторы (основные приемы работы в Gimp). Теоретический материал снабжен вопросами для самопроверки, практикум по программному обеспечению содержит большое количество примеров и заданий.

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

О совместном программном продукте для банков компаний FERNBACH и IBS.

О совместном технологическом семинаре "Приложения Oracle и смарт-решения Aladdin", состоявшийся в рамках серии мероприятий, посвященных интеграции программных продуктов компаний.