182 search results - page 11 / 37 » Ludo: A Case Study for Graph Transformation Tools |
WADT
1998
Springer
13 years 11 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
EUSFLAT
2007
13 years 9 months ago
2007
Probability intervals are imprecise probability assignments over elementary events. They constitute a very convenient tool to model uncertain information : two common cases are co...
ICSM
1999
IEEE
13 years 12 months ago
1999
IEEE
In this paper, we describe restructuring of C code into new C++ classes. Such restructuring is done to facilitate both software reuse and software evolution. The restructuring is ...