2836 search results - page 119 / 568 » Model Checking for Software Architectures |
107
Voted
WICSA
2008
15 years 5 months ago
2008
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
131
Voted
OTM
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
136
Voted
MATA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
131
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Uncertainty analysis through sensitivity studies and quantification of the variance of the reliability estimate has become more common in architecture-based software reliability ...
127
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...