Buscar
Mostrando ítems 1-10 de 814
A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2008-09)
Automated consistency checking of UML models becomes necessary as models grow in
size and complexity. Since the UML metamodel does not enforce model consistency,
there are no fixed guidelines on how to approach the ...
Reality check for volatility models
(Escola de Pós-Graduação em Economia da FGV, 2001-09-27)
Asset allocation decisions and value at risk calculations rely strongly on volatility estimates. Volatility measures such as rolling window, EWMA, GARCH and stochastic volatility are used in practice. GARCH and EWMA type ...
Elaborating requirements using model checking and inductive learning
(IEEE Computer Society, 2012-06-12)
The process of requirements engineering includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. ...
Evaluating the Forecasting Performance of GARCH Models Using White’s Reality CheckEvaluating the Forecasting Performance of GARCH Models Using White’s Reality Check
(Sociedade Brasileira de Econometria, 2005)
A tool based on dl for uml model consistency checking
(WORLD SCIENTIFIC PUBL CO PTE LTD, 2008)
Verification of symmetric models using semiautomatic abstractions
(Universidade Federal de Minas GeraisUFMG, 2010-06-21)
Model Checking is a powerful method for the formal verification of concurrent systems. It explores automatically the state-space of a model that represents the system to prove its correctness in relation to formal ...