программная инженерия
Современная программная инженерия. ПО в эпоху эджайла и непрерывного развертывания (pdf + epub)
Дэвид Фарли, легендарный разработчик и создатель continuous delivery, рассказывает о фундаментальных принципах разработки современного ПО. Пора познак…
ПодробнееStatic Analysis of Software. The Abstract Interpretation
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This …
ПодробнееSoftware Architecture 2
Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is r…
ПодробнееModel-Driven and Software Product Line Engineering
Many approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product…
ПодробнееПрограммная инженерия. Интеграционный подход к разработке. Учебник для вузов. 2-е издание, стереотипное
Рассмотрены методологии и технологии проектирования информационных систем, варианты реализации многофункциональных информационных систем на основе инт…
ПодробнееLinux для сетевых инженеров (pdf + epub)
Операционная система Linux продолжает завоевывать популярность, и все больше сетевых служб разворачивается на ее основе из соображений стоимости и гиб…
ПодробнееVerification, Validation, and Testing of Engineered Systems
Systems' Verification Validation and Testing (VVT) are carried out throughout systems' lifetimes. Notably, quality-cost expended on performing VVT act…
ПодробнееProgram Specialization
This book presents the principles and techniques of program specialization – a general method to make programs faster (and possibly smaller) when some…
ПодробнееSoftware Testing. Concepts and Operations
Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing co…
ПодробнееПоколение JSON. Хроники Client-Side Testing
Вы инженер или «оператор фреймворка»? Если отключить StackOverflow и ChatGPT, останетесь ли вы инженером или превратитесь в беспомощного пользователя?…
ПодробнееВнутреннее устройство Windows. Ключевые компоненты и возможности (pdf+epub)
Зная, что находится у операционной системы «под капотом», системные администраторы смогут быстро разобраться с поведением системы и решать задачи повы…
ПодробнееКомпьютерная графика в САПР. Учебное пособие для СПО. 5-е издание, стереотипное
Основное внимание в пособии уделено описанию методов компьютерной графики и геометрического моделирования как основе современных систем САПР в машинос…
ПодробнееСистемная и программная инженерия. Словарь-справочник
В книге приведено описание наиболее употребительных терминов, методов, понятий и процессов системной и программной инженерии, а также родственных дисц…
ПодробнееCommunicating Systems with UML 2. Modeling and Analysis of Network Protocols
This book gives a practical approach to modeling and analyzing communication protocols using UML 2. Network protocols are always presented with a poin…
ПодробнееIndustrial Use of Formal Methods. Formal Verification
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…
ПодробнееFunctional Programming in C#. Classic Programming Techniques for Modern Projects
Take advantage of the growing trend in functional programming. C# is the number-one language used by .NET developers and one of the most popular progr…
ПодробнееBuilding Software for Simulation. Theory and Algorithms, with Applications in C++
A unique guide to the design and implementation of simulation software This book offers a concise introduction to the art of building simulation softw…
ПодробнееLean Architecture. for Agile Software Development
More and more Agile projects are seeking architectural roots as they struggle with complexity and scale – and they're seeking lightweight ways to do i…
ПодробнееInteroperability for Enterprise Software and Applications. Proceedings of the Workshops and the Doctorial Symposium of the I-ESA International Conference 2010
Within the framework of the Sixth I-ESA International Conference, supported by the INTEROP VLab (International Virtual Laboratory on Enterprise Intero…
ПодробнееMCAD / MCSD: Visual Basic .NET Windows and Web Applications Study Guide. Exams 70-305 and 70-306
Here's the book you need to prepare for the Developing Web Applications (70-305) and Developing Windows-based Applications (70-306) MCAD and MCSD exam…
ПодробнееIndustrial Use of Formal Methods. Formal Verification
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…
ПодробнееSemantic Web and Model-Driven Engineering
The next enterprise computing era will rely on the synergy between both technologies: semantic web and model-driven software development (MDSD). The s…
ПодробнееDiscovering Requirements. How to Specify Products and Services
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…
ПодробнееTeamwork in Multi-Agent Systems. A Formal Approach
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 ef…
ПодробнееBuilding Software for Simulation. Theory and Algorithms, with Applications in C++
A unique guide to the design and implementation of simulation software This book offers a concise introduction to the art of building simulation softw…
ПодробнееFormal Methods. Industrial Use from Model to the Code
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enabl…
ПодробнееPractical Database Programming with Java
Covers fundamental and advanced Java database programming techniques for beginning and experienced readers This book covers the practical consideratio…
ПодробнееThe Dark Side of Software Engineering. Evil on Computing Projects
Betrayal! Corruption! Software engineering? Industry experts Johann Rost and Robert L. Glass explore the seamy underbelly of software engineering in t…
ПодробнееFormal Methods for Industrial Critical Systems. A Survey of Applications
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general defi…
Подробнее.NET Framework Solutions. In Search of the Lost Win32 API
If you've begun programming using Microsoft's .NET Framework, you've discovered a lot of new and improved functionality. But, more than likely, you've…
ПодробнееDesign for Reliability. Information and Computer-Based Systems
System reliability, availability and robustness are often not well understood by system architects, engineers and developers. They often don't underst…
ПодробнееComputer, Network, Software, and Hardware Engineering with Applications
There are many books on computers, networks, and software engineering but none that integrate the three with applications. Integration is important be…
ПодробнееReal-Time Systems Design and Analysis. Tools for the Practitioner
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…
ПодробнееИсследование асинхронных счетчиков и регистров в среде NI Multisim 10.1. Методические указания к практическому занятию по курсу «Электротехника и электроника»
Изложены основные схемотехнические решения, используемые при построении асинхронных суммирующих, вычитающих и реверсивных счетчиков на различных типах…
ПодробнееManaging the Testing Process. Practical Tools and Techniques for Managing Hardware and Software Testing
An updated edition of the best tips and tools to plan, build, and execute a structured test operation In this update of his bestselling book, Rex Blac…
ПодробнееDesign of Multithreaded Software. The Entity-Life Modeling Approach
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 …
ПодробнееBuilding Dependable Distributed Systems
This book covers the most essential techniques for designing and building dependable distributed systems. Instead of covering a broad range of researc…
ПодробнееЭтичный хакинг. Инструменты тестирования на взлом и обеспечение ИТ-безопасности
Эта книга – полезный спутник в мире этичного хакинга и тестирования на проникновение. Независимо от уровня вашей подготовки доступна основная база зна…
ПодробнееЭлектропривод постоянного тока с широтно-импульсным преобразователем напряжения. Методические указания к лабораторным работам по курсам «Основы электропривода», «Электропривод и автоматизация металлургических машин и агрегатов», «Электропривод ПТМ и роботов»
Представлено описание основных элементов электропривода постоянного тока с широтно-импульсным преобразователем напряжения компьютеризованного лаборато…
ПодробнееComputer, Network, Software, and Hardware Engineering with Applications
There are many books on computers, networks, and software engineering but none that integrate the three with applications. Integration is important be…
ПодробнееПрограммная инженерия. Интеграционный подход к разработке. Учебник для вузов
Рассмотрены методологии и технологии проектирования информационных систем, варианты реализации многофункциональных информационных систем на основе инт…
ПодробнееSoftware Architecture 1
Over the past 20 years, software architectures have significantly contributed to the development of complex and distributed systems. Nowadays, it is r…
ПодробнееCodecharts. Roadmaps and blueprints for object-oriented programs
NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELY Popular software modelling notations visualize implementation minutiae but fail to …
ПодробнееГенетические алгоритмы в программной инженерии
Рассматриваются теоретические и прикладные вопросы применения в программной инженерии эволюционных вычислений – нового направления в теории искусствен…
ПодробнееDiscovering Requirements. How to Specify Products and Services
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…
Подробнее







































