Measuring the Complexity of a UML Component Specification.

Sajjad Mahmood Richard Lai

Published in: QSIC (2005)

Keyphrases

specification language
formal methods
state machine
object oriented
uml diagrams
software engineering
worst case
database design
sequence diagrams
modeling language
formal specification
decision problems
space complexity
data sets
software architecture
high level
artificial intelligence