Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto. SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez, editors, UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Volume 3297 of Lecture Notes in Computer Science, pages 150-162, Springer, 2004. [doi]
Abstract is missing.