321 search results - page 23 / 65 » Specifying Executable Platform-Independent Models using OCL |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
IAT
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
DBSEC
2010
14 years 11 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Software components turn out to be a convenient model to build complex applications for scientific computing and to run them on a computational grid. However, deploying complex, co...