Ian D. Peake, Heinz W. Schmidt. Systematic simplicity-accuracy tradeoffs in parameterised contract models. In Ivica Crnkovic, Judith A. Stafford, Dorina C. Petriu, Jens Happe, Paola Inverardi, editors, 7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011. Boulder, CO, USA, June 20-24, 2011, Proceedings. pages 95-104, ACM, 2011. [doi]
Abstract is missing.