5904 search results - page 311 / 1181 » Requirements for a Composition Language |
198
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
192
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML aspect-oriented modeling tool that uses graph transformations to specify and compose aspects. Gr...
214
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
175
click to vote
ECOOP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
201
click to vote
FSMNLP
2005
Springer
16 years 29 days ago
2005
Springer
TAGH is a system for automatic recognition of German word forms. It is based on a stem lexicon with allomorphs and a concatenative mechanism for inflection and word formation. Wei...