Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Fernandes, Jo©Đo M.
Формат:	eКнига
Мова:	English
Опубліковано:	Berlin, Heidelberg Springer 2011.
Серія:	Lecture Notes in Computer Science, 6491
Предмети:	Computer science Software engineering Logic design
Онлайн доступ:	Click here to view the full text content
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

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

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Опубліковано: (2013)

Generative and transformational techniques in software engineering : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers /
Опубліковано: (2006)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Опубліковано: (2012)

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

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Опубліковано: (2010)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
за авторством: Arbab, Farhad
Опубліковано: (2010)

Advances in software engineering techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers /
Опубліковано: (2012)

Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Опубліковано: (2010)

Software language engineering second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /
Опубліковано: (2010)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Опубліковано: (2009)

Models in software engineering workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
Опубліковано: (2010)

Software composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Опубліковано: (2009)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
за авторством: Seidl, Helmut
Опубліковано: (2007)

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)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Опубліковано: (2012)

Evaluation of novel approaches to software engineering 3rd and 4th international conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. revised selected papers /
Опубліковано: (2010)

Architectures for adaptive software systems 5th international conference on the quality of software architectures, QoSA 2009, east stroudsburg, PA, USA, June 24-26, 2009. Proceedings /
Опубліковано: (2009)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Опубліковано: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Опубліковано: (2012)

Advanced lectures on software engineering LASER summer school 2007/2008 /
Опубліковано: (2010)

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

Verified software: theories, tools and experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers /
Опубліковано: (2014)

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Опубліковано: (2010)

Central european functional programming school third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom©Łrno, Slovakia, May 25-30, 2009, revised selected lectures /
Опубліковано: (2010)

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

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
Опубліковано: (2013)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
за авторством: Ur, Shmuel
Опубліковано: (2006)

Evaluation of novel approaches to software engineering : 8th international conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /
Опубліковано: (2013)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Опубліковано: (2009)

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

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Опубліковано: (2007)

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)

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
Опубліковано: (2012)

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
за авторством: Krishnamurthi, Shriram
Опубліковано: (2007)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Опубліковано: (2010)

Testing techniques in software engineering : second pernambuco summer school on software engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, revised lectures /
Опубліковано: (2010)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Опубліковано: (2010)

Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Опубліковано: (2005)

Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Опубліковано: (2013)

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
Опубліковано: (2013)