Combining Agent-Oriented Conceptual Modelling with Formal Methods.
Sergiy A. VilkomirAditya K. GhoseAneesh KrishnaPublished in: Australian Software Engineering Conference (2004)
Keyphrases
- formal methods
- agent oriented
- conceptual modelling
- data abstraction
- formal specification
- development process
- multi agent
- multi agent systems
- software development
- model checking
- agent technology
- conceptual schema
- software engineering
- agent systems
- knowledge based systems
- artificial intelligence
- entity relationship
- conceptual model
- virtual organization
- agent oriented software engineering
- conceptual models
- relational databases
- intelligent agents
- conceptual modeling
- programming language
- object oriented