Declarative representation of curricula models: an LTL- and UML-based approach.

Matteo Baldoni Cristina Baroglio Giuseppe Berio Elisa Marengo

Published in: WOA (2007)

Keyphrases

planning problems
metamodel
artificial intelligence
image representation
database design
software architecture
modeling language
model checking
statistical models
temporal logic
model construction
object oriented modeling