Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	SystÃ¤, Tarja J., Leue, Stefan
Формат:	eКнига
Мова:	English
Опубліковано:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Предмети:	Software engineering Logic design Information Systems Computer Communication Networks
Онлайн доступ:	Click here to view the full text content
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Theory and practice of model transformations third international conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /
Опубліковано: (2010)

Theory and practice of model transformations : 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings /
Опубліковано: (2012)

Computational Logic in multi-agent systems 10th international workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, revised selected and invited papers /
Опубліковано: (2010)

Mathematical and engineering methods in computer science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers /
Опубліковано: (2012)

System analysis and modeling: models and reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /
Опубліковано: (2014)

Graph transformations and model-driven engineering essays dedicated to manfred nagl on the occasion of his 65th birthday /
Опубліковано: (2010)

SDL 2011: integrating system and software modeling : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers /
Опубліковано: (2012)

Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21. 2007, advanced lectures /
Опубліковано: (2007)

Theory and practice of model transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014. Proceedings /
Опубліковано: (2014)

Model-based methodologies for pervasive and embedded software : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers /
Опубліковано: (2013)

Wireless systems and mobility in next generation internet first international workshop of the EURO-NGI network of excellence, Dagstuhl Castle, Germany, June 7-9, 2004, revised selected papers
за авторством: Kotsis, Gabriele
Опубліковано: (2005)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Опубліковано: (2012)

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal.
за авторством: Grumberg, Orna
Опубліковано: (2007)

Task models and diagrams for user interface design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /
Опубліковано: (2010)

Theory and practice of model transformations : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings /
Опубліковано: (2013)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings /
Опубліковано: (2010)

Model driven architecture - foundations and applications : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
Опубліковано: (2013)

Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers
за авторством: Araki, Keijiro
Опубліковано: (2005)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
за авторством: Halbwachs, Nicolas
Опубліковано: (2005)

Computer performance engineering 7th european performance engineering workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings /
Опубліковано: (2010)

Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /
Опубліковано: (2010)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings /
Опубліковано: (2007)

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Опубліковано: (2013)

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
за авторством: Prinz, Andreas
Опубліковано: (2005)

System analysis and modeling: theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers /
Опубліковано: (2013)

Integrated circuit and system design. power and timing modeling, optimization, and simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /
Опубліковано: (2011)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Опубліковано: (2013)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Опубліковано: (2012)

Runtime verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Опубліковано: (2007)

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
за авторством: Garcia-Alfaro, Joaquin
Опубліковано: (2012)

Modelling foundations and applications 6th european conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings /
Опубліковано: (2010)

Modelling foundations and applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings /
Опубліковано: (2013)

New modeling concepts for today's software processes international conference on software process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /
Опубліковано: (2010)

Rapid Integration of Software Engineering Techniques (vol. # 3475) First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers
за авторством: Guelfi, Nicolas
Опубліковано: (2005)

Modelling foundations and applications : 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /
Опубліковано: (2014)

Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June / July 2010. Proceedings /
Опубліковано: (2010)

Declarative agent languages and technologies VII : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
Опубліковано: (2010)

Software composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Опубліковано: (2007)