Automated Software Testing: Foundations, Applications and Challenges, Jena Ajay Kumar, Das Himansu, Mohapatra Durga Prasad
Автор: Mishra Bhabani Shankar Prasad, Das Himansu, Dehuri Satchidananda Название: Cloud Computing for Optimization: Foundations, Applications, and Challenges ISBN: 3319736752 ISBN-13(EAN): 9783319736754 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Nature Inspired Optimizations in Cloud Computing: Applications and Challenges.- Resource Allocation in Cloud Computing Using OptimizationTechniques.- Energy Aware Resource Allocation Model for IaaS Optimization.- A Game Theoretic Model for Cloud Federation.- Resource Provisioning Strategy for Scientific Workflows in Cloud Computing Environment.- Consolidation in Cloud Environment Using OptimizationTechniques.
Автор: Seidl Название: Software Technologies: Applications and Foundations ISBN: 3319747290 ISBN-13(EAN): 9783319747293 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Scalable Model Driven Engineering (BigMDE).- Graph Computation Models (GCM).- Grand Challenges in Modeling (GRAND).- Model-Driven Robot Software Engineering (MORSE).- OCL and Textual Modeling (OCL).- Projects Showcase.
Автор: Manuel Mazzara, Iulian Ober Название: Software technologies : applications and foundations : STAF 2018 ISBN: 3030047709 ISBN-13(EAN): 9783030047702 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS).- From Data to Models and Back (DataMod).- Formal Methods for Interactive Systems (FMIS).- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA).- Graph Computation Models (GCM).- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun).- Microservices: Science and Engineering (MSE).- Security for and by Model-Driven Engineering (MDE).
Описание: This book discusses harnessing the real power of cloud computing in optimization problems, presenting state-of-the-art computing paradigms, advances in applications, and challenges concerning both the theories and applications of cloud computing in optimization with a focus on diverse fields like the Internet of Things, fog-assisted cloud computing, and big data. In real life, many problems – ranging from social science to engineering sciences – can be identified as complex optimization problems. Very often these are intractable, and as a result researchers from industry as well as the academic community are concentrating their efforts on developing methods of addressing them. Further, the cloud computing paradigm plays a vital role in many areas of interest, like resource allocation, scheduling, energy management, virtualization, and security, and these areas are intertwined with many optimization problems. Using illustrations and figures, this book offers students and researchers a clear overview of the concepts and practices of cloud computing and its use in numerous complex optimization problems.
Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Описание: BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Автор: Milazzo Название: Software Technologies: Applications and Foundations ISBN: 3319502298 ISBN-13(EAN): 9783319502298 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016.
A well-structured test automation suite is essential to meet the budget demand and tight deadlines for today's IT projects. Integrating Oracle Application Testing Suite (OATS) with Oracle Applications will teach readers how to effectively use various test tools to assist with an IT project’s demanding schedule. Using Oracle Application Testing Suite, you will learn to successfully record and playback test scripts for Oracle Functional Testing as well as Oracle Load Testing. Also covered in this text: how to effectively install OATS Servers/Agents and manage them, how to install and use OpenScript, Eclipse-based IDE for OATS, to efficiently record, edit and playback various test scripts. Additionally, readers will learn how to integrate OATS with Oracle Application namely Siebel CRM to optimize automated test solutions. There is no other resource available with the extensive code samples and walk-throughs that are available within this book. After reading Integrating Oracle Application Testing Suite (OATS) with Oracle Applications, you will understand how to leverage some of the most important automated test components available to the developer.
Here are the applications that this book pertains to:
ORACLE EBS OAF Applications
ORACLE EBS Forms Applications
ORACLE ADF Applications
ORACLE Siebel Applications
ORACLE JD Edwards Enterprise one applications
PeopleSoft applications
ORACLE Fusion applications
Custom Web Applications
Cloud Applications
Adobe Flex applications
Joon-Taek "JT" Lee has over 13 years of professional IT experience primarily in different Oracle applications. He is the founder of JinelSys, LLC, IT Consulting firm. He worked in various IT Consulting companies including 5 years in Oracle before starting his own company. JT earned a BS and a MS at Virginia Polytechnic Institute and State University, aka Virginia Tech. Currently, JT lives with a beautiful wife, Jaeyun and a son, Noah and a daughter, Kaitlyn in Northern Virginia. An avid sports fan, JT hopes to see his beloved Virginia Tech Football Team winning a national championship one day and/or South Korea/USA winning the World Cup one day.
Автор: Palani, Narayanan Название: Automated software testing with cypress ISBN: 0367699540 ISBN-13(EAN): 9780367699543 Издательство: Taylor&Francis Рейтинг: Цена: 5970.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Unit Integration Testing (UIT) had been a challenge because there had been no one tool that helped in XHR programming and unit integration validations in an efficient way until Cypress arrived. Cypress started releasing versions in 2015 and started becoming popular in 2018 with version 2.0.0.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
