Automated Software Testing: Foundations, Applications and Challenges, Jena Ajay Kumar, Das Himansu, Mohapatra Durga Prasad
Автор: Ina Schieferdecker; Alan Hartman Название: Model Driven Architecture - Foundations and Applications ISBN: 3540690956 ISBN-13(EAN): 9783540690955 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The fourth edition of the European Conference on Model-Driven Architecture - Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology.
Автор: Mishra Bhabani Shankar Prasad, Das Himansu, Dehuri Satchidananda Название: Cloud Computing for Optimization: Foundations, Applications, and Challenges ISBN: 3319736752 ISBN-13(EAN): 9783319736754 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351304 ISBN-13(EAN): 9780792351306 Издательство: Springer Рейтинг: Цена: 234790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Bhabani Shankar Prasad Mishra; Himansu Das; Satchi Название: Cloud Computing for Optimization: Foundations, Applications, and Challenges ISBN: 3030088324 ISBN-13(EAN): 9783030088323 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351290 ISBN-13(EAN): 9780792351290 Издательство: Springer Рейтинг: Цена: 266470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351312 ISBN-13(EAN): 9780792351313 Издательство: Springer Рейтинг: Цена: 186290.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Milazzo Название: Software Technologies: Applications and Foundations ISBN: 3319502298 ISBN-13(EAN): 9783319502298 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Seidl Название: Software Technologies: Applications and Foundations ISBN: 3319747290 ISBN-13(EAN): 9783319747293 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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 Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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).
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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
