Автор: Inoue Katsuro, Roy Chanchal K. Название: Code Clone Analysis: Research, Tools, and Practices ISBN: 9811619263 ISBN-13(EAN): 9789811619267 Издательство: Springer Цена: 19514.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems.
Описание: Are you working on a codebase where cost overruns, death marches, and heroic fights with legacy code monsters are the norm? Battle these adversaries with novel ways to identify and prioritize technical debt, based on behavioral data from how developers work with code. And that`s just for starters.
Автор: 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.
Описание: This book provides a detailed “how-to” guide, addressing aspects ranging from analysis and design to the implementation of applications, which need to be integrated within legacy applications and databases.The analysis and design of the next generation of software architectures must address the new requirements to accommodate the Internet of things (IoT), cybersecurity, blockchain networks, cloud, and quantum computer technologies. As 5G wireless increasingly establishes itself over the next few years, moving legacy applications into these new architectures will be critical for companies to compete in a consumer-driven and social media-based economy. Few organizations, however, understand the challenges and complexities of moving from a central database legacy architecture to a ledger and networked environment.The challenge is not limited to just designing new software applications. Indeed, the next generation needs to function more independently on various devices, and on more diverse and wireless-centric networks. Furthermore, databases must be broken down into linked list-based blockchain architectures, which will involve analytic decisions regarding which portions of data and metadata will be processed within the chain, and which ones will be dependent on cloud systems. Finally, the collection of all data throughout these vast networks will need to be aggregated and used for predictive analysis across a variety of competitive business applications in a secured environment. Certainly not an easy task for any analyst/designer!Many organizations will continue to use packaged products and open-source applications. These third-party products will need to be integrated into the new architecture paradigms and have seamless data aggregation capabilities, while maintaining the necessary cyber compliances. The book also clearly defines the roles and responsibilities of the stakeholders involved, including the IT departments, users, executive sponsors, and third-party vendors. The book’s structure also provides a step-by-step method to help ensure a higher rate of success in the context of re-engineering existing applications and databases, as well as selecting third-party products, conversion methods and cybercontrols. It was written for use by a broad audience, including IT developers, software engineers, application vendors, business line managers, and executives.
Автор: Vittorio Cortellessa; Antinisca Di Marco; Paola In Название: Model-Based Software Performance Analysis ISBN: 3642427618 ISBN-13(EAN): 9783642427619 Издательство: Springer Рейтинг: Цена: 6702.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book details both the basic concepts of software performance analysis and state-of-the-art methodologies. It starts from performance primers and goes through software and performance modeling notations to the latest transformation-based methodologies.
Concurrent and Distributed Systems.- Checking Deadlock-Freedom of Parametric Component-Based Systems.- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability.- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude.- Multi-Core On-The-Fly Saturation.- Monitoring and Runtime Verification.- Specification and Efficient Monitoring Beyond STL.- VyPR2: A Framework for Runtime Verification of Python Web Services.- Constraint-based Monitoring of Hyperproperties.- Hybrid and Stochastic Systems.- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments.- Computing the Expected Execution Time of Probabilistic Workflow Nets.- Shepherding Hordes of Markov Chains.- Optimal Time-Bounded Reachability Analysis for Concurrent Systems.- Synthesis.- Minimal-Time Synthesis for Parametric Timed Automata.- Environmentally-friendly GR(1) Synthesis.- StocHy: automated verification and synthesis of stochastic processes.- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.- Symbolic Verification.- iRank: a variable order metric for DEDS subject to linear invariants.- Binary Decision Diagrams with Edge-Specified Reductions.- Effective Entailment Checking for Separation Logic with Inductive Definitions.- Safety and Fault-Tolerant Systems.- Digital Bifurcation Analysis of TCP Dynamics.- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking.- Measuring Masking Fault-Tolerance.- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.
Автор: S?bastien Ferr?; Sebastian Rudolph Название: Formal Concept Analysis ISBN: 3642018149 ISBN-13(EAN): 9783642018145 Издательство: Springer Рейтинг: Цена: 9146.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. This book includes the papers that present results in Formal Concept Analysis and related fields.
Автор: Axel Legay; Tiziana Margaria Название: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 3662545799 ISBN-13(EAN): 9783662545799 Издательство: Springer Рейтинг: Цена: 8537.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-book set LNCS 10205 ] 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.
Автор: Sandrine Blazy; Thomas Jensen Название: Static Analysis ISBN: 3662482878 ISBN-13(EAN): 9783662482872 Издательство: Springer Рейтинг: Цена: 6830.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions.
Автор: Ugo Dal Lago; Ricardo Pe?a Название: Foundational and Practical Aspects of Resource Analysis ISBN: 331912465X ISBN-13(EAN): 9783319124650 Издательство: Springer Рейтинг: Цена: 4879.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. They deal with traditional approaches to complexity analysis, differential privacy, and probabilistic analysis of programs.
Автор: Smiraglia, Richard Название: Domain Analysis For Knowledge Organization ISBN: 0081001509 ISBN-13(EAN): 9780081001509 Издательство: Elsevier Science Рейтинг: Цена: 9262.00 р. Наличие на складе: Нет в наличии.
Описание: High Quality Content by WIKIPEDIA articles! Motorpsycho (initiated 1989 at Trondertun, Melhus, Norway) is a band from Trondheim. Their music can generally be defined as psychedelic rock, but they also mix in elements from metal, jazz, post-rock, pop and many other musical styles. The members of the band are Bent Saether (born February 18, 1969, bass/vocals), Hans Magnus "Snah" Ryan (born December 31, 1969, guitar/vocals) and Kenneth Kapstad (born April 20, 1979 drums). Until March 2005, Hakon Gebhardt (born June 21, 1969, drums) was also an integral part of the band. A press release concerning his departure is published at the Unofficial Website. In December 2007 it was announced that former Gate drummer Kenneth Kapstad was the new drummer in the band as well as an official band member. Dannoe izdanie predstavlyaet soboj kompilyatsiyu svedenij, nahodyaschihsya v svobodnom dostupe v srede Internet v tselom, i v informatsionnom setevom resurse "Vikipediya" v chastnosti. Sobrannaya po chastotnym zaprosam ukazannoj tematiki, dannaya kompilyatsiya postroena po printsipu podbora blizkih informatsionnyh ssylok, ne imeet samostoyatelnogo syuzheta, ne soderzhit nikakih analiticheskih materialov, vyvodov, otsenok moralnogo, eticheskogo, politicheskogo, religioznogo i mirovozzrencheskogo haraktera v otnoshenii glavnoj tematiki, predstavlyaya soboj isklyuchitelno faktologicheskij material. This book was created using print-on-demand technology.
Автор: Gribaudo & Lacono Название: Theory And Application Of Multi-Formalism Modeling ISBN: 1466646594 ISBN-13(EAN): 9781466646599 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 28413.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With complex systems and complex requirements being a challenge that designers must face to reach quality results, multi-formalism modeling offers tools and methods that allow modelers to exploit the benefits of different techniques in a general framework intended to address these challenges.Theory and Application of Multi-Formalism Modeling boldly explores the importance of this topic by gathering experiences, theories, applications, and solutions from diverse perspectives of those involved with multi-formalism modeling. Professionals, researchers, academics, and students in this field will be able to critically evaluate the latest developments and future directions of multi-formalism research.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
