183 search results - page 2 / 37 » Details of Formalized Relations in Feature Models Using OCL |
ICCSA
2009
Springer
14 years 2 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
UML
2004
Springer
14 years 23 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
EMNLP
2008
13 years 9 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
DFG
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...