A Process Algebraic Approach to Software Architecture Design /

Documenti analoghi

• Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures /
  di: Marco Bernardo, Flavio Corradini
  Pubblicazione: (2004, c2004)
• Software Architecture : First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings /
  di: Flavio Oquendo
  Pubblicazione: (2007, c2007)
• 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 /
  di: Marco Bernardo, Paola Inverardi
  Pubblicazione: (2003, c2003)
• Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings /
  di: Ron Morrison, Flavio Oquendo
  Pubblicazione: (2005, c2005)
• Software Process Technology : 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings /
  di: Flavio Oquendo
  Pubblicazione: (2003, c2003)