Supporting Tools for Designing-By-Contract in Component-Based Applications. - Antonio Coronato; Antonio d'Acierno; Diego D'Ambrosio; Giuseppe De Pietro (Metainformatics, 2004)