Sign in
Reasoning on temporal class diagrams: Undecidability results.
Alessandro Artale
Published in:
Ann. Math. Artif. Intell. (2006)
Keyphrases
</>
class diagrams
uml class diagrams
description logics
object oriented
temporal information
reverse engineering
reasoning systems
class diagram
knowledge representation
uml diagrams
temporal reasoning
expert systems
relational databases
automated reasoning
sequence diagrams
software artifacts