---
OA_type: closed access
_id: '4624'
abstract:
- lang: eng
  text: Surveying results from [5] and [6], we motivate and introduce the theory behind
    formalizing rich interfaces for software and hardware components. Rich interfaces
    specify the protocol aspects of component interaction. Their formalization, called
    interface automata, permits a compiler to check the compatibility of component
    interaction protocols. Interface automata support incremental design and independent
    implementability. Incremental design means that the compatibility checking of
    interfaces can proceed for partial system descriptions, without knowing the interfaces
    of all components. Independent implementability means that compatible interfaces
    can be refined separately, while still maintaining compatibility.
alternative_title:
- 'NATO Science Series: Mathematics, Physics, and Chemistry'
article_processing_charge: No
author:
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
citation:
  ama: 'De Alfaro L, Henzinger TA. Interface-based design. In: <i>Proceedings of the
    NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems</i>.
    Vol 195. Springer Nature; 2005:83-104. doi:<a href="https://doi.org/10.1007/1-4020-3532-2_3">10.1007/1-4020-3532-2_3</a>'
  apa: De Alfaro, L., &#38; Henzinger, T. A. (2005). Interface-based design. In <i>Proceedings
    of the NATO Advanced Study Institute on Engineering Theories of Software Intensive
    Systems</i> (Vol. 195, pp. 83–104). Springer Nature. <a href="https://doi.org/10.1007/1-4020-3532-2_3">https://doi.org/10.1007/1-4020-3532-2_3</a>
  chicago: De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design.” In <i>Proceedings
    of the NATO Advanced Study Institute on Engineering Theories of Software Intensive
    Systems</i>, 195:83–104. Springer Nature, 2005. <a href="https://doi.org/10.1007/1-4020-3532-2_3">https://doi.org/10.1007/1-4020-3532-2_3</a>.
  ieee: L. De Alfaro and T. A. Henzinger, “Interface-based design,” in <i>Proceedings
    of the NATO Advanced Study Institute on Engineering Theories of Software Intensive
    Systems</i>, 2005, vol. 195, pp. 83–104.
  ista: 'De Alfaro L, Henzinger TA. 2005. Interface-based design. Proceedings of the
    NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems.
    Engineering Theories of Software Intensive Systems, NATO Science Series: Mathematics,
    Physics, and Chemistry, vol. 195, 83–104.'
  mla: De Alfaro, Luca, and Thomas A. Henzinger. “Interface-Based Design.” <i>Proceedings
    of the NATO Advanced Study Institute on Engineering Theories of Software Intensive
    Systems</i>, vol. 195, Springer Nature, 2005, pp. 83–104, doi:<a href="https://doi.org/10.1007/1-4020-3532-2_3">10.1007/1-4020-3532-2_3</a>.
  short: L. De Alfaro, T.A. Henzinger, in:, Proceedings of the NATO Advanced Study
    Institute on Engineering Theories of Software Intensive Systems, Springer Nature,
    2005, pp. 83–104.
conference:
  name: Engineering Theories of Software Intensive Systems
date_created: 2018-12-11T12:09:49Z
date_published: 2005-07-15T00:00:00Z
date_updated: 2026-09-30T14:07:00Z
day: '15'
doi: 10.1007/1-4020-3532-2_3
extern: '1'
fulldoi: https://doi.org/10.1007/1-4020-3532-2_3
intvolume: '       195'
language:
- iso: eng
month: '07'
oa_version: None
page: 83 - 104
publication: Proceedings of the NATO Advanced Study Institute on Engineering Theories
  of Software Intensive Systems
publication_identifier:
  eisbn:
  - '9781402035326'
  isbn:
  - '9781402035302'
  issn:
  - 1568-2609
publication_status: published
publisher: Springer Nature
publist_id: '85'
status: public
title: Interface-based design
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 195
year: '2005'
...