255 search results - page 14 / 51 » Variability Models Must Not be Invariant! |
ISSAC
2001
Springer
13 years 12 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
During tracking, lens zoom acts as a gain between scene dynamics and fixation errors, providing a trade-off between maximising resolution and minimising tracking error. Using a li...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Design for change is a well-known adagium in software engineering. We separate concerns, employ well-designed interfaces, and the like to ease evolution of the systems we build. W...