This paper proposes that Interface Consistency is an important issue for the development of modular designs. Byproviding a precise specification of component interfaces it becomes possible to check that separately developedcomponents use a common interface in a coherent matter thus avoiding a very significant source of design errors. Awide range of interface specifications are possible, the simplest form is a syntactical check of parameter types.However, today it is possible to do more sophisticated forms involving semantic checks.
|Title of host publication||Interface Consistency|
|Publication status||Published - 1998|
|Event||Workshop on Foundations of Component-Based System - Zürich, Switzerland|
Duration: 26 Sep 1997 → 26 Sep 1997
|Workshop||Workshop on Foundations of Component-Based System|
|Period||26/09/1997 → 26/09/1997|