5525 search results - page 606 / 1105 » Verification of Model Transformations |
182
click to vote
DSN
2002
IEEE
16 years 2 days ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
149
click to vote
CGF
2006
15 years 7 months ago
2006
We present an interactive modeling system for flower composition that supports seamless transformation from an initial sketch to a detailed three-dimensional (3D) model. To begin,...
179
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...
186
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
204
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
An MDSD process is often organised as transformation chain. This can threaten the Separation of Concerns (SoC) principle, because information is replicated in, scattered over, and ...