Программная инженерия

The leading text in the field explains step by step how to write software that responds in real time From power plants to medicine to avionics, the world increasingly depends on computer systems …

The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal tec…

Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system defects consume…

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

Many approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product Lines and Model-Driven Engineering, which ha…

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

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

Содержание книги охватывает круг вопросов, связанных с техниками и методами тестирования программного обеспечения, проектированием и документированием тестовых мероприятий, организацией процесса …

В учебном пособии рассмотрены основные концепции программной инженерии: в первой главе обсуждаются базовые понятия, история и терминология программной инженерии; во второй главе – стандарты и мод…

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

В настоящем учебнике подробно рассмотрена история отечественной технологии программирования, теоретические ее аспекты и парадигмы программирования: модульная, объектно-компонентная и сервисная, а…

Создание информационной и коммуникационной инфраструктуры цифровой экономики будущего требует специалистов, способных подготавливать необходимые для этого проекты, разрабатывать и внедрять програ…

Большинство книг об алгоритмах фокусируются на нотации «О большое» и основных принципах проектирования, однако эта книга предлагает уникальный подход, выводя разработку и анализ на уровень предск…