Now showing items 1-2 of 2
Feasible Algorithms for Semantics — Employing Automata and Inference Systems
(The University of Bergen, 2010-12-16)
A Type System for Usage of Software Components
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 ...