Sciweavers

19936 search results - page 181 / 3988
» Inductive process modeling
Sort
View
JSA
2006
103views more  JSA 2006»
15 years 6 months ago
FMESP: Framework for the modeling and evaluation of software processes
Nowadays, organizations face with a very high competitiveness and for this reason they have to continuously improve their processes. Two key aspects to be considered in the softwa...
Félix García, Mario Piattini, Franci...
IFIP
2009
Springer
15 years 4 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
ISPW
2009
IEEE
16 years 1 months ago
A Pattern for Modeling Rework in Software Development Processes
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
Aaron G. Cass, Leon J. Osterweil, Alexander E. Wis...
ICDE
1987
IEEE
143views Database» more  ICDE 1987»
15 years 10 months ago
A Query Processing Strategy for the Decomposed Storage Model
Handling parallelism in database systems involves the specification of a storage model, a placement strategy, and a query processing strategy. An important goal is to determine th...
Setrag Khoshafian, George P. Copeland, Thomas Jago...
BIS
2008
92views Business» more  BIS 2008»
15 years 8 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann