99 search results - page 1 / 20 » Triggered message sequence charts |
106
Voted
ICDCIT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper argues for performing information-flow-based security analysis in the first phaseof the software development life cycle itself ie in the requirements elicita...
SIGSOFT
2002
ACM
16 years 12 days ago
2002
ACM
ECEASST
2008
14 years 11 months ago
2008
82
Voted
ATVA
2007
Springer
15 years 5 months ago
2007
Springer
Message Sequence Charts (MSCs) and High-level Message Sequence Charts (HMSCs) are formalisms used to describe scenarios of message passing protocols. We propose using Allen’s log...
97
Voted
FORTE
1997
15 years 1 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...