On the Formalization of UML Activities for Component-Based Protocol Design Specifications.

Prabhu Shankar Kaliappan Hartmut König

Published in: SOFSEM (2012)

Keyphrases

object oriented
modelling language
user interface
knowledge representation
design process
formal analysis
functional requirements
high level
software engineering
formal model
metamodel
design decisions
design requirements
unified modeling language