621 search results - page 9 / 125 » Functional and structural properties in the Model-Driven Eng... |
EWSPT
2003
Springer
14 years 17 days ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...
ERLANG
2006
ACM
14 years 1 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
TCAD
2002
13 years 7 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
EICS
2010
ACM
14 years 13 days ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
CBSE
2009
Springer
14 years 1 months ago
2009
Springer
Management of extra-functional properties in component models is one of the main challenges in the component-based software engineering community. Still, the starting point in thei...