C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards a Formalization of the Unified Modeling Language.
Ruth Breu
Ursula Hinkel
Christoph Hofmann
Cornel Klein
Barbara Paech
Bernhard Rumpe
Veronika Thurner
Published in:
ECOOP (1997)
Keyphrases
</>
object oriented modeling
data modeling
uml class diagrams
uml profile
modeling language
class diagrams
knowledge representation
formal model
open source
operational semantics
information retrieval
learning environment
formal analysis
sequence diagrams
formal logic
logical language