2836 search results - page 11 / 568 » Model Checking for Software Architectures |
131
Voted
FASE
2003
Springer
15 years 10 months ago
2003
Springer
129
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
122
Voted
FASE
2004
Springer
15 years 10 months ago
2004
Springer
91
Voted
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
