Result 1 to 20 of 27 total
MoDeVVa 2010 workshop summary. (English)
Dingel, Juergen (ed.) et al., Models in software engineering. Workshops and symposia at MODELS 2010, Oslo, Norway, October 2‒8, 2010. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-21209-3/pbk). Lecture Notes in Computer Science 6627, 239-243 (2011).
1
DSLTrans: A Turing incomplete transformation language. (English)
Malloy, Brian (ed.) et al., Software language engineering. Third international conference, SLE 2010, Eindhoven, The Netherlands, October 12‒13, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19439-9/pbk). Lecture Notes in Computer Science 6563, 296-305 (2011).
2
A Petri net-based software synchronizer for automatic measurement systems (English)
IEEE T. Instrumentation and Measurement 60, No. 1, 319-328 (2011).
3
A model-driven domain-specific scripting language for measurement-system frameworks (English)
IEEE T. Instrumentation and Measurement 60, No. 12, 3756-3766 (2011).
4
A general-purpose and multi-level scheduling approach in energy efficient computing (English)
CLOSER, 37-42 (2011).
5
A technique for automatic validation of model transformations. (English)
Petriu, Dorina C. (ed.) et al., Model driven engineering languages and systems. 13th international conference, MODELS 2010, Oslo, Norway, October 3‒8, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16144-5/pbk). Lecture Notes in Computer Science 6394, 136-150 (2010).
6
MoDeVVa workshop summary. (English)
Ghosh, Sudipto (ed.), Models in software engineering. Workshops and symposia at MODELS 2009, Denver, CO, USA, October 4‒9, 2009. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-12260-6/pbk). Lecture Notes in Computer Science 6002, 155-157 (2010).
7
Dsltrans: A Turing incomplete transformation language (English)
SLE, 296-305 (2010).
8
Modevva 2010 workshop summary (English)
MoDELS Workshops, 239-243 (2010).
9
A technique for automatic validation of model transformations (English)
MoDELS (1), 136-150 (2010).
10
Model checking techniques for test generation from business process models. (English)
Kordon, Fabrice (ed.) et al., Reliable software technologies ‒ Ada-Europe 2009. 14th Ada-Europe international conference, Brest, France, June 8‒12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01923-4/pbk). Lecture Notes in Computer Science 5570, 59-74 (2009).
11
DSL composition for model-based test generation (English)
ECEASST 21 (2009).
12
Model checking techniques for test generation from business process models (English)
Ada-Europe, 59-74 (2009).
13
Modevva workshop summary (English)
MoDELS Workshops, 155-157 (2009).
14
System prototype and verification using metamodel-based transformations. (English)
IEEE Distributed Systems Online 08, No. 04, 1 (2007).
15
System prototype and verification using metamodel-based transformations (English)
IEEE Distributed Systems Online 8, No. 4 (2007).
16
Agent-based architecture for designing hybrid control systems. (English)
Inf. Sci. 176, No. 9, 1103-1130 (2006).
17
Principles for system prototype and verification using metamodel based transformations (English)
IEEE International Workshop on Rapid System Prototyping, 10-17 (2006).
18
Formal test generation from UML models (English)
Research Results of the DICS Program, 145-171 (2006).
19
io-port 02174540 Cameron, David;
Casey, James;
Guy, Leanne;
Kunszt, Peter;
Lemaitre, Sophie;
McCance, Gavin;
Stockinger, Heinz;
Stockinger, Kurt;
Andronico, Giuseppe;
Bell, William;
Ben-Akiva, Itzhak;
Bosio, Diana;
Chytracek, Radovan;
Domenici, Andrea;
Donno, Flavia;
Hoschek, Wolfgang;
Laure, Erwin;
Lucio, Levi;
Millar, Paul;
Salconi, Livio;
Segal, Ben;
Silander, Mika
Replica management in the European DataGrid project. (English)
J. Grid Comput. 2, No. 4, 341-351 (2005).
20
Result 1 to 20 of 27 total
Start
Contact
Print
General Help
