148 search results - page 14 / 30 » Towards the Automated Annotation of Process Models |
IJSEKE
2006
13 years 10 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
ENTCS
2006
13 years 10 months ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
IEEEHPCS
2010
13 years 9 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
CICLING
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Spanglish is the simultaneous use, or alternating of both, traditional Spanish and English within the same conversational event. This interlanguage is commonly used in U....
IJMSO
2007
13 years 10 months ago
2007
: The development of new Information Technologies have originated new possibilities to develop pedagogical methodologies that provide the necessary knowledge and skills in the High...