Sciweavers

845 search results - page 49 / 169
» A Formal Model of the Software Test Process
Sort
View
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 8 months ago
Bayesian Network Based XP Process Modelling
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
Mohamed Abouelela, Luigi Benedicenti
SIGSAND
2008
13 years 9 months ago
Reference Model for Service-oriented Business Software Based on Web Service Nets
Configurable business software solutions are increasingly being implemented based on service oriented architectures (SOA). Hereunto model driven approaches for the definition and i...
Maik Herfurth, Thomas Karle, Frank Schönthale...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 8 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
FOSSACS
2006
Springer
13 years 11 months ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
ERCIMDL
2005
Springer
77views Education» more  ERCIMDL 2005»
14 years 1 months ago
SCOPE - A Generic Framework for XML Based Publishing Processes
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
Uwe Müller, Manuel Klatt