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 ...