Sciweavers

1460 search results - page 18 / 292
» Process Mining Framework for Software Processes
Sort
View
AMAST
2006
Springer
13 years 11 months ago
Testing Semantics: Connecting Processes and Process Logics
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
Dusko Pavlovic, Michael W. Mislove, James Worrell
IPPS
2003
IEEE
14 years 20 days ago
Multi-Paradigm Framework for Parallel Image Processing
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
David J. Johnston, Martin Fleury, Andy C. Downton
CSMR
2005
IEEE
14 years 1 months ago
A Process Model and Typology for Software Product Updaters
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
Slinger Jansen, Gerco Ballintijn, Sjaak Brinkkempe...
ISPW
2005
IEEE
14 years 29 days ago
Automatically Analyzing Software Processes: Experience Report
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Os...
CLEIEJ
2006
192views more  CLEIEJ 2006»
13 years 7 months ago
Applying Software Metrics to evaluate Business Process Models
In this paper, we define a set of metrics for the evaluation of conceptual models of business processes. The proposal supposes the adaptation and extension of the FMESP framework ...
Elvira Rolón Aguilar, Francisco Ruiz, F&eac...