Описание: This book reports on recent advances in software engineering research and practice. Divided into 15 chapters, it addresses: languages and tools; development processes; modelling, simulation and verification; and education. In the first category, the book includes chapters on domain-specific languages, software complexity, testing and tools. In the second, it reports on test-driven development, processing of business rules, and software management. In turn, subsequent chapters address modelling, simulation and verification of real-time systems, mobile systems and computer networks, and a scrum-based framework. The book was written by researchers and practitioners, the goal being to achieve a synergistic combination of research results achieved in academia and best practices used in the industry, and to provide a valuable reference guide for both groups.
Автор: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Ya Название: Description Logic, Theory Combination, and All That ISBN: 3030221016 ISBN-13(EAN): 9783030221010 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Festschrift has been put together on the occasion of Franz Baader's 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover several scientific areas that Franz Baader has been working on during the last three decades, including description logics, term rewriting, and the combination of decision procedures. We hope that readers will enjoy the articles gathered in Franz's honour and appreciate the breadth and depth of his favourite areas of computer science.
Описание: This book presents the framework for the versatile specification of physical interaction tasks, as well as the problem of autonomous planning of these tasks. It details novel grasp-task sensor-based control methods using vision, tactile and force feedback.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
