An Inspection Technique Proposal for the Verification of Requirements Specification Documents for Multi-Agent Systems.
Giovane D'Avila MendonçaGilleanes Thorwald Araujo GuedesIderli Pereira de Souza FilhoPublished in: ICAART (1) (2022)
Keyphrases
- requirements specification
- multi agent systems
- document collections
- software systems
- information retrieval
- specification language
- requirements engineering
- software engineering
- xml documents
- software requirements
- multi agent
- model checking
- cooperative
- information retrieval systems
- case study
- machine learning
- knowledge management
- development process
- dynamic environments
- domain specific
- database
- user interface
- databases