Interface Consistency

Jørgen Staunstrup

Interface Consistency

Jørgen Staunstrup

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Abstract

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.

Original language	English
Title of host publication	Interface Consistency
Publication date	1998
Publication status	Published - 1998
Event	Workshop on Foundations of Component-Based System - Zürich, Switzerland Duration: 26 Sept 1997 → 26 Sept 1997

Workshop

Workshop	Workshop on Foundations of Component-Based System
Country/Territory	Switzerland
City	Zürich
Period	26/09/1997 → 26/09/1997

OpenUrl availability

Full text

Cite this

@inbook{3c6b0a078708419883ead16abaeeb43e,

title = "Interface Consistency",

abstract = "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.",

author = "J{\o}rgen Staunstrup",

year = "1998",

language = "English",

booktitle = "Interface Consistency",

note = "Workshop on Foundations of Component-Based System ; Conference date: 26-09-1997 Through 26-09-1997",

}

TY - CHAP

T1 - Interface Consistency

AU - Staunstrup, Jørgen

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

M3 - Book chapter

BT - Interface Consistency

T2 - Workshop on Foundations of Component-Based System

Y2 - 26 September 1997 through 26 September 1997

ER -