Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
UML toolkit
Understanding UML: the developer's guide: with a Web-based application in Java
Understanding UML: the developer's guide: with a Web-based application in Java
A brief introduction to software agent technology
Agent technology
Temporal semantics of compositional task models and problem solving methods
Data & Knowledge Engineering
A formal knowledge level process model of requirements engineering
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Requirements Engineering: A Good Practice Guide
Requirements Engineering: A Good Practice Guide
A Discipline of Programming
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Scenarios in System Development: Current Practice
IEEE Software
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
From Early to Late Formal Requirements: A Process-Control Case Study
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Temporal Languages for Simulation and Analysis of the Dynamics within an Organisation
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
UML Class Diagrams Revisited in the Context of Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Cross-Domain Interoperability: A Case Study
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
A three-dimensional abstraction framework to compare multi-agent system models
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume PartI
Reasoning by assumption: formalisation and analysis of human reasoning traces
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Requirements analysis of an agent’s reasoning capability
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
A formal approach to design and reuse agent and multiagent models
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Modelling the dynamics of reasoning processes: Reasoning by assumption
Cognitive Systems Research
| Hi-index | 0.00 |
In this paper it is shown how informal and formal specification of behavioural requirements and scenarios for agents and multi-agent systems can be integrated within multi-agent system design. In particular, it is addressed how a compositional perspective both on design descriptions and specification of behavioural requirements can be exploited. The approach has been applied in a case study: the development of a mediating information agent. It is shown that compositional verification benefits from the integration of requirements engineering within the design process.