[en] A STUDY ABOUT CONTRACTS IN SOFTWARE COMPONENT SYSTEMS - LUIZ MARQUES AFONSO (2009)