"UML." . . "génie logiciel." . . "Informatique." . . "International Conference on Fundamental Approaches to Software Engineering (8 2005.04.04-08 Edinburgh)" . . . "International Conference on Fundamental Approaches to Software Engineering (8 : 2005.04.04-08 : Edinburgh)" . "ETAPS 2005 (8 2005.04.04-08 Edinburgh)" . . . "ETAPS 2005 (8 : 2005.04.04-08 : Edinburgh)" . "European Conferences on Theory and Practice of Software (2005 : Edinburgh)" . . . "Software engineering." . . "Software Engineering." . "Logic design." . . "FASE" . . "ETAPS 2005 :" . . "service Web." . . "FASE 2005 (2005 : Edinburgh, Scotland)" . . . "FASE 2005 (8th : 2005)." . . . "ETAPS 2005 (2005 : Édimbourg, Écosse)" . . . "analyse code." . . "sécurité" . . "architecture système." . . "Conference on Fundamental Approaches to Software Engineering (8 : 2005 : Edinburgh)" . . . "COMPUTERS Software Development & Engineering Tools." . . "ETAPS 2005 (2005 : Edinburgh, UK)" . . . "composant logiciel." . . "Computer Science." . . "Computer science." . "FASE 2005 (2005 : Édimbourg, Écosse)" . . . "ETAPS 2005 (2005 : Edinburgh, Scotland)" . . . "Joint European Conferences on Theory and Practice of Software (8 2005.04.04-08 Edinburgh)" . . . "Joint European Conferences on Theory and Practice of Software (8 : 2005.04.04-08 : Edinburgh)" . "transformation graphe." . . "COMPUTERS Software Development & Engineering General." . . "International Conference on Fundamental Approaches to Software Engineering, FASE (8 : 04-04-2005 - 08-04-2005 : Edinburgh, UK)" . . . . . "Joint european conference on theory and practice of software (Edimburgo, Regno Unito : 2005)" . . . "Génie logiciel Congrès." . . "génie logiciel [congrès]" . "International conference on fundamental approaches to software engineering (8. : Edimburgo, Regno Unito : 2005)" . . . "Programming Languages, Compilers, Interpreters." . . "Programming Languages, Compilers, Interpreters" . "ETAPS (Conference) (8th : 2005 : Edinburgh, Scotland)" . . . "COMPUTERS Programming Open Source." . . "FASE 2005 (8 2005.04.04-08 Edinburgh)" . . . "FASE 2005 (8 : 2005.04.04-08 : Edinburgh)" . "Logics and Meanings of Programs." . . "Logics and Meanings of Programs" . "Joint European Conferences on Theory and Practice of Software" . . "Joint European Conferences on Theory and Practice of Software, ETAPS." . . . . . "Joint European Conferences on Theory and Practice of Software"@en . . . "Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"@en . . "Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings" . . . . . . . "Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings" . "Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings" . . "Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. proceedings" . . . . . "\"FASE 2005 was held in Edinburgh, hosted and organized by the School of Informatics of the University of Edinburgh.\""@en . "Electronic books"@en . . . . . . "Conference proceedings" . "Conference proceedings"@en . . "ETAPS 2005"@en . "ETAPS 2005" . . . . "European Conferences on Theory and Practice of Software"@en . . . . "Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005 ; proceedings" . . . . . . . . . . . . . . . "Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings"@en . . . . . . "Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings" . . . . . "FASE 2005" . "FASE 2005"@en . "Fundamental approaches to software engineering 8th international conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings"@en . . . . . "Kongress" . . . . "Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings" . . "Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 ; proceedings" . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . "Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings"@en . . . . "Fundamental approaches to software engineering 8th international conference, FASE 2005 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings" . . . . . . . . "Theory and practice of software" . . . "Fundamental approaches to software engineering : 8th international conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings"@en . "European Joint Conferences on Theory and Practice of Software (8 : 2005.04.04-08 : Edinburgh)" . . . "démonstration automatique." . . "FASE 2005 (2005 : Edinburgh, UK)" . . .