Blar i Department of Informatics på emneord "Component software"
Viser treff 1-4 av 4
-
Feasible Algorithms for Semantics — Employing Automata and Inference Systems
(Doctoral thesis, 2010-12-16) -
Guaranteeing Resource Bounds for Component Software
(Journal article, 2005-06-15)Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several ... -
A Type System for Usage of Software Components
(Lecture Notes in Computer Science, Chapter; Peer reviewed, 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 ... -
Type Systems for Guaranteeing Resource Bounds of Component Software
(Doctoral thesis, 2006-05-15)Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...