1703 search results - page 197 / 341 » Model interoperability via Model Driven Development |
145
Voted
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
175
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
144
Voted
EEE
2004
IEEE
15 years 10 months ago
2004
IEEE
In a catalogue for computer-based models the basic problem is that complex interdependencies between models must be addressed, which are dependent on an application's domain....
180
Voted
JMLR
2010
15 years 28 days ago
2010
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...
154
click to vote
AIED
2009
Springer
16 years 22 days ago
2009
Springer
We propose a design model for guiding learning in exploratory environments through representational choices. Selecting the appropriate representations at the correct granularity ca...