Now showing items 1-10 of 1916
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. ...
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
(Open Publishing Association, 2014-02)
Tabular notations, in particular SCR specifications, have proved to be a useful means for formallydescribing complex requirements. The SCR method offers a powerful family of analysis tools, knownas the SCR Toolset, but its ...
Formal Verification of Distributed System Using an Executable C Model
Formal verification means to rigorously explore the correctness of system designs expressed as mathematical models, most likely with the assistance of modern computers. Original approaches were to model and express a ...