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

This book presents the principles and techniques of program specialization – a general method to make programs faster (and possibly smaller) when some inputs can be known in advance. As an illust…

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

More and more Agile projects are seeking architectural roots as they struggle with complexity and scale – and they're seeking lightweight ways to do it Still seeking? In this book the authors hel…

This book is not only of practical value. It's also a lot of fun to read. Michael Jackson, The Open University. Do you need to know how to create good requirements? Discovering Requirements offer…

Betrayal! Corruption! Software engineering? Industry experts Johann Rost and Robert L. Glass explore the seamy underbelly of software engineering in this timely report on and analysis of the prev…

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 …

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

NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELY Popular software modelling notations visualize implementation minutiae but fail to scale, to capture design abstractions, and to…

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…

Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing concepts, test data generation, test deployment…

This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a point of view focusing on partial mechanisms and …

Within the framework of the Sixth I-ESA International Conference, supported by the INTEROP VLab (International Virtual Laboratory on Enterprise Interoperability, http://www.interop-vlab.eu), thre…

What makes teamwork tick? Cooperation matters, in daily life and in complex applications. After all, many tasks need more than a single agent to be effectively performed. Therefore, teamwork rule…

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses a…

Изложены основные схемотехнические решения, используемые при построении асинхронных суммирующих, вычитающих и реверсивных счетчиков на различных типах триггеров и регистров с последовательным вхо…

Представлено описание основных элементов электропривода постоянного тока с широтно-импульсным преобразователем напряжения компьютеризованного лабораторного стенда. Даны основные сведения о програ…

Рассматриваются теоретические и прикладные вопросы применения в программной инженерии эволюционных вычислений – нового направления в теории искусственного интеллекта, которое в последнее время ак…

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

Вы инженер или «оператор фреймворка»? Если отключить StackOverflow и ChatGPT, останетесь ли вы инженером или превратитесь в беспомощного пользователя? Мы вырастили «Поколение JSON» — разработчик…

At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the u…