Executable Specifications for Agent Oriented Conceptual Modelling.
Ying GuanAditya K. GhosePublished in: IAT (2005)
Keyphrases
- agent oriented
- conceptual modelling
- formal specification
- data abstraction
- conceptual models
- multi agent systems
- multi agent
- agent technology
- software development
- conceptual model
- agent systems
- development process
- reverse engineering
- model checking
- entity relationship
- conceptual schema
- agent oriented software engineering
- virtual organization
- mobile agents
- general theory
- software engineering
- information systems