Автор: Jorgensen Название: Software Testing ISBN: 1466560681 ISBN-13(EAN): 9781466560680 Издательство: Taylor&Francis Рейтинг: Цена: 15310.00 р. Наличие на складе: Поставка под заказ.
Описание: This updated and reorganized fourth edition of Software Testing: A Craftsman's Approach applies the strong mathematics content of previous editions to a coherent treatment of Model-Based Testing for both code-based (structural) and specification-based (functional) testing. These techniques are extended from the usual unit testing discussions to full coverage of less understood levels integration and system testing.? The Fourth Edition: Emphasizes technical inspections and is supplemented by an appendix with a full package of documents required for a sample Use Case technical inspection Introduces an innovative approach that merges the Event-Driven Petri Nets from the earlier editions with the "Swim Lane" concept from the Unified Modeling Language (UML) that permits model-based testing for four levels of interaction among constituents in a System of Systems Introduces model-based development and provides an explanation of how to conduct testing within model-based development environments Presents a new section on methods for testing software in an Agile programming environment Explores test-driven development, reexamines all-pairs testing, and explains the four contexts of software testing Thoroughly revised and updated, Software Testing: A Craftsman’s Approach, Fourth Edition is sure to become a standard reference for those who need to stay up to date with evolving technologies in software testing. Carrying on the tradition of previous editions, it will continue to serve as a valuable reference for software testers, developers, and engineers.
Автор: Zhenjiang Hu Название: Programming Languages and Systems ISBN: 3642106714 ISBN-13(EAN): 9783642106712 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.
Автор: John Field; Vasco Thudichum Vasconcelos Название: Coordination Models and Languages ISBN: 3642020526 ISBN-13(EAN): 9783642020520 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009.
Автор: Jaime Sim?o Sichman; Julian Padget; Sascha Ossowsk Название: Coordination, Organizations, Institutions, and Norms in Agent Systems III ISBN: 3540790020 ISBN-13(EAN): 9783540790020 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2007. The 23 papers in this volume were carefully selected from 38 initial submissions.
Автор: Pablo Noriega; Javier V?zquez-Salceda; Guido Boell Название: Coordination, Organizations, Institutions, and Norms in Agent Systems II ISBN: 3540744576 ISBN-13(EAN): 9783540744573 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2006, held as 2 events at AAMAS 2006, the 5th Joint Conference on Autonomous Agents and Multiagent Systems in Japan, and ECAI 2006, the 17th European Conference on Artificial Intelligence in Italy.
Автор: Jomi Fred Hubner; Eric T Matson; Olivier Boissier; Название: Coordination, Organizations, Institutions and Norms in Agent Systems IV ISBN: 3642004423 ISBN-13(EAN): 9783642004421 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains sections that range from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.
Автор: Stefano Mariani Название: Coordination of Complex Sociotechnical Systems ISBN: 3319471082 ISBN-13(EAN): 9783319471082 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book discusses the main issues of coordination in complex sociotechnical systems, covering distributed, self-organising, and pervasive systems. A chemistry-inspired model of coordination, a situated architecture and coordination language, and a cognitive model of interaction are the ingredients of the Molecules of Knowledge (MoK) model for self-organisation of knowledge presented in this book. The MoK technology is discussed, along with some case studies in the fields of collaborative systems, academic research, and citizen journalism.The target audience includes researchers and practitioners in the field of complex software systems engineering. The book is also appropriate for graduate and late undergraduate students in computer science and engineering.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015.
Автор: G. Ramalingam Название: Programming Languages and Systems ISBN: 3540893296 ISBN-13(EAN): 9783540893295 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008. This book covers topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, and software security.
Автор: Andrew Gordon Название: Programming Languages and Systems ISBN: 3642119565 ISBN-13(EAN): 9783642119569 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 19th European Symposium on Programming, ESOP 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Автор: Matteo Baldoni; Tran Cao Son; Birna van Riemsdijk; Название: Declarative Agent Languages and Technologies VI ISBN: 3540939199 ISBN-13(EAN): 9783540939191 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Covers the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008.
Автор: Matteo Baldoni; Jamal Bentahar; M. Birna van Riems Название: Declarative Agent Languages and Technologies VII ISBN: 3642113540 ISBN-13(EAN): 9783642113543 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 7th International Workshop DALT 2009 Budapest Hungary May 11 2009 Revised Selected and Invited Pape. .
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
