Home Advanced Search

Advanced Search - Page 1

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)
Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Paola Inverardi, Massimo Tivoli (auth.), Andrea De Lucia, Filomena Ferrucci (eds.)
Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: David Garlan (auth.), Flavio Oquendo (eds.)
Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: David Garlan (auth.), Flavio Oquendo (eds.)
Fundamental Approaches to Software Engineering: 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel (auth.), José Luiz Fiadeiro, Paola Inverardi (eds.)
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994
  • PDF
  • English
  • Year: 1994
  • Author: David Garlan (auth.), David Till MA (Oxon), MSc (eds.)
Engineering for Human-Computer Interaction: 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: David Garlan (auth.), Murray Reed Little, Laurence Nigay (eds.)
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
  • PDF
  • English
  • Year: 2005
  • Author: Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)
Coordination Languages and Models: Second International Conference COORDINATION '97 Berlin, Germany, September 1–3, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Robert Bjornson, Nicholas Carriero, David Gelernter (auth.), David Garlan, Daniel Le Métayer (eds.)
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
  • PDF
  • English
  • Year: 2007
  • Author: William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)
search