109 search results - page 1 / 22 » Inference of message sequence charts |
ICSE
2000
IEEE-ACM
14 years 2 months ago
2000
IEEE-ACM
ECEASST
2008
13 years 11 months ago
2008
ICDCIT
2004
Springer
14 years 4 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...
ATVA
2007
Springer
14 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...
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...