Result 1 to 20 of 105 total
Applications of graph transformations with industrial relevance. 4th international symposium, AGTIVE 2011, Budapest, Hungary, October 4‒7, 2011. Revised selected and invited papers. (English)
Lecture Notes in Computer Science 7233. Berlin: Springer (ISBN 978-3-642-34175-5/pbk). xi, 255~p. EUR~42.99 (2012).
1
Incremental pattern matching for the efficient computation of transitive closure. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 386-400 (2012).
2
SeCMER: a tool to gain control of security requirements evolution. (English)
Abramowicz, Witold (ed.) et al., Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). Lecture Notes in Computer Science 6994, 321-322 (2011).
3
Advances in model transformations by graph transformation: specification, execution and analysis. (English)
Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 561-584 (2011).
4
Methodologies for model-driven development and deployment: an overview. (English)
Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 541-560 (2011).
5
UML extensions for service-oriented systems. (English)
Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 35-60 (2011).
6
A graph query language for EMF models. (English)
Cabot, Jordi (ed.) et al., Theory and practice of model transformations. 4th international conference, ICMT 2011, Zurich, Switzerland, June 27‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21731-9/pbk). Lecture Notes in Computer Science 6707, 167-182 (2011).
7
Incremental evaluation of model queries over EMF models: a tutorial on EMF-incquery. (English)
France, Robert B. (ed.) et al., Modelling foundations and applications. 7th European conference, ECMFA 2011, Birmingham, UK, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21469-1/pbk). Lecture Notes in Computer Science 6698, 389-390 (2011).
8
Static type checking of model transformation programs (English)
ECEASST 38 (2011).
9
UML extensions for service-oriented systems (English)
Results of the SENSORIA Project, 35-60 (2011).
10
Advances in model transformations by graph transformation: specification, execution and analysis (English)
Results of the SENSORIA Project, 561-584 (2011).
11
Methodologies for model-driven development and deployment: an overview (English)
Results of the SENSORIA Project, 541-560 (2011).
12
Quick fix generation for dsmls (English)
VL/HCC, 17-24 (2011).
13
Secmer: A tool to gain control of security requirements evolution (English)
ServiceWave, 321-322 (2011).
14
A model-driven framework for guided design space exploration (English)
ASE, 173-182 (2011).
15
Towards dynamic backward slicing of model transformations (English)
ASE, 404-407 (2011).
16
Implementing efficient model validation in EMF tools (English)
ASE, 580-583 (2011).
17
A tool for managing evolving security requirements (English)
CAiSE Forum, 49-56 (2011).
18
Incremental evaluation of model queries over EMF models: A tutorial on EMF-incquery (English)
ECMFA, 389-390 (2011).
19
A graph query language for EMF models (English)
ICMT, 167-182 (2011).
20
Result 1 to 20 of 105 total
Start
Contact
Print
General Help
