42 search results - page 1 / 9 » Extending Variability for OCL Interpretation |
MODELS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
FMOODS
2007
13 years 7 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
OOPSLA
1998
Springer
13 years 10 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
ICDM
2006
IEEE
14 years 2 days ago
2006
IEEE
Classification problems with functionally structured input variables arise naturally in many applications. In a clinical domain, for example, input variables could include a time...
NIPS
2003
13 years 7 months ago
2003
In this paper we introduce a new underlying probabilistic model for principal component analysis (PCA). Our formulation interprets PCA as a particular Gaussian process prior on a ...