Sciweavers

10790 search results - page 158 / 2158
» Using feature models to automate model transformations
Sort
View
124
Voted
DATE
2009
IEEE
129views Hardware» more  DATE 2009»
15 years 11 months ago
An automated flow for integrating hardware IP into the automotive systems engineering process
This contribution shows and discusses the requirements and constraints that an industrial engineering process defines for the integration of hardware IP into the system developmen...
Jan-Hendrik Oetjens, Ralph Görgen, Joachim Ge...
3DPVT
2006
IEEE
160views Visualization» more  3DPVT 2006»
15 years 11 months ago
Geometry Refinement of 3D Surfaces Using Kriging
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
Brad Grinstead, Andreas Koschan, Mongi A. Abidi
181
Voted
AMOST
2007
ACM
15 years 9 months ago
Achieving both model and code coverage with automated gray-box testing
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Till...
ICLP
2011
Springer
14 years 8 months ago
Constraints in Non-Boolean Contexts
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
Leslie De Koninck, Sebastian Brand, Peter J. Stuck...
SCP
2002
112views more  SCP 2002»
15 years 4 months ago
Formal agent-oriented modeling with UML and graph transformation
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...