Login / Signup
Contradiction Finding and Minimal Recovery for UML Class Diagrams.
Ken Satoh
Ken Kaneiwa
Takeaki Uno
Published in:
ASE (2006)
Keyphrases
</>
uml class diagrams
class diagrams
reasoning systems
databases
artificial intelligence
temporal information