500 search results - page 33 / 100 » Thread-Modular Abstraction Refinement |
104
click to vote
AOSE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
103
click to vote
BPM
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...
POPL
2000
ACM
15 years 3 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
101
click to vote
EDBT
2010
ACM
15 years 3 months ago
2010
ACM
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...
102
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...