Advanced
Advanced

Thú y : [1]

Follow this collection to receive daily e-mail notification of new additions
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
  • Verifying the compatibility of components’ ports upon specification.pdf.jpg
  • Article

  • Verifying the compatibility of components’ ports upon specification

    • Authors: Nguyen, Hoang Ha; Tran, Thi Mai Thuong (2007)

  • We propose in this paper an approach for verifying the com- patibility between components’ ports upon specification. In component software development, ports are the points of interaction between components. The connection between ports must satisfy some constraints. We determine these constraints and propose to use the B method and its support tools for verifying the compatibility between ports in a component model.
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1

    Readership Map

    ABSTRACTS VIEWS

    42058698

    VIEWS & DOWNLOAD

    22600335

    Content Distribution

Thú y : [1]

Follow this collection to receive daily e-mail notification of new additions
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1
  • Verifying the compatibility of components’ ports upon specification.pdf.jpg
  • Article

  • Verifying the compatibility of components’ ports upon specification

    • Authors: Nguyen, Hoang Ha; Tran, Thi Mai Thuong (2007)

  • We propose in this paper an approach for verifying the com- patibility between components’ ports upon specification. In component software development, ports are the points of interaction between components. The connection between ports must satisfy some constraints. We determine these constraints and propose to use the B method and its support tools for verifying the compatibility between ports in a component model.
Collection's Items (Sorted by Submit Date in Descending order): 1 to 1 of 1