334 search results - page 10 / 67 » Structured Formalization of Service-Oriented Specifications |
TCS
2002
13 years 7 months ago
2002
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
DEBU
2008
13 years 7 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
QSIC
2003
IEEE
14 years 23 days ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
MM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
ASWEC
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper reports the results from an action research project which studies the benefits of documenting the evolution and the rationale for the evolution of a requirements specif...