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

Documenti analoghi

• Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures /
  di: Ana Cavalcanti, Augusto Sampaio, Jim Woodcock
  Pubblicazione: (2006, c2006)
• Software testing techniques /
  di: Beizer, Boris
  Pubblicazione: (1990, c1990)
• Advanced Lectures on Software Engineering : LASER Summer School 2007/2008 /
  di: Peter Müller
  Pubblicazione: (2010, c2010)
• Generative and Transformational Techniques in Software Engineering II : International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers /
  di: Ralf Lämmel, Joost Visser, João Saraiva
  Pubblicazione: (2008, c2008)
• Formal Methods and Software Engineering : 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /
  di: Karin Breitman, Ana Cavalcanti
  Pubblicazione: (2009, c2009)