Formal Analysis of Use Case Diagrams.

Radoslaw Klimek Piotr Szwed

Published in: Comput. Sci. (2010)

Keyphrases

formal analysis
class diagram
class diagrams
object oriented
uml class diagrams
requirements elicitation
uml diagrams
graphical representation
graphical representations
formal methods
software design
agent model
case study
information systems
knowledge based systems
query processing
relational databases