1460 search results - page 218 / 292 » Process Mining Framework for Software Processes |
132
click to vote
ICRE
2000
IEEE
15 years 5 months ago
2000
IEEE
In this article we show the results of an extensive research on scenario evolution. We investigated twelve case studies spanning over 200 scenarios that contained over 800 episode...
118
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
114
click to vote
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
As the Aspect-Oriented Software Development gains popularity, there is growing interest as developing for existing object-oriented software aspects to address the crosscutting pro...
110
click to vote
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
122
click to vote
WER
2004
Springer
15 years 6 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...