1134 search results - page 177 / 227 » Using Constraints with Action Language for Model Evolution |
175
click to vote
GPCE
2007
Springer
16 years 9 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
163
click to vote
CGF
2010
15 years 6 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
166
click to vote
ESWS
2007
Springer
16 years 9 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
207
click to vote
AIED
2007
Springer
15 years 10 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
159
click to vote
ER
2007
Springer
16 years 9 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...