183 search results - page 7 / 37 » Details of Formalized Relations in Feature Models Using OCL |
111
Voted
SPRINGSIM
2007
15 years 4 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...
144
Voted
SDL
2007
15 years 5 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
147
Voted
TLDI
2009
ACM
16 years 17 days ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
124
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
96
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
ics for abstraction Chiara Ghidini1 and Fausto Giunchiglia2 Abstract. The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is mode...