194
click to vote
SIGSOFT
2000
ACM
16 years 20 hour 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...