3564 search results - page 392 / 713 » Evaluating a Formal Modelling Language |
136
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
160
click to vote
ERSHOV
2009
Springer
15 years 1 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
181
click to vote
DKE
2011
14 years 11 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
151
click to vote
CSCWD
2001
Springer
15 years 8 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
203
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...