"Logic design." . . "Logiciel." . . "Conception de logiciels." . . "Software Congresses." . . "ETAPS (Conference) (16th : 2013 : Rome, Italy)" . . . "Special Purpose and Application-Based Systems." . . "Computer science." . . "Computer Science." . "Structure logique." . . "Information systems." . . "FASE 2013 (2013 : Rome, Italy)" . . . "ETAPS 16 2013 Rom" . . . "Génie logiciel." . . "FASE 16 2013 Rom" . . . "Programming Languages, Compilers, Interpreters." . . "Vérification de logiciels." . . "Software engineering." . . "Software Engineering." . "Software Engineering" . "Informatique." . . "Computer Appl. in Administrative Data Processing." . . . . "Kongress" . . . . . . . . "Conference papers and proceedings"@en . "Conference papers and proceedings" . . . . . "ETAPS 2013"@en . "ETAPS 2013" . . . "Electronic books"@en . . . "Fundamental approaches to software engineering : 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings" . . . "This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing."@en . "This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing." . . "Ressources Internet" . . . "Fundamental Approaches to Software Engineering 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings" . . . . . . . . "FASE 2013"@en . "FASE 2013" . . . . . . . . . "Fundamental approaches to software engineering 16th International Conference, FASE 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings"@en . . "Logics and Meanings of Programs." . . . . "Programmation." . .