2836 search results - page 173 / 568 » Model Checking for Software Architectures |
117
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
144
click to vote
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
119
click to vote
SIGSOFT
1998
ACM
15 years 8 months ago
1998
ACM
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
135
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
125
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...