11151 search results - page 354 / 2231 » On the Complexity of Model Expansion |
206
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Open learner models (OLM) enable users to access their learner model to view information about their understanding. Opening the learner model to the learner may increase their perc...
192
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
183
click to vote
FORTE
2007
15 years 9 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
197
click to vote
FORTE
2004
15 years 9 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
230
click to vote
ICMT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...