A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is
Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions (Cat. No.98EX358)
There is an emerging consensus that an explicit architectural model would be invaluable for large evolving software systems, providing them with a framework within which such a system can be reasoned about and maintained. But the great promise of architectural models has not been fulfilled so far, due to a gap between the model and the system it purports to describe. It is our contention that this gap is best bridged if the model is not just stated, but is enforced. This gives rise to a conceptdoi:10.1109/csda.1998.798359 fatcat:ikiru5de4fdnppzau74ridnzcy