1005 search results - page 2 / 201 » Patterns for Refinement Automation |
ENTCS
2010
13 years 2 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
ICCBR
1997
Springer
13 years 9 months ago
1997
Springer
LICS
1989
IEEE
13 years 9 months ago
1989
IEEE
EUROMICRO
2009
IEEE
13 years 9 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
ICFEM
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...