Specification of Bahavioural Requirements within Compositional Multi-agent System Design
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Temporal semantics of compositional task models and problem solving methodsData & Knowledge Engineering, 1999
- Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic LogicPublished by Springer Nature ,1999
- A Formal Knowledge Level Process Model of Requirements EngineeringPublished by Springer Nature ,1999
- Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and ReactivenessPublished by Springer Nature ,1998
- A Brief Introduction to Software Agent TechnologyPublished by Springer Nature ,1998
- Scenarios in system development: current practiceIEEE Software, 1998
- ALBERT: A formal language and its supporting tools for requirements engineeringPublished by Springer Nature ,1998
- Intelligent AgentsPublished by Springer Nature ,1995