A complexity measure for UML component-based system specification.

Sajjad Mahmood Richard Lai

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

Keyphrases

specification language
complexity measures
state machine
sequence diagrams
computational complexity
object oriented
formal methods
space complexity
uml diagrams
software systems
formal specification
worst case
similarity measure
high level
databases
distance measure
computational cost
constraint language