36320 search results - page 160 / 7264 » From Code to Models |
145
click to vote
WSC
2008
15 years 8 months ago
2008
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
158
click to vote
CSMR
1998
IEEE
15 years 10 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
196
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
186
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Hidden Markov Models (HMMs) have proven very useful in computational biology for such applications as sequence pattern matching, gene-finding, and structure prediction...
170
click to vote
SE
2008
15 years 7 months ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...