Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures /
Published: (2007)

Formal methods for components and objects : 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009 : revised selected papers /
Published: (2010)

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
Published: (2005)

Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures /
Published: (2006)

Component software : beyond object-oriented programming /
by: Szyperski, Clemens
Published: (1997)

Formal methods for components and objects : 6th international symposium FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007, revised papers /
Published: (2008)

Business component factory : a comprehensive overview of component-based development for the enterprise /
by: Herzum, Peter, 1963-
Published: (2000)

Formal engineering for industrial software development : using the SOFL method /
by: Liu, Shaoying, 1960-
Published: (2004)

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Published: (2004)

Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings /
Published: (2004)

Formal object-oriented development /
by: Lano, K.
Published: (1995)

Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers /
Published: (2005)

Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings /
Published: (1993)

Object-oriented technology : ECOOP 2004 workshop reader : ECOOP 2004 workshops, Oslo, Norway, June 14-18, 2004 : final reports /
Published: (2004)

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /
Published: (2003)

Formal methods and object technology /
Published: (1996)

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers /
Published: (2011)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Published: (2005)

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /
Published: (2006)

Component deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings /
Published: (2004)

Proceedings of the ... USENIX Conference on Object-Oriented Technologies and Systems (COOTS) /

Leveraging applications of formal methods : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /
Published: (2006)

Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
Published: (2006)

Formal methods and object technology /
Published: (1996)

UML components : a simple process for specifying component-based software /
by: Cheesman, John, 1962-
Published: (2001)

Generative programming and component engineering : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
Published: (2003)

FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings /
Published: (1999)

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /
Published: (2004)

Generative programming and component engineering : 4th international conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings /
Published: (2005)

Formal specification and design /
by: Feijs, L. M. G. (Loe M. G.)
Published: (1992)

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004 : revised selected papers /
Published: (2005)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /
Published: (2005)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Proceedings of the International Symposium on Distributed Objects and Applications : September 5-6, 1999, Edinburgh, Scotland /
Published: (1999)

Object-oriented technology and computing systems re-engineering /
Published: (1999)

Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers /
Published: (2009)