10159 search results - page 402 / 2032 » System Design Validation Using Formal Models |
126
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
145
click to vote
EDOC
2002
IEEE
15 years 9 months ago
2002
IEEE
Continuous change of user requirements has become a constant for geo-information systems. Designing systems that can adapt to such changes requires an appropriate ethodology that ...
131
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper addresses the exact transformation of nonlinear systems into a multiple model form with unmeasurable premise variables. The multiple model structure serves to treat ...
129
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
We propose a model for modular synchronous systems with combinational dependencies and define consistency using this model. We then show how to derive this model from a modular spe...
141
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...