C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.
Nicolas Guelfi
Amel Mammar
Published in:
APSEC (2005)
Keyphrases
</>
formal semantics
activity diagrams
operational semantics
conceptual database design
petri net
sequence diagrams
logical language
modeling language
modelling language
first order logic
requirements engineering
open source
speech acts
database
artificial intelligence
class diagrams