Sciweavers

2521 search results - page 116 / 505
» Semantic Component Composition
Sort
View
ECOOPW
1999
Springer
14 years 1 months ago
Dimensions of Component Based Development
As the properties of components have gradually become clearer, attention has started to turn to the architectural issues which govern their interaction and composition. In this pa...
Colin Atkinson, Thomas Kühne, Christian Bunse
EACL
1993
ACL Anthology
13 years 10 months ago
Coping With Derivation in a Morphological Component
In this paper a morphological component with a limited capability to automatically interpret (and generate) derived words is presented. The system combines an extended two-level m...
Harald Trost
OOPSLA
2010
Springer
13 years 7 months ago
Component adaptation and assembly using interface relations
Software’s expense owes partly to frequent reimplementation of similar functionality and partly to maintenance of patches, ports or components targeting evolving interfaces. Mor...
Stephen Kell
COLING
2008
13 years 10 months ago
Integrating a Unification-Based Semantics in a Large Scale Lexicalised Tree Adjoining Grammar for French
In contrast to LFG and HPSG, there is to date no large scale Tree Adjoining Grammar (TAG) equiped with a compositional semantics. In this paper, we report on the integration of a ...
Claire Gardent
ICSE
2003
IEEE-ACM
14 years 9 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...