Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security, Păsăreanu Corina S.
Автор: Beckner, Mark Название: Upgrading and migrating to biztalk server 2016 ISBN: 1501515071 ISBN-13(EAN): 9781501515071 Издательство: Walter de Gruyter Рейтинг: Цена: 7994.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
There are a variety of considerations you'll need to take into account when migrating your solutions to BizTalk 2016. In this book, you'll find detailed information about how to migrate your components "as-is," as well as recompile them with the latest version of Visual Studio. You'll look at ways to improve your components pre-migration, as well as troubleshoot issues within these components. You'll learn how to make intelligent mapping updates, especially with XSLT, and how to simplify your overall architecture. Additionally, working with BizTalk 2016 in an Azure environment and building BizTalk Azure Services are covered.
Readers will look at migrating maps, orchestrations, .NET assemblies, database components, EDI parties and configurations, and other artifacts found in BizTalk solutions. They will also be able to quickly come to an understanding of what will be involved in a migration and what will be required for resourcing and costs associated with a migration. Readers will find information that will cover virtually every aspect of their upgrade to BizTalk 2016, and should come away with a simpler solution once that migration is complete.
Автор: Roger Lee Название: Software Engineering Research, Management and Applications ISBN: 3319009478 ISBN-13(EAN): 9783319009476 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Security Certification Model for Mobile.- On Formalising Policy Refinement in Grid Virtual Organisations.- Exploring a Model-Oriented and Executable Syntax for UML Attributes.- A Case Study in Defect Measurement and Root Cause Analysis in a Turkish Software Organization.- Extending UML/MARTE-GRM For Integrating Tasks Migrations In Class Diagrams.- Towards a Protocol Algebra based on Algebraic Specifications.- A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification.- An Empirical Study on the Relationship between User Characteristics and Quality Factors for Effective Shopping Mall Websites Implementation.- Improving Code Generation for Associations: Enforcing Multiplicity Constraints and Ensuring Referential Integrity.- How Process Enactment Data Affects Product Defectiveness Prediction - A Case Study.- Modeling Business and Requirements Relationships for Architectural Pattern Selection.- Introducing Critical Thinking to Software Engineering Education.- Activity Diagrams Patterns for Modeling Business.- S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tunable Safety-oriented Processes.- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas.- Repository-Centric Process Modeling Example of a Pattern Based Development Process.- Applying CBD to Build Mobile Service Applications.
Автор: Lano Название: UML 2 Semantics and Applications ISBN: 0470409088 ISBN-13(EAN): 9780470409084 Издательство: Wiley Рейтинг: Цена: 19317.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: With an up-to-date view of the results of UML semantics and the practical applications of semantics development, this book presents the only coherent and integrated account of the leading UML 2 semantics work and its applications.
Название: Handbook of Finite State Based Models and Applications ISBN: 1138199354 ISBN-13(EAN): 9781138199354 Издательство: Taylor&Francis Рейтинг: Цена: 9492.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering. Handbook of Finite State Based Models and Applications provides a complete collection of introductory materials on finite state theories, algorithms, and the latest domain applications. For beginners, the book is a handy reference for quickly looking up model details. For more experienced researchers, it is suitable as a source of in-depth study in this area.
The book first introduces the fundamentals of automata theory, including regular expressions, as well as widely used automata, such as transducers, tree automata, quantum automata, and timed automata. It then presents algorithms for the minimization and incremental construction of finite automata and describes Esterel, an automata-based synchronous programming language for embedded system software development.
Moving on to applications, the book explores regular path queries on graph-structured data, timed automata in model checking security protocols, pattern matching, compiler design, and XML processing. It also covers other finite state-based modeling approaches and applications, including Petri nets, statecharts, temporal logic, and UML state machine diagrams.
Автор: Jezreel Mejia; Mirna Mu?oz; ?lvaro Rocha; Tomas Sa Название: Trends and Applications in Software Engineering ISBN: 3319485229 ISBN-13(EAN): 9783319485225 Издательство: Springer Рейтинг: Цена: 23757.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book offers a selection of papers from the 2016 International Conference on Software Process Improvement (CIMPS’16), held between the 12th and 14th of October 2016 in Aguascalientes, Aguascalientes, M?xico. The CIMPS’16 is a global forum for researchers and practitioners to present and discuss the most recent innovations, trends, results, experiences and concerns in the different aspects of software engineering with a focus on, but not limited to, software processes, security in information and communication technology, and big data.
The main topics covered include: organizational models, standards and methodologies, knowledge management, software systems, applications and tools, information and communication technologies and processes in non-software domains (mining, automotive, aerospace, business, health care, manufacturing, etc.) with a clear focus on software process challenges.
Описание: This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic constraints collected from the branching conditions in the program. The obtained solutions can be used as test inputs that execute feasible program paths. Symbolic execution has found many applications in various domains, such as security, smartphone applications, operating systems, databases, and more recently deep neural networks, uncovering subtle errors and unknown vulnerabilities. We review here the technique has also been extended to reason about algorithmic complexity and resource consumption.
Furthermore, symbolic execution has been recently extended with probabilistic reasoning, allowing one to reason about quantitative properties of software systems. The approach computes the conditions to reach target program events of interest and uses model counting to quantify the fraction of the input domain satisfying these conditions thus computing the probability of event occurrence. This probabilistic information can be used for example to compute the reliability of an aircraft controller under different wind conditions (modeled probabilistically) or to quantify the leakage of sensitive data in a software system, using information theory metrics such as Shannon entropy.
This book is intended for students and software engineers who are interested in advanced techniques for testing and verifying software systems.
Описание: Gives the reader the ability to set up a proper test environment and conduct software performance and scalability tests. Uses many examples showing software performance problems and applicable solutions. Contains a number of case studies to assist the reader with comprehending all aspects of software performance and scalability.
Описание: This book constitutes the refereed proceedings of the 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2021, held in Prague, Czech Republic, in September 2021. The 48 full papers presented in this volume were carefully reviewed and selected from 63 submissions.
Описание: Enterprise resource planning (ERP) is a class of integrated software that uses software technologies to implement real-time management of business processes in an organization. ERPs normally cut across organizations, making them large and complex. Software researchers have for many years established that complexity affects software quality negatively and must therefore be controlled with novel metrics and models of evaluation that can determine when the software is at acceptable levels of quality and when not. Metrics and Models for Evaluating the Quality and Effectiveness of ERP Software is a critical scholarly publication that examines ERP development, performance, and challenges in business settings to help improve decision making in organizations that have embraced ERPs, improve the efficiency and effectiveness of their activities, and improve their return on investments (ROI). Highlighting a wide range of topics such as data mining, higher education, and security, this book is essential for professionals, software developers, researchers, academicians, and security professionals.
Описание: Enterprise resource planning (ERP) is a class of integrated software that uses software technologies to implement real-time management of business processes in an organization. ERPs normally cut across organizations, making them large and complex. Software researchers have for many years established that complexity affects software quality negatively and must therefore be controlled with novel metrics and models of evaluation that can determine when the software is at acceptable levels of quality and when not. Metrics and Models for Evaluating the Quality and Effectiveness of ERP Software is a critical scholarly publication that examines ERP development, performance, and challenges in business settings to help improve decision making in organizations that have embraced ERPs, improve the efficiency and effectiveness of their activities, and improve their return on investments (ROI). Highlighting a wide range of topics such as data mining, higher education, and security, this book is essential for professionals, software developers, researchers, academicians, and security professionals.
Автор: Brahim Hamid; Barbara Gallina; Asaf Shabtai; Yuval Название: Security and Safety Interplay of Intelligent Software Systems ISBN: 3030168735 ISBN-13(EAN): 9783030168735 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the International Workshop on Interplay of Security, Safety and System/Software Architecture, CSITS 2018, and the International Workshop on Cyber Security for Intelligent Transportation Systems, ISSA 2018, held in Barcelona, Spain, in September 2018, in conjunction with the 23rd European Symposium on Research in Computer Security, ESORICS 2018.The ISSA 2018 workshop received 10 submissions from which 3 full papers and 1 short paper were accepted. They cover topics such as software security engineering, domain-specific security and privacy architectures, and automative security. In addition, an invited paper on safety and security co-engineering intertwining is included. The CSITS 2018 workshop received 9 submissions from which 5 full papers and 1 short paper were accepted. The selected papers deal with car security and aviation security.
Автор: Witold Pedrycz; Giancarlo Succi; Alberto Sillitti Название: Computational Intelligence and Quantitative Software Engineering ISBN: 3319259628 ISBN-13(EAN): 9783319259628 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In a down-to-the earth manner, the volume lucidly presents how the fundamental concepts, methodology, and algorithms of Computational Intelligence are efficiently exploited in Software Engineering and opens up a novel and promising avenue of a comprehensive analysis and advanced design of software artifacts.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
