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

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enabl…

В 24-м томе автор переворачивает направление Грамматической машины: от анализа чужих текстов — к созданию собственных. Те же операторы — split, hold, …

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

Человеку свойственно стремиться к лучшему. Особенно, когда ему в этом может помочь программа адаптивной корректировки...

Представьте, что искусственный интеллект работает на вас, превращая ваши идеи в реальные шедевры. Эта книга — ваш ключ к этому миру, где даже если вы …

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

В настоящем учебном пособии в достаточно сжатой форме представлено краткое описание работы в программном комплексе ANSYS Fluent для моделирования тече…

This book assumes familiarity with threads (in a language such as Ada, C#, or Java) and introduces the entity-life modeling (ELM) design approach for …

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

Большие языковые модели (LLM) кардинально меняют мир, обещая автоматизацию различных задач и решение сложных проблем. Программные приложения последнег…

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 wo…

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

Перед вами практическое руководство по современным техникам веб-стилизации, в котором язык CSS раскрывается как инструмент точной настройки визуальной…

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

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

2057 год. Инженер Игорь Кольцов собирает на коленке «Перехватчика-4» — платформу для борьбы с нелегальными БПЛА. Сердце машины — нейроморфное ядро СБ-…

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

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

Учебник представляет базовый двухсеместровый курс по дисциплине «Программная инженерия» для непрофильных IT-направлений. Он содержит основные теоретич…

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

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

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

System reliability, availability and robustness are often not well understood by system architects, engineers and developers. They often don't underst…

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