[{"oa_version":"None","month":"07","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","language":[{"iso":"eng"}],"article_processing_charge":"No","publication_identifier":{"isbn":["9781402035302"],"issn":["1568-2609"],"eisbn":["9781402035326"]},"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."}],"doi":"10.1007/1-4020-3532-2_3","citation":{"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>.","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>","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.","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.","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>.","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>"},"alternative_title":["NATO Science Series: Mathematics, Physics, and Chemistry"],"date_updated":"2026-09-30T14:07:00Z","_id":"4624","publisher":"Springer Nature","title":"Interface-based design","page":"83 - 104","author":[{"last_name":"De Alfaro","first_name":"Luca","full_name":"De Alfaro, Luca"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"day":"15","OA_type":"closed access","volume":195,"fulldoi":"https://doi.org/10.1007/1-4020-3532-2_3","publication_status":"published","publication":"Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems","publist_id":"85","conference":{"name":"Engineering Theories of Software Intensive Systems"},"extern":"1","status":"public","year":"2005","intvolume":"       195","type":"conference","date_created":"2018-12-11T12:09:49Z","date_published":"2005-07-15T00:00:00Z"}]