Sciweavers

485 search results - page 6 / 97
» Modular Visitor Components
Sort
View
PTS
2008
98views Hardware» more  PTS 2008»
13 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...
OOPSLA
1999
Springer
13 years 11 months ago
The Generic Graph Component Library
In this paper we present the Generic Graph Component Library (GGCL), a generic programming framework for graph data structures and graph algorithms. Following the theme of the Sta...
Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
OOPSLA
2005
Springer
14 years 13 days ago
PolyD: a flexible dispatching framework
The standard dispatching mechanisms built into programming languages are sometimes inadequate to the needs of the programmer. In the case of Java, the need for more flexibility h...
Antonio Cunei, Jan Vitek

Publication
139views
13 years 6 months ago
Separation of concerns in compiler development using aspect-orientation
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
DEXA
2007
Springer
115views Database» more  DEXA 2007»
14 years 1 months ago
Ontology Modularization for Knowledge Selection: Experiments and Evaluations
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
Mathieu d'Aquin, Anne Schlicht, Heiner Stuckenschm...