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