Automated Software Engineering: A Deep Learning-Based Approach, Suresh Chandra Satapathy; Ajay Kumar Jena; Jaganna
Автор: Gamma, Erich Helm, Richard Johnson, Ralph Vissides Название: Design Patterns: Elements of Reusable Object-Oriented Software ISBN: 0201633612 ISBN-13(EAN): 9780201633610 Издательство: Pearson Education Рейтинг: Цена: 9700.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a catalog of simple solutions to commonly occurring design problems. These 23 patterns allow designers to create more reusable designs without having to rediscover the design solutions themselves. The authors begin by describing what patterns are, and how they can help you design object-oriented software.
Описание: 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.
Автор: Mohr Название: Automated Software and Service Composition ISBN: 3319341677 ISBN-13(EAN): 9783319341675 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is by far the most systematic and comprehensive review of the field of automated software composition. Based on a formally described and reproducible methodology, it critically discusses the approaches, which are relevant for experts interested in an organized overview of related work. It also provides an introduction and intuitive classification system for researchers new to the field.In order to create this survey, several dozen papers were analyzed with respect to the concrete problems they tackle and the proposed solutions. It delivers both an overview and a qualitative comparison of the approaches, and answers three research questions: What types of automated software composition problems exist? In which use cases do these problems typically occur? And what are the most prominent solution paradigms for the different types? Overall, this book saves a great deal of time for everyone pursuing research in the area of automated software composition who needs a comprehensive guide that helps them understand the field, and that relates new approaches to existing ones.
Описание: Featuring the latest research on this widely studied and emerging topic in the field of autonomous agents and multi-agent systems, the two sections in this book cover agent-based complex automated negotiations and automated negotiation agents competition.
Автор: D. Loveland; Johann M. Schumann Название: Automated Theorem Proving in Software Engineering ISBN: 3642087590 ISBN-13(EAN): 9783642087592 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited collections exist; one of the best is by Bibel and Schmitt, 1998: see this book's bibliogra- phy. ) As we note below, this book does not simply document a brilliant but isolated undertaking. Rather, the book makes clear that a small but steady, and increasing, stream of real-world applications is now appearing. The childhood and adolescence of ATP was both prolonged and spiked with brilliance. The birth year of the field should probably be set as 1956, when the Logic Theorist paper was published by Newell, Shaw and Simon. (However, most likely the first computer generated mathematical proof ap- peared in 1954 as output of a program for Pressburger arithmetic, written by Martin Davis. The work was not published at the time.
Описание: Software testing is a critical stage in software development that ensures that a program meets required specifications and is free of bugs. In this handbook, Cem Kaner and James Bach, two of the world`s leading testing experts help you avoid testing errors without the trial and error it normally takes to do so.
Описание: This book will present the CO-FOSS approach to teaching software development. It will be both a textbook and a reference book for instructors, students, and software developers who are interested in the CO-FOSS approach.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
