2836 search results - page 105 / 568 » Model Checking for Software Architectures |
134
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
148
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The need of formal verification is a problem that involves all the fields in which sensible data are managed. In this context the verification of data streams became a fundamental...
118
Voted
JSS
2008
15 years 3 months ago
2008
We propose an approach for analyzing software architectures with respect to reliability to improve fault tolerance. The approach defines a failure scenario model that is based on ...
147
Voted
SAINT
2002
IEEE
15 years 8 months ago
2002
IEEE
The Simple Mail Transfer Protocol (SMTP) based E-mail system is the most popular application in today’s Internet world, but there are many dark clouds at the edge of the sunshin...
141
Voted
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...