Now showing items 1-1 of 1

    • A Type System for Usage of Software Components 

      Hovland, Dag (Springer, 2009)
      The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
      ChapterPeer reviewed