99 search results - page 1 / 20 » Triggered message sequence charts |
ICDCIT
2004
Springer
13 years 10 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
14 years 6 months ago
2002
ACM
ECEASST
2008
13 years 5 months ago
2008
ATVA
2007
Springer
13 years 11 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...
FORTE
1997
13 years 6 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...