1728 search results - page 37 / 346 » Formal Modeling of Process Migration |
ADAEUROPE
2001
Springer
14 years 6 days ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
VIROLOGY
2008
13 years 7 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
ROOM
2000
13 years 9 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
SIGSOFT
2001
ACM
14 years 8 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...
BPM
2008
Springer
13 years 9 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...