Informatique.
type: Topic

Softwareentwicklung Objektorientierung Komponente <Software> Formale Methode Kongress Amsterdam <2006>
type: Topic

FMCO <5, 2006, Amsterdam>
type: Organization

International Symposium on Formal Methods for Components and Objects (2 : 2003 : Leiden, NL).
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects, FMCO (6 : 24-10-2007 - 26-10-2007 : Amsterdam, The Netherlands)
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects (6th ; 2007)
type: Meeting
type: Event

COMPUTERS Machine Theory.
type: Topic

International Symposium on Formal Methods for Components and Objects (7 2008.10.21-23 Sophia Antipolis, France)
type: Meeting
type: Event

FMCO 2005 (4 : 2005.11.01-04 : Amsterdam)
type: Meeting
type: Event

SpringerLink (Service en ligne)
type: Organization

Approche orientée objet.
type: Topic

FMCO 2008 (2008 : Sophia Antipolis, France)
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects (7th ; 2008).
type: Meeting
type: Event

Composant logiciel.
type: Topic

FMCO (Symposium) (6th : 2007 : Amsterdam, Netherlands)
type: Meeting
type: Event

Ingeniería del software Congresos.
type: Topic

Structure logique.
type: Topic

Langages orientés objet (Informatique) Congrès.
type: Topic

Logic design.
type: Topic

Object-oriented programming (Computer science) Congresses.
type: Topic

Amsterdam <2007>
type: Place

Computer software Development.
type: Topic

System design.
type: Topic
name: System Design.

Formal methods (Computer science) Congresses.
type: Topic

COMPUTERS Computer Science.
type: Topic

Formale Methode.
type: Topic
name: Formale Methode

vérification formelle.
type: Topic

Ebooks -- UML.
type: Topic

Komponente <Software>
type: Topic

Objektorientierung.
type: Topic
name: Objektorientierung

Développement de logiciels.
type: Topic

Programmation orientée objet (Informatique)
type: Topic

FMCO (5 : 2006 : Amsterdam)
type: Meeting
type: Event

Amsterdam <2006>
type: Place

COMPUTERS Computer Literacy.
type: Topic

Formale Spezifikationstechnik.
type: Topic

Operating systems (Computers)
type: Topic

Logiciels Développement Congrès.
type: Topic

FMCO <7, 2008, Valbonne- Sophia Antipolis>
type: Organization

Programación orientada a objetos Congresos En línea.
type: Topic

International Symposium on Formal Methods for Components and Objects, FMCO (7 : 21-10-2008 - 23-10-2008 : Sophia Antipolis, France)
type: Meeting
type: Event

FMCO 2007 (2007 : Amsterdam, Netherlands)
type: Meeting
type: Event

FMCO (7 2008.10.21-23 Sophia Antipolis, France)
type: Meeting
type: Event

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006, Revised Lectures
work example: http://www.worldcat.org/oclc/781064942
work example: http://www.worldcat.org/oclc/466136121
work example: http://www.worldcat.org/oclc/643156137
about: Object-oriented programming (Computer science) Congresses.
name: Formal methods for components and objects : 7th international symposium ; revised lectures
contributor: International Symposium on Formal Methods for Components and Objects, FMCO (5 : 07-11-2006 - 10-11-2006 : Amsterdam, The Netherlands)
name: Formal Methods for Components and Objects : 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
contributor: http://worldcat.org/entity/person/id/2636077226
about: sh2008111658
work example: http://www.worldcat.org/oclc/850318920
about: COMPUTERS Reference.
work example: http://www.worldcat.org/oclc/277195326
about: COMPUTERS Data Processing.
about: COMPUTERS Machine Theory.
name: Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4 - 7, 2003 ; revised lectures
creator: International symposium on formal methods for components and objects (2. : Leiden, The Netherlands : 2003)
name: Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 ; revised lectures
about: Langages orientés objet (Informatique) Congrès.
work example: http://www.worldcat.org/oclc/607537280
about: Softwareentwicklung Formale Methode Kongress Amsterdam <2006>
about: Ingeniería del software Congresos En línea.
work example: http://www.worldcat.org/oclc/262693823
work example: http://www.worldcat.org/oclc/255434197
author: http://worldcat.org/entity/person/id/2706718346
work example: http://www.worldcat.org/oclc/652682788
name: Formal methods for components and objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 ; revised lectures
author: http://worldcat.org/entity/person/id/2638752027
editor: http://worldcat.org/entity/person/id/2638757429
work example: http://www.worldcat.org/oclc/900909452
creator: FMCO (Symposium) (7th : 2008 : Sophia Antipolis, France)
work example: http://www.worldcat.org/oclc/780980319
editor: http://worldcat.org/entity/person/id/2632980832
contributor: FMCO (5 2006.11.07-10 Amsterdam)
about: Software Desarrollo Congresos.
contributor: FMCO 2005 (2005 : Amsterdam, Netherlands)
work example: http://www.worldcat.org/oclc/873499254
work example: http://www.worldcat.org/oclc/313411689
contributor: FMCO <5, 2006, Amsterdam>
about: système objet.
name: Formal methods for components and objects second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
name: Formal methods for components and objects
about: Operating Systems.
name: Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures
about: vérification formelle.
contributor: International Symposium on Formal Methods for Components and Objects (5 2006.11.07-10 Amsterdam)
work example: http://www.worldcat.org/oclc/255917022
name: Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, The Netherlands, October 24 - 26, 2007 ; revised papers
alternate name: FMCO 2003
work example: http://www.worldcat.org/oclc/699825628
work example: http://www.worldcat.org/oclc/788057256
name: Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures
about: Komponente (Software)
author: http://worldcat.org/entity/person/id/2634280886
name: Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures
work example: http://www.worldcat.org/oclc/760682022
alternate name: FMCO 2005
name: Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
contributor: International Symposium on Formal Methods for Components and Objects, FMCO (2 : 2003 - 07-11-2003 : Leiden, the Netherlands)
creator: International Symposium on Formal Methods for Components and Objects (6th ; 2007)
editor: http://worldcat.org/entity/person/id/2636077226
contributor: http://worldcat.org/entity/person/id/2634787057
creator: FMCO 2007 (2007 : Amsterdam, Netherlands)
name: Formal methods for components and objects 6th international symposium ; revised papers
work example: http://www.worldcat.org/oclc/845239300
contributor: International Symposium on Formal Methods for Components and Objects (4 : 2005.11.01-04 : Amsterdam)
alternate name: Second International Symposium on Formal Methods for Components and Objects
contributor: http://worldcat.org/entity/person/id/2634280886
work example: http://www.worldcat.org/oclc/432629139
about: Software Desarrollo Congresos En línea.
about: Leiden (2003)
work example: http://www.worldcat.org/oclc/71008339
about: Logics and Meanings of Programs.
contributor: http://worldcat.org/entity/person/id/2638752027
contributor: nb2009026357
author: http://worldcat.org/entity/person/id/2630531462
genre: Online-Publikation
description: Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.
name: Formal methods for components and objects 6th international symposium FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007
contributor: nb2008001235

Programación orientada a objetos Congresos.
type: Topic

Softwareentwicklung Formale Methode Kongress Sophia-Antipolis <2008>
type: Topic

Computer Science.
type: Topic
name: Computer science.

International Symposium on Formal Methods for Components and Objects (5 : 2006.11 : Amsterdam)
type: Meeting
type: Event

Operating Systems.
type: Topic
name: Operating Systems

UML.
type: Topic

Composants logiciels Congrès.
type: Topic

Softwareentwicklung.
type: Topic
name: Softwareentwicklung

International Symposium on Formal Methods for Components and Objects, FMCO (2 : 2003 - 07-11-2003 : Leiden, the Netherlands)
type: Meeting
type: Event

Méthodes formelles (Informatique) Congrès.
type: Topic
name: Méthodes formelles (informatique) Congrès.

Electronic books.
type: Topic

International Symposium on Formal Methods for Components and Objects (4 : 2005.11.01-04 : Amsterdam)
type: Meeting
type: Event

Génie logiciel Congrès.
type: Topic

FMCO (Symposium) (2nd : 2003 : Leiden, Netherlands)
type: Meeting
type: Event

FMCO 2003 (2 : 2003.11.04-07 : Leiden)
type: Meeting
type: Event

Programming Languages, Compilers, Interpreters.
type: Topic
name: Programming Languages, Compilers, Interpreters

système objet.
type: Topic

FMCO 2005 :
type: Organization

Komponente (Software)
type: Topic

COMPUTERS Data Processing.
type: Topic

FMCO 2005 (2005 : Amsterdam, Netherlands)
type: Meeting
type: Event

informatique mobile.
type: Topic

Object-oriented programming (Computer science)
type: Topic
name: Object-oriented Programming (Computer Science)

International symposium on formal methods for components and objects (2. : Leiden, The Netherlands : 2003)
type: Meeting
type: Event

Sophia-Antipolis <2008>
type: Place

FMCO (Symposium) (5th : 2006 : Amsterdam, Netherlands)
type: Meeting
type: Event

Mathematical Logic and Formal Languages.
type: Topic

Softwareentwicklung Objektorientierung Komponente <Software> Formale Methode Kongress Sophia-Antipolis <2008>
type: Topic

FMCO (6 2007.10.24-26 Amsterdam)
type: Meeting
type: Event

FMCO (5 2006.11.07-10 Amsterdam)
type: Meeting
type: Event

COMPUTERS Hardware General.
type: Topic

FMCO 2005 (4th : 2005 : Amsterdam, Netherlands)
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects, FMCO (5 : 07-11-2006 - 10-11-2006 : Amsterdam, The Netherlands)
type: Meeting
type: Event

Ingeniería del software Congresos En línea.
type: Topic

Méthodes formelles (Informatique)
type: Topic

Programmation orientée objets (informatique) Congrès.
type: Topic

FMCO 2003 (2003 : Leiden, Netherlands)
type: Meeting
type: Event

FMCO (2007 : Amsterdam, Netherlands)
type: Meeting
type: Event

FMCO (Symposium) (7th : 2008 : Sophia Antipolis, France)
type: Meeting
type: Event

Programmation orientée objet (Informatique) Congrès.
type: Topic

Softwareentwicklung Formale Methode Kongress Amsterdam <2006>
type: Topic

COMPUTERS Information Technology.
type: Topic

FMCO 2003 (2º. 2003. Leiden, Holanda)
type: Meeting
type: Event

spécification formelle.
type: Topic

FMCO <5, 2006, Amsterdam>
type: Meeting
type: Event

FMCO <6, 2007, Amsterdam>
type: Organization

Approche orientée objet (Informatique) Congrès.
type: Topic

service Web.
type: Topic

Component software Congresses.
type: Topic

méthode formelle.
type: Topic
name: Méthode formelle.

Formal methods (Computer science)
type: Topic

Software Desarrollo Congresos.
type: Topic

FMCO 2008 (2008 : Amsterdam, Netherlands)
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects (2 : 2003.11.04-07 : Leiden)
type: Meeting
type: Event

FMCO (5 : 2006.11 : Amsterdam)
type: Meeting
type: Event

Leiden (2003)
type: Place

FMCO 2008 (2008 : Amsterdam, Pays-Bas)
type: Meeting
type: Event

Systèmes, Conception de Congrès.
type: Topic

International Symposium on Formal Methods for Components and Objects.
type: Meeting
type: Event

FMCO 2003 :
type: Organization

FMCO (7 : 2008 : Sophia Antipolis)
type: Meeting
type: Event

Logics and Meanings of Programs.
type: Topic
name: Logics and Meanings of Programs

Computer Software.
type: Topic

Software Engineering.
type: Topic
name: Software engineering.

FMCO 2005 (4th : 2005).
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects (6 2007.10.24-26 Amsterdam)
type: Meeting
type: Event

International Symposium on Formal Methods for Components and Objects (5 2006.11.07-10 Amsterdam)
type: Meeting
type: Event

Component software.
type: Topic
name: Component software

FMCO 2006 (2006 : Amsterdam, Netherlands)
type: Meeting
type: Event

FMCO (Symposium) (4th : 2005 : Amsterdam, Netherlands)
type: Meeting
type: Event

Systèmes d'exploitation (Ordinateurs)
type: Topic

Programmation orientée objet.
type: Topic

FMCO 2009 (2009 : Sophia Antipolis, France)
type: Meeting
type: Event

Software Desarrollo Congresos En línea.
type: Topic

Génie logiciel.
type: Topic

COMPUTERS Reference.
type: Topic

International Symposium on Formal Methods for Components and Objects (5th : 2006).
type: Meeting
type: Event