Formal Approaches to Agent-Based Systems, Michael G. Hinchey; James L. Rash; Walter F. Trusz

Автор: James L. Rash; Christopher A. Rouff; Walter Truszk
Название: Formal Approaches to Agent-Based Systems
ISBN: 3540427163 ISBN-13(EAN): 9783540427162
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, 2000. The work presents 22 revised papers and 13 posters organized in topical sections including; verifying agents` mental states, synthesizing agents initially and modelling.

Автор: Ivan Radojevic; Zoran Salcic
Название: Embedded Systems Design Based on Formal Models of Computation
ISBN: 9401784159 ISBN-13(EAN): 9789401784153
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents a model of computation for heterogeneous embedded systems called DFCharts. It targets heterogeneous systems by combining finite state machines (FSM) with synchronous dataflow graphs (SDFG).

Автор: Dietmar Winkler; Stefan Biffl; Johannes Bergsmann
Название: Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering
ISBN: 3319036017 ISBN-13(EAN): 9783319036014
Издательство: Springer
Рейтинг:
Цена: 6429.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part: Keynote.- Software Quality Assurance by Static Program Analysis.- Part: Software Process Improvement and Measurement.- An Industry Ready Defect Causal Analysis Approach Exploring Bayesian Networks.- Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study (Short Paper).- Dealing with Technical Debt in Agile Development Projects (Short Paper).- Part: Requirements Management.- Statistical Analysis of Requirements Prioritization for Transition to Web Technologies: A Case Study in an Electric Power Organization.- Challenges and Solutions in Global Requirements Engineering - A Literature Survey (Short Paper).- Automated Feature Identification in Web Applications (Short Paper).- Part: Value-Based Software Engineering.- Value-Based Migration of Legacy Data Structures.- Part: Software and Systems Testing.- An Integrated Analysis and Testing Methodology to Support Model-Based Quality Assurance.- Effects of Test-Driven Development: A Comparative Analysis of Empirical Studies (Short Paper).- Isolated Testing of Software Components in Distributed Software Systems (Short Paper).- Part: Automation-Supported Testing.- Automated Test Generation for Java Generics (Short Paper).- Constraint-Based Automated Generation of Test Data (Short Paper).- Part: Quality Assurance and Collaboration.- RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution (Short Paper).- Directing High-Performing Software Teams: Proposal of a Capability-Based Assessment Instrument Approach (Short Paper).

Автор: Katsuhide Fujita; Quan Bai; Takayuki Ito; Minjie Z
Название: Modern Approaches to Agent-based Complex Automated Negotiation
ISBN: 3319515616 ISBN-13(EAN): 9783319515618
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book addresses several important aspects of complex automated negotiations and introduces a number of modern approaches for facilitating agents to conduct complex negotiations.

Автор: Gilles Barthe
Название: Formal Methods for Open Object-Based Distributed Systems
ISBN: 3540688625 ISBN-13(EAN): 9783540688624
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;

Автор: Michael G. Hinchey; Patricia Rago; James L. Rash;
Название: Innovative Concepts for Autonomic and Agent-Based Systems
ISBN: 3540692657 ISBN-13(EAN): 9783540692652
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the Second International Workshop on Radical Agent Concepts, WRAC 2005, held in Greenbelt, MD, USA in September 2005. This book addresses such topics as: social aspects of agents, agent architectures, autonomic systems, agent communities, and agent intelligence.