Автор: Barrett Название: C & Unix - Tools for Software Design (WSE) ISBN: 0471309273 ISBN-13(EAN): 9780471309277 Издательство: Wiley Рейтинг: Цена: 24702.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Exploring the use of the C programming language in tandem with the UNIX operating system, this volume gives students the ability to write more powerful and efficient programs. The text is illustrated throughout with realistic programming problems designed for individual or team work.
Описание: This practical book provides you with a set of core patterns, principles, and practices for analyzing business domains, understanding business strategy, and, most importantly, aligning software design with its business needs.
Автор: White Elecia Название: Making Embedded Systems ISBN: 1449302149 ISBN-13(EAN): 9781449302146 Издательство: Wiley Рейтинг: Цена: 5701.00 р. Наличие на складе: Поставка под заказ.
Описание: Making embedded systems takes a more disciplined approach to programming than you may be used to, because these systems don`t tolerate inefficiency. This easy-to-read book helps you cultivate a host of good development practices, based on classic software design patterns as well as new patterns unique to embedded programming.
Описание: With Make: FPGAs, you`ll learn how to break down problems into something that can be solved on an FPGA, design the logic that will run on your FPGA, and hook up electronic components to create finished projects.
Автор: Zimmer Vincent Название: Beyond Bios ISBN: 1501514784 ISBN-13(EAN): 9781501514784 Издательство: Walter de Gruyter Рейтинг: Цена: 11994.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book provides an overview of modern boot firmware, including the Unified Extensible Firmware Interface (UEFI) and its associated EFI Developer Kit II (EDKII) firmware. The authors have each made significant contributions to developments in these areas. The reader will learn to use the latest developments in UEFI on modern hardware, including open source firmware and open hardware designs. The book begins with an exploration of interfaces exposed to higher-level software and operating systems, and commences to the left of the boot timeline, describing the flow of typical systems, beginning with the machine restart event.
Software engineers working with UEFI will benefit greatly from this book, while specific sections of the book address topics relevant for a general audience: system architects, pre-operating-system application developers, operating system vendors (loader, kernel), independent hardware vendors (such as for plug-in adapters), and developers of end-user applications. As a secondary audience, project technical leaders or managers may be interested in this book to get a feel for what their engineers are doing.
The reader will find:
An overview of UEFI and underlying Platform Initialization (PI) specifications
How to create UEFI applications and drivers
Workflow to design the firmware solution for a modern platform
Advanced usages of UEFI firmware for security and manageability
Автор: Tevfik Bultan; Fang Yu; Muath Alkhalaf; Abdulbaki Название: String Analysis for Software Verification and Security ISBN: 3319686682 ISBN-13(EAN): 9783319686684 Издательство: Springer Рейтинг: Цена: 10366.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, forward and backward string analysis using symbolic automata representation, constraint-based string analysis, string constraint solvers, relational string analysis, vulnerability detection using string analysis, string abstractions, differential string analysis, and automated sanitization synthesis using string analysis.
String manipulation is a crucial part of modern software systems; for example, it is used extensively in input validation and sanitization and in dynamic code and query generation. The goal of string-analysis techniques and this book is to determine the set of values that string expressions can take during program execution. String analysis can be used to solve many problems in modern software systems that relate to string manipulation, such as: (1) Identifying security vulnerabilities by checking if a security sensitive function can receive an input string that contains an exploit; (2) Identifying possible behaviors of a program by identifying possible values for dynamically generated code; (3) Identifying html generation errors by computing the html code generated by web applications; (4) Identifying the set of queries that are sent to back-end database by analyzing the code that generates the SQL queries; (5) Patching input validation and sanitization functions by automatically synthesizing repairs illustrated in this book.
Like many other program-analysis problems, it is not possible to solve the string analysis problem precisely (i.e., it is not possible to precisely determine the set of string values that can reach a program point). However, one can compute over- or under-approximations of possible string values. If the approximations are precise enough, they can enable developers to demonstrate existence or absence of bugs in string manipulating code. String analysis has been an active research area in the last decade, resulting in a wide variety of string-analysis techniques.
This book will primarily target researchers and professionals working in computer security, software verification, formal methods, software engineering and program analysis. Advanced level students or instructors teaching or studying courses in computer security, software verification or program analysis will find this book useful as a secondary text.
Автор: Dennis D. Smith Название: Designing Maintainable Software ISBN: 146127169X ISBN-13(EAN): 9781461271697 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aimed at improving a programmers ability for altering code to fit changing requirements and for detecting and correcting errors, this book argues for a new way of thinking about maintaining software.
Автор: Mcnicholas Название: Data Science with Julia ISBN: 1138499986 ISBN-13(EAN): 9781138499980 Издательство: Taylor&Francis Рейтинг: Цена: 9186.00 р. Наличие на складе: Нет в наличии.
Описание: There is a dearth of resources for data scientists, statisticians, etc., wishing to learn about Julia. Using well known data science methods, this book will both motivate the reader and assuage any unease. The book will get readers up to speed on key features of the Julia language and illustrate some of its advantages for data science work.
Описание: The first course in software engineering is the most critical. Education must start from an understanding of the heart of software development, from familiar ground that is common to all software development endeavors. This book is an in-depth introduction to software engineering that uses a systematic, universal kernel to teach the essential elements of all software engineering methods. This kernel, “Essence” is a vocabulary for defining methods and practices. Essence was envisioned and originally created by Ivar Jacobson and his colleagues, developed by Software Engineering Method and Theory (SEMAT) and approved by The Object Management Group (OMG) as a standard in 2014. Essence is a practice-independent framework for thinking and reasoning about the practices we have and the practices we need. Essence establishes a shared and standard understanding what is at the heart of software development. Essence is agnostic to any particular method, lifecycle independent, programming language independent, concise, scalable, extensible, and formally specified. Essence frees the practices from their method prisons. The first part of the book describes Essence, the essential elements to work with, the essential things to do and the essential competencies you need when developing software. The other three parts describe more and more advanced use cases of Essence. Using real but manageable examples, it covers the fundamentals of Essence and the innovative use of serious games to support software engineering. It also explains how current practices such as user stories, use cases, Scrum, and micro-services can be described using Essence, and illustrates how their activities can be represented using the Essence notions of cards and checklists. The fourth part of the book offers a vision how Essence can be scaled to support large, complex systems engineering. Essence is supported by an ecosystem developed and maintained by a community of experienced people worldwide. From this ecosystem, professors and students can select what they need and create their own way of working, thus learning how to create ONE way of working that matches the particular situation and needs.
Автор: Merkow, Mark S. , Raghavan, Lakshmikanth Название: Secure and Resilient Software ISBN: 0367382148 ISBN-13(EAN): 9780367382148 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Detailing a comprehensive set of requirements for secure and resilient software development and operation, this book supplies documented test cases for those requirements as well as best practices for testing nonfunctional requirements. It offers ground-level, already-developed software nonfunctional requirements and corresponding test cases and
Автор: Jorgensen, Paul C. , DeVries, Byron Название: Software Testing ISBN: 0367358492 ISBN-13(EAN): 9780367358495 Издательство: Taylor&Francis Рейтинг: Цена: 12707.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 5th Edition of Software Testing: A Craftsman`s Approach is a major update that adds new sections on model-based testing and the feature interaction testing. A major change is the shift to Java code for both the procedural and object-oriented examples.
Автор: Staron Miroslaw Название: Automotive Software Architectures: An Introduction ISBN: 3030659380 ISBN-13(EAN): 9783030659387 Издательство: Springer Рейтинг: Цена: 9756.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book introduces the concept of software architecture as one of the cornerstones of software in modern cars.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
