2339 search results - page 43 / 468 » Models and Tools for Mulan Applications |
127
click to vote
FMICS
2010
Springer
15 years 16 hour ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
106
click to vote
JIB
2007
14 years 11 months ago
2007
In this paper we present how the process modeling and execution tools iPM and iPE can be used to model and execute biological processes. The main focus of this paper is on the fle...
ICWE
2009
Springer
15 years 6 months ago
2009
Springer
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
128
click to vote
BPM
2009
Springer
14 years 9 months ago
2009
Springer
The manual adaptation of conceptual models in general and reference models in particular is a time consuming and error prone task, which has to be carefully conducted. The configur...
100
click to vote
ICWE
2009
Springer
15 years 6 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...