---
res:
  bibo_abstract:
  - We present a formal methodology and tool for uncovering errors in the interaction
    of software modules. Our methodology consists of a suite of languages for defining
    software interfaces, and algorithms for checking interface compatibility. We focus
    on interfaces that explain the method-call dependencies between software modules.
    Such an interface makes assumptions about the environment in the form of call
    and availability constraints. A call constraint restricts the accessibility of
    local methods to certain external methods. An availability constraint restricts
    the accessibility of local methods to certain states of the module. For example,
    the interface for a file server with local methods open and read may assert that
    a file cannot be read without having been opened. Checking interface compatibility
    requires the solution of games, and in the presence of availability constraints,
    of pushdown games. Based on this methodology, we have implemented a tool that
    has uncovered incompatibilities in TinyOS, a small operating system for sensor
    nodes in adhoc networks.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Arindam
      foaf_name: Chakrabarti, Arindam
      foaf_surname: Chakrabarti
  - foaf_Person:
      foaf_givenName: Luca
      foaf_name: De Alfaro, Luca
      foaf_surname: De Alfaro
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Marcin
      foaf_name: Jurdziński, Marcin
      foaf_surname: Jurdziński
  - foaf_Person:
      foaf_givenName: Freddy
      foaf_name: Mang, Freddy
      foaf_surname: Mang
  bibo_doi: 10.1007/3-540-45657-0_35
  bibo_volume: 2404
  dct_date: 2002^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/ 9783540439974
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Interface compatibility checking for software modules@
...