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 /

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 /

This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	SpringerLink (Online service)
Diğer Yazarlar:	Szpyrka, Marcin, Zendulka, Jaroslav, Szmuc, Tomasz
Materyal Türü:	Ekitap
Dil:	English
Baskı/Yayın Bilgisi:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Seri Bilgileri:	Lecture Notes in Computer Science 7054
Konular:	Computer science. Computer Communication Networks. Software engineering. Logic design.
Online Erişim:	Click here to view the full text content
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Baskı/Yayın Bilgisi: (2011)

Models in software engineering workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
Baskı/Yayın Bilgisi: (2010)

Software language engineering second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2010)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
Yazar:: Arbab, Farhad
Baskı/Yayın Bilgisi: (2010)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

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 /
Baskı/Yayın Bilgisi: (2009)

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 /
Baskı/Yayın Bilgisi: (2009)

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 /
Baskı/Yayın Bilgisi: (2010)

Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /
Baskı/Yayın Bilgisi: (2010)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Baskı/Yayın Bilgisi: (2013)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Software composition 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

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

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
Baskı/Yayın Bilgisi: (2013)

Fundamentals of software engineering : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Recent trends in algebraic development techniques : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Models in software engineering : Workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Foundations of software science and computational structures 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Baskı/Yayın Bilgisi: (2009)

Model checking software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Baskı/Yayın Bilgisi: (2009)

Software composition : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2007)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2007)

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2010)

Validation of Evolving Software /
Baskı/Yayın Bilgisi: (2015)

Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Yazar:: Ur, Shmuel
Baskı/Yayın Bilgisi: (2006)

Rapid Integration of Software Engineering Techniques (vol. # 3475) First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers
Yazar:: Guelfi, Nicolas
Baskı/Yayın Bilgisi: (2005)

Software engineering for resilient systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2014)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Baskı/Yayın Bilgisi: (2009)

Software architecture 4th european conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings /
Baskı/Yayın Bilgisi: (2010)

Formal methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
Yazar:: Butler, Michael
Baskı/Yayın Bilgisi: (2007)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Baskı/Yayın Bilgisi: (2012)

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Baskı/Yayın Bilgisi: (2014)

Evaluation of novel approaches to software engineering : 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

FSTTCS 2007: foundations of software technology and theoretical computer science : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)