96 search results - page 1 / 20 » High-level message sequence charts |
FASE
2003
Springer
15 years 2 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
ECEASST
2008
14 years 9 months ago
2008
92
Voted
ICDCIT
2004
Springer
15 years 2 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...
70
Voted
ATVA
2007
Springer
15 years 3 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...
84
Voted
FORTE
1997
14 years 11 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...