1104 search results - page 4 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
JWE
2006
13 years 5 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
SIGSOFT
2003
ACM
13 years 11 months ago
2003
ACM
BPM
2003
Springer
13 years 11 months ago
2003
Springer
BMCBI
2010
13 years 5 months ago
2010
Background: It is hypothesized that common, complex diseases may be due to complex interactions between genetic and environmental factors, which are difficult to detect in high-di...
QSIC
2003
IEEE
13 years 11 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...