Description Logic, Theory Combination, and All That, Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Ya

Автор: Piotr Kosiuczenko; Lech Madeyski
Название: Towards a Synergistic Combination of Research and Practice in Software Engineering
ISBN: 331987974X ISBN-13(EAN): 9783319879741
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Поставка под заказ.
Описание: 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.

Автор: Piotr Kosiuczenko; Lech Madeyski
Название: Towards a Synergistic Combination of Research and Practice in Software Engineering
ISBN: 3319652079 ISBN-13(EAN): 9783319652078
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Mario Prats; ?ngel P. del Pobil; Pedro J. Sanz
Название: Robot Physical Interaction through the combination of Vision, Tactile and Force Feedback
ISBN: 364244315X ISBN-13(EAN): 9783642443152
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Ioannis Hatzilygeroudis; Vasile Palade; Jim Prentz
Название: Combinations of Intelligent Methods and Applications
ISBN: 3319268589 ISBN-13(EAN): 9783319268583
Издательство: Springer
Рейтинг:
Цена: 104480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Evolutionary Landscape and Management of Population Diversity.- Probabilistic Planning in AgentSpeak Using the POMDP -Framework.- Ant-Based System Analysis on the Traveling Salesman Problem Under Real_World Settings.- Verifying Compliance for Business Process Logs with a Hybrid Logic Model Checker.- Smarter Electricity and Argumentation Theory.- Online Argumentation-based Platform for Recommending Medical Literature.- Medical Image Processing: A brief Survey and a New Theoretical Hybrid ACO Model.- Smoke Detection in Environmental Regions by Means of Computer Vision.