A Friendly Guide to Software Development, Portella
Автор: 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.
Описание: 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.
Автор: Hoover Dave Oshineye Adewale Название: Apprenticeship patterns ISBN: 0596518382 ISBN-13(EAN): 9780596518387 Издательство: Wiley Рейтинг: Цена: 2660.00 р. 3800.00-30% Наличие на складе: Есть (1 шт.) Описание: Software developers face an ever-changing and ever-expanding technology landscape. Developing technical skills is vital, but there are dozens of soft skills and learning techniques you need if you`re to grow. This book helps you learn how to `Nurture Your Passion` by finding a pet project to help you rediscover the joy of problem solving.
Автор: 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.
Автор: Bates, Bert Sierra, Kathy Basham, Bryan Название: Head first servlets and jsp ISBN: 0596516681 ISBN-13(EAN): 9780596516680 Издательство: Wiley Рейтинг: Цена: 6334.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Helps you pass the J2EE 1.5 exam. This book helps you learn how to write servlets and JSPs, what makes a web container tick (and what ticks it off), how to use JSP`s Expression Language (EL for short), and how to write deployment descriptors for your web applications.
Автор: Boguslaw Cyganek Название: Introduction to Programming with C++ for Engineers ISBN: 1119431107 ISBN-13(EAN): 9781119431107 Издательство: Wiley Рейтинг: Цена: 12981.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
A complete textbook and reference for engineers to learn the fundamentals of computer programming with modern C++
Introduction to Programming with C++ for Engineers is an original presentation teaching the fundamentals of computer programming and modern C++ to engineers and engineering students.
Professor Cyganek, a highly regarded expert in his field, walks users through basics of data structures and algorithms with the help of a core subset of C++ and the Standard Library, progressing to the object-oriented domain and advanced C++ features, computer arithmetic, memory management and essentials of parallel programming, showing with real world examples how to complete tasks. He also guides users through the software development process, good programming practices, not shunning from explaining low-level features and the programming tools.
Being a textbook, with the summarizing tables and diagrams the book becomes a highly useful reference for C++ programmers at all levels.
Introduction to Programming with C++ for Engineers teaches how to program by:
Guiding users from simple techniques with modern C++ and the Standard Library, to more advanced object-oriented design methods and language features
Providing meaningful examples that facilitate understanding of the programming techniques and the C++ language constructions
Fostering good programming practices which create better professional programmers
Minimizing text descriptions, opting instead for comprehensive figures, tables, diagrams, and other explanatory material
Granting access to a complementary website that contains example code and useful links to resources that further improve the reader's coding ability
Including test and exam question for the reader's review at the end of each chapter
Engineering students, students of other sciences who rely on computer programming, and professionals in various fields will find this book invaluable when learning to program with C++.
Автор: 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
Автор: 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.
Автор: Avi Bhattacharyya Название: Cybernetics in C++ ISBN: 8793609450 ISBN-13(EAN): 9788793609457 Издательство: Taylor&Francis Рейтинг: Цена: 13320.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: C++ is a powerful, much sought after programming language, but can be daunting to work with, even for engineering professionals. Why is this book so useful? Have you ever wondered:How do keywords like static and virtual change their meanings according to context?What are the similarities and differences between Pointers and References, Pointers and Arrays, Constructors and Copy Constructors, Nested and Local Inner Classes?Why is Multiple Interface Inheritance seen to be beautiful but Multiple Implementation Inheritance considered evil?When is Polymorphism Static or Dynamic, Bounded or Unbounded?Answers on these questions, and much more, are explained in this book, Cybernetics in C++. What makes this text so different and appealing in comparison to existing books on the market?The Bulleted style, as opposed to Prose, produces results much faster, both in learning and referenceRules of Thumb, and further expert Tips are given throughout in how to optimise your codeThe Prospective Evils sections tell you what to avoidThe thorough coverage ensures you will be trained to expert level in each of Imperative, Procedural, Memory & Resource Management, Object Oriented and Generic ProgrammingCybernetics in C++ combines a theoretical overview and practical approach in one book, which should prove to be a useful reference for computer scientists, software programmers, engineers and students in this and related field.
Автор: 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.
Описание: In this pragmatic, down-to-earth guide, you`ll see how applying the core principles of functional programming can result in software designs that model real-world requirements both elegantly and concisely - often more so than an object-oriented approach.
Автор: Reeves Blair, Gaines Benjamin Название: Building for Business: Product Management in Enterprise Software ISBN: 1492024783 ISBN-13(EAN): 9781492024781 Издательство: Wiley Рейтинг: Цена: 5859.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this practical book, two expert product managers provide straightforward guidance for people looking to join the thriving enterprise market. Authors Blair Reeves and Benjamin Gaines explain critical differences between enterprise and consumer products, and deliver strategies for overcoming challenges when building for the enterprise.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
