Inproceedings,
QVT Based Model Transformation from Sequence Diagram to CSP.
ICECCS, page 349-354. IEEE Computer Society, (2010)
Meta data
Tags
- ,
- based,
- communicating,
- dblp
- development,
- driven,
- engineering;
- formal,
- graphical,
- language;
- model,
- modeling,
- paradigm;
- processes;
- query-view-transformation,
- qvt},
- rule-based,
- sequence,
- sequential,
- software
- software,
- style,
- templates;
- uml},
- unified},
- verification;
- xmi},
- xslt},
- {case},
- {diagrams;
- {engine;
- {file;
- {mof;
- {syntax;
- {tool;
- {transformation;
