Semantics of Stereotypes for Type Specification in UML: Theory and Practice.
François PinetAhmed LbathPublished in: ER (2001)
Keyphrases
- specification language
- formal methods
- uml activity diagrams
- formal languages
- state machine
- uml diagrams
- theoretical insights
- uml class diagrams
- sequence diagrams
- formal specification
- specification languages
- conceptual models
- conceptual modeling
- tool support
- conceptual schema
- programming language
- theoretical framework
- general theory
- formal semantics
- logic programming
- database design
- software engineering
- theoretical frameworks
- abstract argumentation frameworks
- software systems
- class diagrams
- asynchronous circuits
- description language
- conceptual model
- model checking
- semantic information