Limitations in AUML's Roles Specification.

Jean-Luc Koning Ivan Romero-Hernandez

Published in: Intelligent Information Processing (2004)

Keyphrases

high level
machine learning
information systems
website
data structure
reactive systems
databases
genetic algorithm
artificial intelligence
three dimensional
user interface
object oriented
user defined
formal specification
formal verification