Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /
FASE (Conference)(15th :2012 :Tallinn, Estonia)
de Lara, Juan.editor.(orcid)0000-0001-9425-6362https://orcid.org/0000-0001-9425-6362edt
Zisman, Andrea.editor.
FASE 2012(2012 :Tallinn, Estonia)
This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.
Bibliographic Level Mode of Issuance: Monograph
This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.
Software engineering.
Computer communication systems.
Computer logic.
Programming languages (Electronic computers).
Computer programming.
Management information systems.
Computer science.
Software Engineering.
Computer Communication Networks.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Management of Computing and Information Systems.
Lecture notes in computer science