1104 search results - page 19 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
MTV
2005
IEEE
14 years 1 months ago
2005
IEEE
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
CMG
2006
13 years 9 months ago
2006
We present a comprehensive model for quantitative evaluation and comparison of search engines. The model is based on the LSP method for system evaluation. The basic contribution of...
RSP
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
VVEIS
2007
13 years 8 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
HICSS
2003
IEEE
14 years 25 days ago
2003
IEEE
Statistical testing of software based on a usage model is a cost-effective and efficient means to make inferences about software quality. In order to apply this method, a usage m...