A feedback technique for unsatisfiable UML/OCL class diagrams.

Asadullah Shaikh Uffe Kock Wiil

Published in: Softw. Pract. Exp. (2014)

Keyphrases

class diagrams
uml class diagrams
class diagram
sequence diagrams
uml diagrams
activity diagrams
object oriented
description logics
software design
reverse engineering
case study
object oriented systems
software artifacts
software systems
test cases
multi agent systems
database systems