Описание: 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.
Автор: 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.
Автор: Mohr Название: Automated Software and Service Composition ISBN: 3319341677 ISBN-13(EAN): 9783319341675 Издательство: Springer Рейтинг: Цена: 6097.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 Рейтинг: Цена: 10610.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.
Автор: Bratton Benjamin H. Название: The Stack: On Software and Sovereignty ISBN: 026202957X ISBN-13(EAN): 9780262029575 Издательство: Random House (USA) Рейтинг: Цена: 7587.00 р. Наличие на складе: Нет в наличии.
Описание:
A comprehensive political and design theory of planetary-scale computation proposing that The Stack -- an accidental megastructure -- is both a technological apparatus and a model for a new geopolitical architecture.
What has planetary-scale computation done to our geopolitical realities? It takes different forms at different scales -- from energy and mineral sourcing and subterranean cloud infrastructure to urban software and massive universal addressing systems; from interfaces drawn by the augmentation of the hand and eye to users identified by self -- quantification and the arrival of legions of sensors, algorithms, and robots. Together, how do these distort and deform modern political geographies and produce new territories in their own image?
In The Stack, Benjamin Bratton proposes that these different genres of computation -- smart grids, cloud platforms, mobile apps, smart cities, the Internet of Things, automation -- can be seen not as so many species evolving on their own, but as forming a coherent whole: an accidental megastructure called The Stack that is both a computational apparatus and a new governing architecture. We are inside The Stack and it is inside of us.
In an account that is both theoretical and technical, drawing on political philosophy, architectural theory, and software studies, Bratton explores six layers of The Stack: Earth, Cloud, City, Address, Interface, User. Each is mapped on its own terms and understood as a component within the larger whole built from hard and soft systems intermingling -- not only computational forms but also social, human, and physical forces. This model, informed by the logic of the multilayered structure of protocol "stacks," in which network technologies operate within a modular and vertical order, offers a comprehensive image of our emerging infrastructure and a platform for its ongoing reinvention.
The Stack is an interdisciplinary design brief for a new geopolitics that works with and for planetary-scale computation. Interweaving the continental, urban, and perceptual scales, it shows how we can better build, dwell within, communicate with, and govern our worlds.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
