Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Testing techniques in software engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures /

Diğer sürümleri göster (1)

Kaydedildi:

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

Benzer Materyaller

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)

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /

Advanced lectures on software engineering LASER summer school 2007/2008 /
Baskı/Yayın Bilgisi: (2010)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Baskı/Yayın Bilgisi: (2012)

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)

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)

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
Baskı/Yayın Bilgisi: (2013)

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings /
Baskı/Yayın Bilgisi: (2010)

International Symposium on fundamentals of software engineering : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
Baskı/Yayın Bilgisi: (2007)

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)

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)

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 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)

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

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2012)

Advances in software engineering Lipari summer school 2007, Lipari Island, Italy, July 8-21, 2007. Revised tutorial lectures /
Baskı/Yayın Bilgisi: (2008)

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)

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

Formal methods for executable software models : 14th International school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Baskı/Yayın Bilgisi: (2014)

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Baskı/Yayın Bilgisi: (2013)

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

Runtime verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2007)

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)

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)

Evaluation of novel approaches to software engineering : 8th international conference, ENASE 2013, Angers, France, July 4-6, 2013, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2013)

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

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.
Yazar:: Seidl, Helmut
Baskı/Yayın Bilgisi: (2007)

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

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)

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 : 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 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Baskı/Yayın Bilgisi: (2009)

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 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)

Software testing in the cloud migration and execution /
Yazar:: Tilley, Scott
Baskı/Yayın Bilgisi: (2012)

Software engineering approaches for offshore and outsourced development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers /
Baskı/Yayın Bilgisi: (2007)

Extreme programming and agile processes in software engineering (vol. # 3556) / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Baskı/Yayın Bilgisi: (2011)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. 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)