A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements.
Mohamed Amin LaouadiFarid MokhatiHassina Seridi-BouchelaghemPublished in: MATES (2010)
Keyphrases
- formal specification
- functional requirements
- real time
- multi agent systems
- object oriented design
- software design
- software systems
- model checking
- specification languages
- specification language
- cooperative
- software components
- software architecture
- development process
- process algebra
- multi agent
- formal methods
- intelligent agents
- reverse engineering
- software engineering
- expert systems
- autonomous agents
- software agents
- context aware
- relational databases
- knowledge base
- information systems
- artificial intelligence